Commit ac5b4e20 authored by Vincent Aravantinos's avatar Vincent Aravantinos
Browse files

migrated the other test datas

refs 2110
parent b784efbe
......@@ -12,8 +12,8 @@
<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="">
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification"/>
<specifications xsi:type="org-fortiss-af3-component-behavior-code:CodeSpecification">
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" id="38"/>
<specifications xsi:type="org-fortiss-af3-component-behavior-code:CodeSpecification" id="39">
<body>
<statements xsi:type="org-fortiss-af3-expression-terms-imperative:Assignment">
<variable identifier="Output"/>
......@@ -25,8 +25,9 @@
</statements>
</body>
</specifications>
<specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" id="52"/>
<connectors xsi:type="org-fortiss-af3-component:InputPort" id="33" name="Input" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="40">
<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"/>
......@@ -35,7 +36,7 @@
<values xsi:type="org-fortiss-af3-expression-terms:IntConst" value="3"/>
</initialValue>
</specifications>
<specifications xsi:type="org-fortiss-af3-bounds:VariableBoundsSpecification" upperBound="254" lowerBound="-255"/>
<specifications xsi:type="org-fortiss-af3-bounds:VariableBoundsSpecification" id="41" upperBound="254" lowerBound="-255"/>
<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"/>
......@@ -43,11 +44,11 @@
<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="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="42">
<type xsi:type="org-fortiss-af3-expression-types:TInt"/>
<initialValue xsi:type="org-fortiss-af3-expression-terms:IntConst"/>
</specifications>
<specifications xsi:type="org-fortiss-af3-bounds:VariableBoundsSpecification" upperBound="254" lowerBound="-255"/>
<specifications xsi:type="org-fortiss-af3-bounds:VariableBoundsSpecification" id="43" upperBound="254" lowerBound="-255"/>
<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"/>
......@@ -58,8 +59,8 @@
<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="">
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification"/>
<specifications xsi:type="org-fortiss-af3-component-behavior-code:CodeSpecification">
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" id="44"/>
<specifications xsi:type="org-fortiss-af3-component-behavior-code:CodeSpecification" id="45">
<body>
<statements xsi:type="org-fortiss-af3-expression-terms-imperative:Assignment">
<variable xsi:type="org-fortiss-af3-expression-terms:ComplexVar" identifier="Output[1]">
......@@ -77,8 +78,9 @@
</statements>
</body>
</specifications>
<specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" id="53"/>
<connectors xsi:type="org-fortiss-af3-component:InputPort" id="36" name="Input" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="46">
<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"/>
......@@ -87,7 +89,7 @@
<values xsi:type="org-fortiss-af3-expression-terms:IntConst" value="3"/>
</initialValue>
</specifications>
<specifications xsi:type="org-fortiss-af3-bounds:VariableBoundsSpecification" upperBound="254" lowerBound="-255"/>
<specifications xsi:type="org-fortiss-af3-bounds:VariableBoundsSpecification" id="47" upperBound="254" lowerBound="-255"/>
<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"/>
......@@ -95,7 +97,7 @@
<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="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="48">
<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"/>
......@@ -104,7 +106,7 @@
<values xsi:type="org-fortiss-af3-expression-terms:IntConst" value="4"/>
</initialValue>
</specifications>
<specifications xsi:type="org-fortiss-af3-bounds:VariableBoundsSpecification" upperBound="254" lowerBound="-255"/>
<specifications xsi:type="org-fortiss-af3-bounds:VariableBoundsSpecification" id="49" upperBound="254" lowerBound="-255"/>
<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"/>
......@@ -114,11 +116,13 @@
<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>
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification"/>
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" id="50"/>
<specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" id="54"/>
<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>
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification"/>
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" id="51"/>
<specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" id="55"/>
<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>
......
......@@ -12,13 +12,13 @@
<containedElements xsi:type="org-fortiss-af3-component:Component" id="5" name="Component Architecture Root" comment="">
<containedElements xsi:type="org-fortiss-af3-component:Component" id="6" name="ScopingIssueWithVariables" comment="">
<containedElements xsi:type="org-fortiss-af3-component:Component" id="8" name="Child" comment="">
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification"/>
<specifications xsi:type="org-fortiss-af3-sil:SILLevel"/>
<specifications xsi:type="org-fortiss-af3-state:StateAutomaton">
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" id="16"/>
<specifications xsi:type="org-fortiss-af3-sil:SILLevel" id="17"/>
<specifications xsi:type="org-fortiss-af3-state:StateAutomaton" id="18">
<containedElements xsi:type="org-fortiss-af3-state:State" id="11" name="State Automaton" comment="">
<containedElements xsi:type="org-fortiss-af3-state:State" id="12" name="Init" comment="">
<specifications xsi:type="org-fortiss-af3-state:StateSpecification" initial="true">
<idleTransitionsSpecifications/>
<specifications xsi:type="org-fortiss-af3-state:StateSpecification" id="19" initial="true">
<idleTransitionsSpecifications id="20"/>
</specifications>
<connectors xsi:type="org-fortiss-af3-state:TransitionSegmentExitConnector" id="14" name="Output" comment="" outgoing="//@rootElements.1/@containedElements.0/@containedElements.0/@containedElements.0/@specifications.2/@containedElements.0/@connections.0">
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos"/>
......@@ -37,11 +37,11 @@
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos" x="84" y="109"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="212" height="132"/>
</containedElements>
<specifications xsi:type="org-fortiss-af3-state:StateSpecification">
<idleTransitionsSpecifications/>
<specifications xsi:type="org-fortiss-af3-state:StateSpecification" id="21">
<idleTransitionsSpecifications id="22"/>
</specifications>
<connections xsi:type="org-fortiss-af3-state:TransitionSegment" id="13" name="Access to port from parent" comment="" source="//@rootElements.1/@containedElements.0/@containedElements.0/@containedElements.0/@specifications.2/@containedElements.0/@containedElements.0/@connectors.0" target="//@rootElements.1/@containedElements.0/@containedElements.0/@containedElements.0/@specifications.2/@containedElements.0/@containedElements.0/@connectors.1">
<specifications xsi:type="org-fortiss-af3-state:TransitionSegmentSpecification">
<specifications xsi:type="org-fortiss-af3-state:TransitionSegmentSpecification" id="23">
<guard>
<expression xsi:type="org-fortiss-af3-expression-terms:FunctionCall">
<function xsi:type="org-fortiss-af3-expression-terms:PredefinedFunction" operator="Equal"/>
......@@ -58,12 +58,13 @@
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="108" height="72"/>
</containedElements>
</specifications>
<specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" id="32"/>
<connectors xsi:type="org-fortiss-af3-component:InputPort" id="9" name="PortInChild" comment="" incoming="//@rootElements.1/@containedElements.0/@containedElements.0/@connections.0">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="24">
<type xsi:type="org-fortiss-af3-expression-types:TInt"/>
<initialValue xsi:type="org-fortiss-af3-expression-terms:IntConst"/>
</specifications>
<specifications xsi:type="org-fortiss-af3-bounds:VariableBoundsSpecification" upperBound="254" lowerBound="-255"/>
<specifications xsi:type="org-fortiss-af3-bounds:VariableBoundsSpecification" id="25" upperBound="254" lowerBound="-255"/>
<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"/>
......@@ -73,17 +74,18 @@
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos" x="360" y="204"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="169" height="72"/>
</containedElements>
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification"/>
<specifications xsi:type="org-fortiss-af3-sil:SILLevel"/>
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" id="26"/>
<specifications xsi:type="org-fortiss-af3-sil:SILLevel" id="27"/>
<specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" id="33"/>
<connections xsi:type="org-fortiss-af3-component:Channel" id="10" name="Channel" comment="" source="//@rootElements.1/@containedElements.0/@containedElements.0/@connectors.0" target="//@rootElements.1/@containedElements.0/@containedElements.0/@containedElements.0/@connectors.0">
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points"/>
</connections>
<connectors xsi:type="org-fortiss-af3-component:InputPort" id="7" name="PortInParent" comment="" outgoing="//@rootElements.1/@containedElements.0/@containedElements.0/@connections.0">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="28">
<type xsi:type="org-fortiss-af3-expression-types:TInt"/>
<initialValue xsi:type="org-fortiss-af3-expression-terms:IntConst"/>
</specifications>
<specifications xsi:type="org-fortiss-af3-bounds:VariableBoundsSpecification" upperBound="254" lowerBound="-255"/>
<specifications xsi:type="org-fortiss-af3-bounds:VariableBoundsSpecification" id="29" upperBound="254" lowerBound="-255"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos" x="120" y="228"/>
<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"/>
......@@ -93,8 +95,9 @@
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos" x="36" y="48"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="301" height="72"/>
</containedElements>
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification"/>
<specifications xsi:type="org-fortiss-af3-sil:SILLevel"/>
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" id="30"/>
<specifications xsi:type="org-fortiss-af3-sil:SILLevel" id="31"/>
<specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" id="34"/>
<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>
......
......@@ -21,8 +21,8 @@
<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="10" name="PointProjectionX" comment="">
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification"/>
<specifications xsi:type="org-fortiss-af3-component-behavior-code:CodeSpecification">
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" id="19"/>
<specifications xsi:type="org-fortiss-af3-component-behavior-code:CodeSpecification" id="20">
<body>
<statements xsi:type="org-fortiss-af3-expression-terms-imperative:IfThenElse">
<guard xsi:type="org-fortiss-af3-expression-terms:FunctionCall">
......@@ -43,8 +43,9 @@
</statements>
</body>
</specifications>
<specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" id="29"/>
<connectors xsi:type="org-fortiss-af3-component:InputPort" id="11" name="aPoint" comment="" incoming="//@rootElements.2/@containedElements.0/@connections.0">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="21">
<type xsi:type="org-fortiss-af3-expression-types:TDefinedType" name="Point"/>
<initialValue xsi:type="org-fortiss-af3-expression-terms:StructureConst">
<members name="x">
......@@ -62,11 +63,11 @@
<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="13" name="out" comment="" outgoing="//@rootElements.2/@containedElements.0/@connections.1">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="22">
<type xsi:type="org-fortiss-af3-expression-types:TInt"/>
<initialValue xsi:type="org-fortiss-af3-expression-terms:IntConst"/>
</specifications>
<specifications xsi:type="org-fortiss-af3-bounds:VariableBoundsSpecification" upperBound="254" lowerBound="-255"/>
<specifications xsi:type="org-fortiss-af3-bounds:VariableBoundsSpecification" id="23" upperBound="254" lowerBound="-255"/>
<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"/>
......@@ -76,7 +77,8 @@
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos" x="324" y="96"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="205" height="72"/>
</containedElements>
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification"/>
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" id="24"/>
<specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" id="30"/>
<connections xsi:type="org-fortiss-af3-component:Channel" id="15" name="aPoint" comment="" source="//@rootElements.2/@containedElements.0/@connectors.0" target="//@rootElements.2/@containedElements.0/@containedElements.0/@connectors.0">
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points"/>
</connections>
......@@ -84,7 +86,7 @@
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points"/>
</connections>
<connectors xsi:type="org-fortiss-af3-component:InputPort" id="12" name="aPoint" comment="" outgoing="//@rootElements.2/@containedElements.0/@connections.0">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="25">
<type xsi:type="org-fortiss-af3-expression-types:TDefinedType" name="Point"/>
<initialValue xsi:type="org-fortiss-af3-expression-terms:StructureConst">
<members name="x">
......@@ -95,18 +97,18 @@
</members>
</initialValue>
</specifications>
<specifications xsi:type="org-fortiss-af3-bounds:VariableBoundsSpecification" upperBound="254" lowerBound="-255"/>
<specifications xsi:type="org-fortiss-af3-bounds:VariableBoundsSpecification" id="26" upperBound="254" lowerBound="-255"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos" x="120" y="120"/>
<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"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-component:OutputPort" id="14" name="out" comment="" incoming="//@rootElements.2/@containedElements.0/@connections.1">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="27">
<type xsi:type="org-fortiss-af3-expression-types:TInt"/>
<initialValue xsi:type="org-fortiss-af3-expression-terms:IntConst"/>
</specifications>
<specifications xsi:type="org-fortiss-af3-bounds:VariableBoundsSpecification" upperBound="254" lowerBound="-255"/>
<specifications xsi:type="org-fortiss-af3-bounds:VariableBoundsSpecification" id="28" upperBound="254" lowerBound="-255"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos" x="732" y="120"/>
<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"/>
......
......@@ -12,9 +12,9 @@
<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="">
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification"/>
<specifications xsi:type="org-fortiss-af3-sil:SILLevel"/>
<specifications xsi:type="org-fortiss-af3-component-behavior-code:CodeSpecification">
<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">
<body>
<statements xsi:type="org-fortiss-af3-expression-terms-imperative:Assignment">
<variable identifier="Out"/>
......@@ -26,8 +26,9 @@
</statements>
</body>
</specifications>
<specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" id="20"/>
<connectors xsi:type="org-fortiss-af3-component:InputPort" id="9" name="In1" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="15">
<type xsi:type="org-fortiss-af3-expression-types:TInt"/>
<initialValue xsi:type="org-fortiss-af3-expression-terms:IntConst"/>
</specifications>
......@@ -38,7 +39,7 @@
<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="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="16">
<type xsi:type="org-fortiss-af3-expression-types:TInt"/>
<initialValue xsi:type="org-fortiss-af3-expression-terms:IntConst"/>
</specifications>
......@@ -49,7 +50,7 @@
<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="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="17">
<type xsi:type="org-fortiss-af3-expression-types:TInt"/>
<initialValue xsi:type="org-fortiss-af3-expression-terms:IntConst"/>
</specifications>
......@@ -62,8 +63,9 @@
<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>
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification"/>
<specifications xsi:type="org-fortiss-af3-sil:SILLevel"/>
<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"/>
<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>
......
This source diff could not be displayed because it is too large. You can view the blob instead.
This source diff could not be displayed because it is too large. You can view the blob instead.
......@@ -12,8 +12,8 @@
<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="8" name="IdentityWeaklyCausal" comment="">
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification"/>
<specifications xsi:type="org-fortiss-af3-component-behavior-code:CodeSpecification">
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" id="31"/>
<specifications xsi:type="org-fortiss-af3-component-behavior-code:CodeSpecification" id="32">
<body>
<statements xsi:type="org-fortiss-af3-expression-terms-imperative:Assignment">
<variable identifier="OutBool"/>
......@@ -33,8 +33,9 @@
</statements>
</body>
</specifications>
<specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" id="53"/>
<connectors xsi:type="org-fortiss-af3-component:InputPort" id="9" name="InInt" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="33">
<type xsi:type="org-fortiss-af3-expression-types:TInt"/>
<initialValue xsi:type="org-fortiss-af3-expression-terms:IntConst"/>
</specifications>
......@@ -45,7 +46,7 @@
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:OffsetOrientation" key="coffsetorient" offset="36" orientation="WEST"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-component:OutputPort" id="10" name="OutInt" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="34">
<type xsi:type="org-fortiss-af3-expression-types:TInt"/>
<initialValue xsi:type="org-fortiss-af3-expression-terms:IntConst"/>
</specifications>
......@@ -56,7 +57,7 @@
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:OffsetOrientation" key="coffsetorient" offset="36" orientation="EAST"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-component:InputPort" id="11" name="InBool" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="35">
<type xsi:type="org-fortiss-af3-expression-types:TBool"/>
<initialValue xsi:type="org-fortiss-af3-expression-terms:BoolConst" value="true"/>
</specifications>
......@@ -67,7 +68,7 @@
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:OffsetOrientation" key="coffsetorient" offset="12" orientation="WEST"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-component:OutputPort" id="12" name="OutBool" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="36">
<type xsi:type="org-fortiss-af3-expression-types:TBool"/>
<initialValue xsi:type="org-fortiss-af3-expression-terms:BoolConst"/>
</specifications>
......@@ -78,7 +79,7 @@
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:OffsetOrientation" key="coffsetorient" offset="12" orientation="EAST"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-component:InputPort" id="13" name="InDouble" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="37">
<type xsi:type="org-fortiss-af3-expression-types:TDouble"/>
<initialValue xsi:type="org-fortiss-af3-expression-terms:DoubleConst" value="0.1"/>
</specifications>
......@@ -89,7 +90,7 @@
<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="14" name="OutDouble" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="38">
<type xsi:type="org-fortiss-af3-expression-types:TDouble"/>
<initialValue xsi:type="org-fortiss-af3-expression-terms:DoubleConst" value="2.3"/>
</specifications>
......@@ -100,7 +101,7 @@
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:OffsetOrientation" key="coffsetorient" offset="60" orientation="EAST"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-component:InputPort" id="18" name="InEnum" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="39">
<type xsi:type="org-fortiss-af3-expression-types:TDefinedType" name="FirstEnum"/>
<initialValue xsi:type="org-fortiss-af3-expression-terms:FunctionCall">
<function xsi:type="org-fortiss-af3-expression-terms:UserdefinedFunction" id="20" name="First"/>
......@@ -113,7 +114,7 @@
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:OffsetOrientation" key="coffsetorient" offset="84" orientation="WEST"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-component:OutputPort" id="19" name="OutEnum" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="40">
<type xsi:type="org-fortiss-af3-expression-types:TDefinedType" name="FirstEnum"/>
<initialValue xsi:type="org-fortiss-af3-expression-terms:DefinedConst" value="NoVal"/>
</specifications>
......@@ -127,8 +128,8 @@
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="289" height="121"/>
</containedElements>
<containedElements xsi:type="org-fortiss-af3-component:Component" id="21" name="IdentityStronglyCausal" comment="">
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" stronglyCausal="true"/>
<specifications xsi:type="org-fortiss-af3-component-behavior-code:CodeSpecification">
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" id="41" stronglyCausal="true"/>
<specifications xsi:type="org-fortiss-af3-component-behavior-code:CodeSpecification" id="42">
<body>
<statements xsi:type="org-fortiss-af3-expression-terms-imperative:Assignment">
<variable identifier="OutBool"/>
......@@ -148,8 +149,9 @@
</statements>
</body>
</specifications>
<specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" id="54"/>
<connectors xsi:type="org-fortiss-af3-component:InputPort" id="22" name="InInt" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="43">
<type xsi:type="org-fortiss-af3-expression-types:TInt"/>
<initialValue xsi:type="org-fortiss-af3-expression-terms:IntConst"/>
</specifications>
......@@ -160,7 +162,7 @@
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:OffsetOrientation" key="coffsetorient" offset="36" orientation="WEST"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-component:OutputPort" id="23" name="OutInt" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="44">
<type xsi:type="org-fortiss-af3-expression-types:TInt"/>
<initialValue xsi:type="org-fortiss-af3-expression-terms:IntConst"/>
</specifications>
......@@ -171,7 +173,7 @@
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:OffsetOrientation" key="coffsetorient" offset="36" orientation="EAST"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-component:InputPort" id="24" name="InBool" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="45">
<type xsi:type="org-fortiss-af3-expression-types:TBool"/>
<initialValue xsi:type="org-fortiss-af3-expression-terms:BoolConst" value="true"/>
</specifications>
......@@ -182,7 +184,7 @@
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:OffsetOrientation" key="coffsetorient" offset="12" orientation="WEST"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-component:OutputPort" id="25" name="OutBool" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="46">
<type xsi:type="org-fortiss-af3-expression-types:TBool"/>
<initialValue xsi:type="org-fortiss-af3-expression-terms:BoolConst"/>
</specifications>
......@@ -193,7 +195,7 @@
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:OffsetOrientation" key="coffsetorient" offset="12" orientation="EAST"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-component:InputPort" id="26" name="InDouble" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="47">
<type xsi:type="org-fortiss-af3-expression-types:TDouble"/>
<initialValue xsi:type="org-fortiss-af3-expression-terms:DoubleConst" value="0.1"/>
</specifications>
......@@ -204,7 +206,7 @@
<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="27" name="OutDouble" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="48">
<type xsi:type="org-fortiss-af3-expression-types:TDouble"/>
<initialValue xsi:type="org-fortiss-af3-expression-terms:DoubleConst" value="2.3"/>
</specifications>
......@@ -215,7 +217,7 @@
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:OffsetOrientation" key="coffsetorient" offset="60" orientation="EAST"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-component:InputPort" id="28" name="InEnum" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="49">
<type xsi:type="org-fortiss-af3-expression-types:TDefinedType" name="FirstEnum"/>
<initialValue xsi:type="org-fortiss-af3-expression-terms:FunctionCall">
<function xsi:type="org-fortiss-af3-expression-terms:UserdefinedFunction" id="29" name="First"/>
......@@ -228,7 +230,7 @@
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:OffsetOrientation" key="coffsetorient" offset="84" orientation="WEST"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-component:OutputPort" id="30" name="OutEnum" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="50">
<type xsi:type="org-fortiss-af3-expression-types:TDefinedType" name="FirstEnum"/>
<initialValue xsi:type="org-fortiss-af3-expression-terms:DefinedConst" value="NoVal"/>
</specifications>
......@@ -241,11 +243,13 @@
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos" x="36" y="156"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="289" height="121"/>
</containedElements>
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification"/>
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" id="51"/>
<specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" id="55"/>
<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>
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification"/>
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" id="52"/>
<specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" id="56"/>
<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>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment