Home

Contribute

Source code


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51

<?xml version="1.0" encoding="UTF-8"?>
<uml:Model xmi:version="20131001" xmlns:xmi="http://www.omg.org/spec/XMI/20131001" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML" xmi:id="_bWhcEFmiEeiBDLXM-rqKVw" name="Bug533692-533698">
  <packageImport xmi:type="uml:PackageImport" xmi:id="_bicYMFmiEeiBDLXM-rqKVw">
    <importedPackage xmi:type="uml:Model" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#_0"/>
  </packageImport>
  <packagedElement xmi:type="uml:Interaction" xmi:id="_bbjGAFmiEeiBDLXM-rqKVw" name="Interaction1">
    <lifeline xmi:type="uml:Lifeline" xmi:id="_eFVLsFmiEeiBDLXM-rqKVw" name="Lifeline1" coveredBy="_e5udEFmiEeiBDLXM-rqKVw _iDC-cFmiEeiBDLXM-rqKVw _3KJekVmjEeiBDLXM-rqKVw _jP_SsFmiEeiBDLXM-rqKVw _7nAEYVmjEeiBDLXM-rqKVw _-qgRoFmjEeiBDLXM-rqKVw __TAcEFmjEeiBDLXM-rqKVw _IiC-gFmkEeiBDLXM-rqKVw _JSmRsVmkEeiBDLXM-rqKVw _KReUwFmkEeiBDLXM-rqKVw _L9ACcFmkEeiBDLXM-rqKVw _hlv-cFmiEeiBDLXM-rqKVw _ff_y4FmiEeiBDLXM-rqKVw"/>
    <lifeline xmi:type="uml:Lifeline" xmi:id="_eMcgUFmiEeiBDLXM-rqKVw" name="Lifeline2" coveredBy="_e5udEFmiEeiBDLXM-rqKVw _iDC-cFmiEeiBDLXM-rqKVw _3KKFoFmjEeiBDLXM-rqKVw _jP_5wFmiEeiBDLXM-rqKVw _7nAEYFmjEeiBDLXM-rqKVw _grgjwFmiEeiBDLXM-rqKVw _grdgcFmiEeiBDLXM-rqKVw _-qg4sFmjEeiBDLXM-rqKVw __TBDIFmjEeiBDLXM-rqKVw _IiDlkFmkEeiBDLXM-rqKVw _JSmRsFmkEeiBDLXM-rqKVw _KRe70FmkEeiBDLXM-rqKVw _Fpp1EFmkEeiBDLXM-rqKVw _Fpn_4FmkEeiBDLXM-rqKVw _L9ApgFmkEeiBDLXM-rqKVw"/>
    <lifeline xmi:type="uml:Lifeline" xmi:id="_eYG9wFmiEeiBDLXM-rqKVw" name="Lifeline3" coveredBy="_e5udEFmiEeiBDLXM-rqKVw _iDC-cFmiEeiBDLXM-rqKVw"/>
    <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_grgjwFmiEeiBDLXM-rqKVw" name="ActionExecutionSpecification8Finish" covered="_eMcgUFmiEeiBDLXM-rqKVw" execution="_grdgcFmiEeiBDLXM-rqKVw"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_-qgRoFmjEeiBDLXM-rqKVw" name="Message18SendEvent" covered="_eFVLsFmiEeiBDLXM-rqKVw" message="_-qd1YFmjEeiBDLXM-rqKVw"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_-qg4sFmjEeiBDLXM-rqKVw" name="Message18ReceiveEvent" covered="_eMcgUFmiEeiBDLXM-rqKVw" message="_-qd1YFmjEeiBDLXM-rqKVw"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="__TAcEFmjEeiBDLXM-rqKVw" name="Message21SendEvent" covered="_eFVLsFmiEeiBDLXM-rqKVw" message="__S_1AFmjEeiBDLXM-rqKVw"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="__TBDIFmjEeiBDLXM-rqKVw" name="Message21ReceiveEvent" covered="_eMcgUFmiEeiBDLXM-rqKVw" message="__S_1AFmjEeiBDLXM-rqKVw"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_IiC-gFmkEeiBDLXM-rqKVw" name="Message24SendEvent" covered="_eFVLsFmiEeiBDLXM-rqKVw" message="_IiBwYFmkEeiBDLXM-rqKVw"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_IiDlkFmkEeiBDLXM-rqKVw" name="Message24ReceiveEvent" covered="_eMcgUFmiEeiBDLXM-rqKVw" message="_IiBwYFmkEeiBDLXM-rqKVw"/>
    <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_Fpn_4FmkEeiBDLXM-rqKVw" name="BehaviorExecutionSpecification4" covered="_eMcgUFmiEeiBDLXM-rqKVw" finish="_Fpp1EFmkEeiBDLXM-rqKVw" start="_IiDlkFmkEeiBDLXM-rqKVw"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_JSmRsFmkEeiBDLXM-rqKVw" name="Message25SendEvent" covered="_eMcgUFmiEeiBDLXM-rqKVw" message="_JSlDkFmkEeiBDLXM-rqKVw"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_JSmRsVmkEeiBDLXM-rqKVw" name="Message25ReceiveEvent" covered="_eFVLsFmiEeiBDLXM-rqKVw" message="_JSlDkFmkEeiBDLXM-rqKVw"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_KReUwFmkEeiBDLXM-rqKVw" name="Message28SendEvent" covered="_eFVLsFmiEeiBDLXM-rqKVw" message="_KRdtsFmkEeiBDLXM-rqKVw"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_KRe70FmkEeiBDLXM-rqKVw" name="Message28ReceiveEvent" covered="_eMcgUFmiEeiBDLXM-rqKVw" message="_KRdtsFmkEeiBDLXM-rqKVw"/>
    <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_Fpp1EFmkEeiBDLXM-rqKVw" name="BehaviorExecutionSpecification21Finish" covered="_eMcgUFmiEeiBDLXM-rqKVw" execution="_Fpn_4FmkEeiBDLXM-rqKVw"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_L9ACcFmkEeiBDLXM-rqKVw" name="Message31SendEvent" covered="_eFVLsFmiEeiBDLXM-rqKVw" message="_L8_bYFmkEeiBDLXM-rqKVw"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_L9ApgFmkEeiBDLXM-rqKVw" name="Message31ReceiveEvent" covered="_eMcgUFmiEeiBDLXM-rqKVw" message="_L8_bYFmkEeiBDLXM-rqKVw"/>
    <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_ff_y4FmiEeiBDLXM-rqKVw" name="ActionExecutionSpecification1" covered="_eFVLsFmiEeiBDLXM-rqKVw" finish="_jP_SsFmiEeiBDLXM-rqKVw" start="_3KJekVmjEeiBDLXM-rqKVw"/>
    <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_hlv-cFmiEeiBDLXM-rqKVw" name="ActionExecutionSpecification3" covered="_eFVLsFmiEeiBDLXM-rqKVw" finish="_IiC-gFmkEeiBDLXM-rqKVw" start="_7nAEYFmjEeiBDLXM-rqKVw"/>
    <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_grdgcFmiEeiBDLXM-rqKVw" name="ActionExecutionSpecification2" covered="_eMcgUFmiEeiBDLXM-rqKVw" finish="_grgjwFmiEeiBDLXM-rqKVw" start="_jP_5wFmiEeiBDLXM-rqKVw"/>
    <fragment xmi:type="uml:CombinedFragment" xmi:id="_e5nIUFmiEeiBDLXM-rqKVw" name="TestedCF">
      <operand xmi:type="uml:InteractionOperand" xmi:id="_e5udEFmiEeiBDLXM-rqKVw" name="InteractionOperand1" covered="_eFVLsFmiEeiBDLXM-rqKVw _eYG9wFmiEeiBDLXM-rqKVw _eMcgUFmiEeiBDLXM-rqKVw">
        <guard xmi:type="uml:InteractionConstraint" xmi:id="_e5udEVmiEeiBDLXM-rqKVw" name="guard"/>
      </operand>
      <operand xmi:type="uml:InteractionOperand" xmi:id="_iDC-cFmiEeiBDLXM-rqKVw" name="InteractionOperand2" covered="_eFVLsFmiEeiBDLXM-rqKVw _eYG9wFmiEeiBDLXM-rqKVw _eMcgUFmiEeiBDLXM-rqKVw">
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_7nAEYFmjEeiBDLXM-rqKVw" name="Message17SendEvent" covered="_eMcgUFmiEeiBDLXM-rqKVw" message="_7m_dUFmjEeiBDLXM-rqKVw"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_7nAEYVmjEeiBDLXM-rqKVw" name="Message17ReceiveEvent" covered="_eFVLsFmiEeiBDLXM-rqKVw" message="_7m_dUFmjEeiBDLXM-rqKVw"/>
        <guard xmi:type="uml:InteractionConstraint" xmi:id="_iDGBwFmiEeiBDLXM-rqKVw" name="guard"/>
      </operand>
    </fragment>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_jP_SsFmiEeiBDLXM-rqKVw" name="Message13SendEvent" covered="_eFVLsFmiEeiBDLXM-rqKVw"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_jP_5wFmiEeiBDLXM-rqKVw" name="Message13ReceiveEvent" covered="_eMcgUFmiEeiBDLXM-rqKVw"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_3KJekVmjEeiBDLXM-rqKVw" name="Message15SendEvent" covered="_eFVLsFmiEeiBDLXM-rqKVw" message="_3KJekFmjEeiBDLXM-rqKVw"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_3KKFoFmjEeiBDLXM-rqKVw" name="Message15ReceiveEvent" covered="_eMcgUFmiEeiBDLXM-rqKVw" message="_3KJekFmjEeiBDLXM-rqKVw"/>
    <message xmi:type="uml:Message" xmi:id="_3KJekFmjEeiBDLXM-rqKVw" name="Message15" messageSort="asynchCall" receiveEvent="_3KKFoFmjEeiBDLXM-rqKVw" sendEvent="_3KJekVmjEeiBDLXM-rqKVw"/>
    <message xmi:type="uml:Message" xmi:id="_7m_dUFmjEeiBDLXM-rqKVw" name="Message17" messageSort="asynchCall" receiveEvent="_7nAEYVmjEeiBDLXM-rqKVw" sendEvent="_7nAEYFmjEeiBDLXM-rqKVw"/>
    <message xmi:type="uml:Message" xmi:id="_-qd1YFmjEeiBDLXM-rqKVw" name="Message18" messageSort="asynchCall" receiveEvent="_-qg4sFmjEeiBDLXM-rqKVw" sendEvent="_-qgRoFmjEeiBDLXM-rqKVw"/>
    <message xmi:type="uml:Message" xmi:id="__S_1AFmjEeiBDLXM-rqKVw" name="Message21" messageSort="asynchCall" receiveEvent="__TBDIFmjEeiBDLXM-rqKVw" sendEvent="__TAcEFmjEeiBDLXM-rqKVw"/>
    <message xmi:type="uml:Message" xmi:id="_IiBwYFmkEeiBDLXM-rqKVw" name="Message24" messageSort="asynchCall" receiveEvent="_IiDlkFmkEeiBDLXM-rqKVw" sendEvent="_IiC-gFmkEeiBDLXM-rqKVw"/>
    <message xmi:type="uml:Message" xmi:id="_JSlDkFmkEeiBDLXM-rqKVw" name="Message25" messageSort="asynchCall" receiveEvent="_JSmRsVmkEeiBDLXM-rqKVw" sendEvent="_JSmRsFmkEeiBDLXM-rqKVw"/>
    <message xmi:type="uml:Message" xmi:id="_KRdtsFmkEeiBDLXM-rqKVw" name="Message28" messageSort="asynchCall" receiveEvent="_KRe70FmkEeiBDLXM-rqKVw" sendEvent="_KReUwFmkEeiBDLXM-rqKVw"/>
    <message xmi:type="uml:Message" xmi:id="_L8_bYFmkEeiBDLXM-rqKVw" name="Message31" messageSort="asynchCall" receiveEvent="_L9ApgFmkEeiBDLXM-rqKVw" sendEvent="_L9ACcFmkEeiBDLXM-rqKVw"/>
  </packagedElement>
</uml:Model>