hydra-eclipse / sysml2vhdlams

Blame view

fr.femtost.disc.eclipse.sysml2problem.atl/test/controlFlowBadGuardTest/source.sysml 6.79 KB
edit raw normal view history
f902ce56c   Jean-Marie Gauthier   Commit of projects 
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
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
 
  <?xml version="1.0" encoding="UTF-8"?>
  <uml:Model xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:sysML="http://www.topcased.org/2.0/sysML" xmlns:uml="http://www.eclipse.org/uml2/3.0.0/UML" xmi:id="idModel" name="source">
    <packagedElement xmi:type="uml:Package" xmi:id="idPackage" name="source">
      <packagedElement xmi:type="sysML:Block" xmi:id="_E3F0YBbPEeKY3NCwnkSnPg" name="Block1" classifierBehavior="_FsP6wBbPEeKY3NCwnkSnPg">
        <ownedBehavior xmi:type="uml:Activity" xmi:id="_FsP6wBbPEeKY3NCwnkSnPg" name="Activity1">
          <node xmi:type="uml:InitialNode" xmi:id="_P4u84BbPEeKY3NCwnkSnPg" name="InitialNode1" outgoing="_icjA4BbQEeKY3NCwnkSnPg"/>
          <node xmi:type="uml:ActivityFinalNode" xmi:id="_eA5KYBbPEeKY3NCwnkSnPg" name="ActivityFinalNode1" incoming="_R9YGcBbVEeKY3NCwnkSnPg"/>
          <node xmi:type="uml:OpaqueAction" xmi:id="_YDNOgBbQEeKY3NCwnkSnPg" name="OpaqueAction1" outgoing="_brj1QBbQEeKY3NCwnkSnPg" incoming="_icjA4BbQEeKY3NCwnkSnPg"/>
          <node xmi:type="uml:DecisionNode" xmi:id="_AxUm8BbREeKY3NCwnkSnPg" name="DecisionNode1" outgoing="_QlSO8BbREeKY3NCwnkSnPg _SNJkoBbREeKY3NCwnkSnPg" incoming="_brj1QBbQEeKY3NCwnkSnPg"/>
          <node xmi:type="uml:MergeNode" xmi:id="_K0JWwBbREeKY3NCwnkSnPg" name="MergeNode1" outgoing="_R9YGcBbVEeKY3NCwnkSnPg" incoming="_VMHQIBbREeKY3NCwnkSnPg _iOxGwBbUEeKY3NCwnkSnPg"/>
          <node xmi:type="uml:OpaqueAction" xmi:id="_OYMFQBbREeKY3NCwnkSnPg" name="OpaqueAction3" outgoing="_VMHQIBbREeKY3NCwnkSnPg" incoming="_QlSO8BbREeKY3NCwnkSnPg"/>
          <node xmi:type="uml:DecisionNode" xmi:id="_gdzfcBbUEeKY3NCwnkSnPg" name="DecisionNode2" outgoing="_oAAFkBbUEeKY3NCwnkSnPg _pQzmIBbUEeKY3NCwnkSnPg" incoming="_SNJkoBbREeKY3NCwnkSnPg"/>
          <node xmi:type="uml:MergeNode" xmi:id="_gwsmQBbUEeKY3NCwnkSnPg" name="MergeNode2" outgoing="_iOxGwBbUEeKY3NCwnkSnPg" incoming="_nPZvEBbUEeKY3NCwnkSnPg _mtDP8BbUEeKY3NCwnkSnPg"/>
          <node xmi:type="uml:OpaqueAction" xmi:id="_lbycYBbUEeKY3NCwnkSnPg" name="OpaqueAction2" outgoing="_mtDP8BbUEeKY3NCwnkSnPg" incoming="_oAAFkBbUEeKY3NCwnkSnPg"/>
          <node xmi:type="uml:OpaqueAction" xmi:id="_lrEOgBbUEeKY3NCwnkSnPg" name="OpaqueAction4" outgoing="_nPZvEBbUEeKY3NCwnkSnPg" incoming="_pQzmIBbUEeKY3NCwnkSnPg"/>
          <edge xmi:type="uml:ControlFlow" xmi:id="_brj1QBbQEeKY3NCwnkSnPg" name="ControlFlow1" source="_YDNOgBbQEeKY3NCwnkSnPg" target="_AxUm8BbREeKY3NCwnkSnPg">
            <guard xmi:type="uml:OpaqueExpression" xmi:id="_TZ4rQBbWEeKY3NCwnkSnPg">
              <body>u=4</body>
            </guard>
            <weight xmi:type="uml:LiteralInteger" xmi:id="_brj1QhbQEeKY3NCwnkSnPg" value="1"/>
          </edge>
          <edge xmi:type="uml:ControlFlow" xmi:id="_icjA4BbQEeKY3NCwnkSnPg" name="ControlFlow5" source="_P4u84BbPEeKY3NCwnkSnPg" target="_YDNOgBbQEeKY3NCwnkSnPg">
            <guard xmi:type="uml:LiteralBoolean" xmi:id="_icjA4RbQEeKY3NCwnkSnPg" value="true"/>
            <weight xmi:type="uml:LiteralInteger" xmi:id="_icjA4hbQEeKY3NCwnkSnPg" value="1"/>
          </edge>
          <edge xmi:type="uml:ControlFlow" xmi:id="_QlSO8BbREeKY3NCwnkSnPg" name="ControlFlow2" source="_AxUm8BbREeKY3NCwnkSnPg" target="_OYMFQBbREeKY3NCwnkSnPg">
            <guard xmi:type="uml:LiteralBoolean" xmi:id="_QlSO8RbREeKY3NCwnkSnPg"/>
            <weight xmi:type="uml:LiteralInteger" xmi:id="_QlSO8hbREeKY3NCwnkSnPg" value="1"/>
          </edge>
          <edge xmi:type="uml:ControlFlow" xmi:id="_SNJkoBbREeKY3NCwnkSnPg" name="ControlFlow4" source="_AxUm8BbREeKY3NCwnkSnPg" target="_gdzfcBbUEeKY3NCwnkSnPg">
            <guard xmi:type="uml:OpaqueExpression" xmi:id="_S6fy0BbREeKY3NCwnkSnPg">
              <body>i = 3</body>
            </guard>
            <weight xmi:type="uml:LiteralInteger" xmi:id="_SNJkohbREeKY3NCwnkSnPg" value="1"/>
          </edge>
          <edge xmi:type="uml:ControlFlow" xmi:id="_VMHQIBbREeKY3NCwnkSnPg" name="ControlFlow7" source="_OYMFQBbREeKY3NCwnkSnPg" target="_K0JWwBbREeKY3NCwnkSnPg">
            <guard xmi:type="uml:LiteralBoolean" xmi:id="_VMHQIRbREeKY3NCwnkSnPg" value="true"/>
            <weight xmi:type="uml:LiteralInteger" xmi:id="_VMHQIhbREeKY3NCwnkSnPg" value="1"/>
          </edge>
          <edge xmi:type="uml:ControlFlow" xmi:id="_iOxGwBbUEeKY3NCwnkSnPg" name="ControlFlow3" source="_gwsmQBbUEeKY3NCwnkSnPg" target="_K0JWwBbREeKY3NCwnkSnPg">
            <guard xmi:type="uml:LiteralBoolean" xmi:id="_iOxGwRbUEeKY3NCwnkSnPg" value="true"/>
            <weight xmi:type="uml:LiteralInteger" xmi:id="_iOxGwhbUEeKY3NCwnkSnPg" value="1"/>
          </edge>
          <edge xmi:type="uml:ControlFlow" xmi:id="_mtDP8BbUEeKY3NCwnkSnPg" name="ControlFlow9" source="_lbycYBbUEeKY3NCwnkSnPg" target="_gwsmQBbUEeKY3NCwnkSnPg">
            <guard xmi:type="uml:LiteralBoolean" xmi:id="_mtDP8RbUEeKY3NCwnkSnPg" value="true"/>
            <weight xmi:type="uml:LiteralInteger" xmi:id="_mtDP8hbUEeKY3NCwnkSnPg" value="1"/>
          </edge>
          <edge xmi:type="uml:ControlFlow" xmi:id="_nPZvEBbUEeKY3NCwnkSnPg" name="ControlFlow10" source="_lrEOgBbUEeKY3NCwnkSnPg" target="_gwsmQBbUEeKY3NCwnkSnPg">
            <guard xmi:type="uml:LiteralBoolean" xmi:id="_nPaWIBbUEeKY3NCwnkSnPg"/>
            <weight xmi:type="uml:LiteralInteger" xmi:id="_nPaWIRbUEeKY3NCwnkSnPg" value="1"/>
          </edge>
          <edge xmi:type="uml:ControlFlow" xmi:id="_oAAFkBbUEeKY3NCwnkSnPg" name="ControlFlow11" source="_gdzfcBbUEeKY3NCwnkSnPg" target="_lbycYBbUEeKY3NCwnkSnPg">
            <guard xmi:type="uml:LiteralBoolean" xmi:id="_oAAFkRbUEeKY3NCwnkSnPg"/>
            <weight xmi:type="uml:LiteralInteger" xmi:id="_oAAFkhbUEeKY3NCwnkSnPg" value="1"/>
          </edge>
          <edge xmi:type="uml:ControlFlow" xmi:id="_pQzmIBbUEeKY3NCwnkSnPg" name="ControlFlow12" source="_gdzfcBbUEeKY3NCwnkSnPg" target="_lrEOgBbUEeKY3NCwnkSnPg">
            <guard xmi:type="uml:OpaqueExpression" xmi:id="_GSw5cBbVEeKY3NCwnkSnPg">
              <body>i = 2</body>
            </guard>
            <weight xmi:type="uml:LiteralInteger" xmi:id="_pQzmIhbUEeKY3NCwnkSnPg" value="1"/>
          </edge>
          <edge xmi:type="uml:ControlFlow" xmi:id="_R9YGcBbVEeKY3NCwnkSnPg" name="ControlFlow6" source="_K0JWwBbREeKY3NCwnkSnPg" target="_eA5KYBbPEeKY3NCwnkSnPg">
            <guard xmi:type="uml:LiteralBoolean" xmi:id="_R9YGcRbVEeKY3NCwnkSnPg" value="true"/>
            <weight xmi:type="uml:LiteralInteger" xmi:id="_R9YGchbVEeKY3NCwnkSnPg" value="1"/>
          </edge>
        </ownedBehavior>
      </packagedElement>
    </packagedElement>
    <profileApplication xmi:type="uml:ProfileApplication" xmi:id="idProfileApplication">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="idProfileAnnotation" source="http://www.eclipse.org/uml2/2.0.0/UML">
        <references xmi:type="ecore:EPackage" href="pathmap://SysMLActivityExtensionsProfile.uml#ProfileContentId"/>
      </eAnnotations>
      <appliedProfile xmi:type="uml:Profile" href="pathmap://SysMLActivityExtensionsProfile.uml#ActivityProfileId"/>
    </profileApplication>
  </uml:Model>