LibraryTests.af3_20 6.69 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-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-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-mira="http://www.fortiss.org/af3/mira" 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-af3-sil="http://www.fortiss.org/af3/sil" xmlns:org-fortiss-tooling-base-model-layout="http://www.fortiss.org/tooling/base/model/layout" name="LibraryTests">
  <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-expression:DataDictionary" id="4"/>
  <rootElements xsi:type="org-fortiss-af3-component:ComponentArchitecture" id="5" name="Component Architecture">
    <containedElements xsi:type="org-fortiss-af3-component:Component" id="6" name="Component Architecture Root" comment="">
      <containedElements xsi:type="org-fortiss-af3-component:Component" id="8" name="Div" comment="">
15
16
17
        <specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" id="12"/>
        <specifications xsi:type="org-fortiss-af3-sil:SILLevel" id="13"/>
        <specifications xsi:type="org-fortiss-af3-component-behavior-code:CodeSpecification" id="14">
18
19
20
21
22
23
24
25
26
27
28
          <body>
            <statements xsi:type="org-fortiss-af3-expression-terms-imperative:Assignment">
              <variable identifier="Out"/>
              <value xsi:type="org-fortiss-af3-expression-terms:FunctionCall">
                <function xsi:type="org-fortiss-af3-expression-terms:PredefinedFunction" operator="Divide"/>
                <arguments xsi:type="org-fortiss-af3-expression-terms:Var" identifier="In1"/>
                <arguments xsi:type="org-fortiss-af3-expression-terms:Var" identifier="In2"/>
              </value>
            </statements>
          </body>
        </specifications>
29
        <specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" id="20"/>
30
        <connectors xsi:type="org-fortiss-af3-component:InputPort" id="9" name="In1" comment="">
31
          <specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="15">
32
33
34
35
36
37
38
39
40
41
            <type xsi:type="org-fortiss-af3-expression-types:TInt"/>
            <initialValue xsi:type="org-fortiss-af3-expression-terms:IntConst"/>
          </specifications>
          <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:InputPort" id="10" name="In2" comment="">
42
          <specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="16">
43
44
45
46
47
48
49
50
51
52
            <type xsi:type="org-fortiss-af3-expression-types:TInt"/>
            <initialValue xsi:type="org-fortiss-af3-expression-terms:IntConst"/>
          </specifications>
          <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="60" orientation="WEST"/>
        </connectors>
        <connectors xsi:type="org-fortiss-af3-component:OutputPort" id="11" name="Out" comment="">
53
          <specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="17">
54
55
56
57
58
59
60
61
62
63
64
65
            <type xsi:type="org-fortiss-af3-expression-types:TInt"/>
            <initialValue xsi:type="org-fortiss-af3-expression-terms:IntConst"/>
          </specifications>
          <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="36" orientation="EAST"/>
        </connectors>
        <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos" x="120" y="48"/>
        <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="193" height="97"/>
      </containedElements>
66
67
68
      <specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" id="18"/>
      <specifications xsi:type="org-fortiss-af3-sil:SILLevel" id="19"/>
      <specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" id="21"/>
69
70
71
72
73
74
      <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-mira:Analysis" id="7"/>
</org-fortiss-af3-project:FileProject>