CCodeGeneratorComponentsTestData.af3_23 11.9 KB
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
<?xml version="1.0" encoding="UTF-8"?>
<org-fortiss-af3-project:FileProject xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:org-fortiss-af3-bounds="http://www.fortiss.org/af3/bounds" xmlns:org-fortiss-af3-component="http://www.fortiss.org/af3/component" xmlns:org-fortiss-af3-component-behavior-code="http://www.fortiss.org/af3/component/behavior/code" xmlns:org-fortiss-af3-expression="http://www.fortiss.org/af3/expression" xmlns:org-fortiss-af3-expression-definitions="http://www.fortiss.org/af3/expression/definitions" xmlns:org-fortiss-af3-expression-terms="http://www.fortiss.org/af3/expression/terms" xmlns:org-fortiss-af3-expression-terms-imperative="http://www.fortiss.org/af3/expression/terms/imperative" xmlns:org-fortiss-af3-expression-types="http://www.fortiss.org/af3/expression/types" xmlns:org-fortiss-af3-project="http://www.fortiss.org/af3/project" xmlns:org-fortiss-af3-project-configuration="http://www.fortiss.org/af3/project/configuration" xmlns:org-fortiss-af3-project-development="http://www.fortiss.org/af3/project/development" xmlns:org-fortiss-tooling-base-model-layout="http://www.fortiss.org/tooling/base/model/layout" name="CCodeGeneratorComponentsTestData">
  <rootElements xsi:type="org-fortiss-af3-project:ProjectConfiguration" id="1">
    <configurationElements xsi:type="org-fortiss-af3-project-configuration:TypeSystemConfiguration" id="2">
      <typesystem xsi:type="org-fortiss-af3-expression:MicroTypeSystem"/>
    </configurationElements>
    <configurationElements xsi:type="org-fortiss-af3-project-configuration:DevelopmentProcessConfiguration" id="3">
      <development xsi:type="org-fortiss-af3-project-development:DummyDevelopmentProcess"/>
    </configurationElements>
  </rootElements>
  <rootElements xsi:type="org-fortiss-af3-component:ComponentArchitecture" id="4" name="Component Architecture">
    <containedElements xsi:type="org-fortiss-af3-component:Component" id="5" name="Component Architecture Root" comment="">
      <containedElements xsi:type="org-fortiss-af3-component:Component" id="7" name="SimpleExamples" comment="">
        <containedElements xsi:type="org-fortiss-af3-component:Component" id="31" name="ArrayAccess" comment="">
15
16
          <specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" id="38"/>
          <specifications xsi:type="org-fortiss-af3-component-behavior-code:CodeSpecification" id="39">
17
18
19
20
21
22
23
24
25
26
27
            <body>
              <statements xsi:type="org-fortiss-af3-expression-terms-imperative:Assignment">
                <variable identifier="Output"/>
                <value xsi:type="org-fortiss-af3-expression-terms:FunctionCall">
                  <function xsi:type="org-fortiss-af3-expression-terms:PredefinedFunction" operator="Index"/>
                  <arguments xsi:type="org-fortiss-af3-expression-terms:Var" identifier="Input"/>
                  <arguments xsi:type="org-fortiss-af3-expression-terms:IntConst" value="1"/>
                </value>
              </statements>
            </body>
          </specifications>
28
          <specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" id="52"/>
29
          <connectors xsi:type="org-fortiss-af3-component:InputPort" id="33" name="Input" comment="">
30
            <specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="40">
31
32
33
34
35
36
37
38
              <type xsi:type="org-fortiss-af3-expression-types:TDefinedType" name="Int4Array"/>
              <initialValue xsi:type="org-fortiss-af3-expression-terms:ArrayConst">
                <values xsi:type="org-fortiss-af3-expression-terms:IntConst"/>
                <values xsi:type="org-fortiss-af3-expression-terms:IntConst" value="1"/>
                <values xsi:type="org-fortiss-af3-expression-terms:IntConst" value="2"/>
                <values xsi:type="org-fortiss-af3-expression-terms:IntConst" value="3"/>
              </initialValue>
            </specifications>
39
            <specifications xsi:type="org-fortiss-af3-bounds:VariableBoundsSpecification" id="41" upperBound="254" lowerBound="-255"/>
40
41
42
43
44
45
46
            <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos"/>
            <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="108" height="72"/>
            <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="cpos"/>
            <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="cdim" width="0" height="0"/>
            <layoutData xsi:type="org-fortiss-tooling-base-model-layout:OffsetOrientation" key="coffsetorient" offset="24" orientation="WEST"/>
          </connectors>
          <connectors xsi:type="org-fortiss-af3-component:OutputPort" id="34" name="Output" comment="">
47
            <specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="42">
48
49
50
              <type xsi:type="org-fortiss-af3-expression-types:TInt"/>
              <initialValue xsi:type="org-fortiss-af3-expression-terms:IntConst"/>
            </specifications>
51
            <specifications xsi:type="org-fortiss-af3-bounds:VariableBoundsSpecification" id="43" upperBound="254" lowerBound="-255"/>
52
53
54
55
56
57
58
59
60
61
            <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos"/>
            <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="108" height="72"/>
            <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="cpos"/>
            <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="cdim" width="0" height="0"/>
            <layoutData xsi:type="org-fortiss-tooling-base-model-layout:OffsetOrientation" key="coffsetorient" offset="24" orientation="EAST"/>
          </connectors>
          <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos" x="48" y="24"/>
          <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="241" height="97"/>
        </containedElements>
        <containedElements xsi:type="org-fortiss-af3-component:Component" id="35" name="ArrayAccess1" comment="">
62
63
          <specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" id="44"/>
          <specifications xsi:type="org-fortiss-af3-component-behavior-code:CodeSpecification" id="45">
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
            <body>
              <statements xsi:type="org-fortiss-af3-expression-terms-imperative:Assignment">
                <variable xsi:type="org-fortiss-af3-expression-terms:ComplexVar" identifier="Output[1]">
                  <term xsi:type="org-fortiss-af3-expression-terms:FunctionCall">
                    <function xsi:type="org-fortiss-af3-expression-terms:PredefinedFunction" operator="Index"/>
                    <arguments xsi:type="org-fortiss-af3-expression-terms:Var" identifier="Output"/>
                    <arguments xsi:type="org-fortiss-af3-expression-terms:IntConst" value="1"/>
                  </term>
                </variable>
                <value xsi:type="org-fortiss-af3-expression-terms:FunctionCall">
                  <function xsi:type="org-fortiss-af3-expression-terms:PredefinedFunction" operator="Index"/>
                  <arguments xsi:type="org-fortiss-af3-expression-terms:Var" identifier="Input"/>
                  <arguments xsi:type="org-fortiss-af3-expression-terms:IntConst" value="1"/>
                </value>
              </statements>
            </body>
          </specifications>
81
          <specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" id="53"/>
82
          <connectors xsi:type="org-fortiss-af3-component:InputPort" id="36" name="Input" comment="">
83
            <specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="46">
84
85
86
87
88
89
90
91
              <type xsi:type="org-fortiss-af3-expression-types:TDefinedType" name="Int4Array"/>
              <initialValue xsi:type="org-fortiss-af3-expression-terms:ArrayConst">
                <values xsi:type="org-fortiss-af3-expression-terms:IntConst"/>
                <values xsi:type="org-fortiss-af3-expression-terms:IntConst" value="1"/>
                <values xsi:type="org-fortiss-af3-expression-terms:IntConst" value="2"/>
                <values xsi:type="org-fortiss-af3-expression-terms:IntConst" value="3"/>
              </initialValue>
            </specifications>
92
            <specifications xsi:type="org-fortiss-af3-bounds:VariableBoundsSpecification" id="47" upperBound="254" lowerBound="-255"/>
93
94
95
96
97
98
99
            <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos"/>
            <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="108" height="72"/>
            <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="cpos"/>
            <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="cdim" width="0" height="0"/>
            <layoutData xsi:type="org-fortiss-tooling-base-model-layout:OffsetOrientation" key="coffsetorient" offset="24" orientation="WEST"/>
          </connectors>
          <connectors xsi:type="org-fortiss-af3-component:OutputPort" id="37" name="Output" comment="">
100
            <specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="48">
101
102
103
104
105
106
107
108
              <type xsi:type="org-fortiss-af3-expression-types:TDefinedType" name="Int4Array"/>
              <initialValue xsi:type="org-fortiss-af3-expression-terms:ArrayConst">
                <values xsi:type="org-fortiss-af3-expression-terms:IntConst" value="1"/>
                <values xsi:type="org-fortiss-af3-expression-terms:IntConst" value="2"/>
                <values xsi:type="org-fortiss-af3-expression-terms:IntConst" value="3"/>
                <values xsi:type="org-fortiss-af3-expression-terms:IntConst" value="4"/>
              </initialValue>
            </specifications>
109
            <specifications xsi:type="org-fortiss-af3-bounds:VariableBoundsSpecification" id="49" upperBound="254" lowerBound="-255"/>
110
111
112
113
114
115
116
117
118
            <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos"/>
            <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="108" height="72"/>
            <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="cpos"/>
            <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="cdim" width="0" height="0"/>
            <layoutData xsi:type="org-fortiss-tooling-base-model-layout:OffsetOrientation" key="coffsetorient" offset="24" orientation="EAST"/>
          </connectors>
          <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos" x="48" y="120"/>
          <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="241" height="97"/>
        </containedElements>
119
120
        <specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" id="50"/>
        <specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" id="54"/>
121
122
123
        <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos" x="108" y="36"/>
        <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="217" height="72"/>
      </containedElements>
124
125
      <specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" id="51"/>
      <specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" id="55"/>
126
127
128
129
130
131
132
133
134
135
      <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos"/>
      <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="108" height="72"/>
    </containedElements>
  </rootElements>
  <rootElements xsi:type="org-fortiss-af3-expression:DataDictionary" id="6">
    <typeDefinitions xsi:type="org-fortiss-af3-expression-definitions:Array" id="32" name="Int4Array" length="4">
      <type xsi:type="org-fortiss-af3-expression-types:TInt"/>
    </typeDefinitions>
  </rootElements>
</org-fortiss-af3-project:FileProject>