Commit 00957791 authored by Sudeep Kanav's avatar Sudeep Kanav
Browse files

removed test-data from source

parent ec192e46
<?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-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-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-af3-state="http://www.fortiss.org/af3/state" xmlns:org-fortiss-testing-coverage="http://www.fortiss.org/af3/testing/model/coverage" xmlns:org-fortiss-tooling-base-model-layout="http://www.fortiss.org/tooling/base/model/layout" xmlns:testsuite="http://www.fortiss.org/af3/testing/model" name="AF3-Project">
<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="6" name="comp" comment="">
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification"/>
<specifications xsi:type="org-fortiss-af3-state:StateAutomaton">
<containedElements xsi:type="org-fortiss-af3-state:State" id="7" name="Root State" comment="">
<containedElements xsi:type="org-fortiss-af3-state:State" id="8" name="state1" comment="">
<specifications xsi:type="org-fortiss-af3-state:StateSpecification" initial="true">
<idleTransitionsSpecifications/>
</specifications>
<connectors xsi:type="org-fortiss-af3-state:TransitionSegmentExitConnector" id="14" name="Output" comment="" outgoing="//@rootElements.1/@containedElements.0/@containedElements.0/@specifications.1/@containedElements.0/@connections.0">
<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:Angle" key="cangle" angle="1.9445231467604502"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-state:TransitionSegmentExitConnector" id="17" name="Output1" comment="" outgoing="//@rootElements.1/@containedElements.0/@containedElements.0/@specifications.1/@containedElements.0/@connections.1">
<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:Angle" key="cangle" angle="0.24925214138521362"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-state:TransitionSegmentEntryConnector" id="21" name="Input" comment="" incoming="//@rootElements.1/@containedElements.0/@containedElements.0/@specifications.1/@containedElements.0/@connections.2">
<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:Angle" key="cangle" angle="-1.0768549578753155"/>
</connectors>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos" x="215" y="152"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="180" height="112"/>
</containedElements>
<containedElements xsi:type="org-fortiss-af3-state:State" id="9" name="state2" comment="">
<specifications xsi:type="org-fortiss-af3-state:StateSpecification">
<idleTransitionsSpecifications/>
</specifications>
<connectors xsi:type="org-fortiss-af3-state:TransitionSegmentEntryConnector" id="15" name="Input" comment="" incoming="//@rootElements.1/@containedElements.0/@containedElements.0/@specifications.1/@containedElements.0/@connections.0">
<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:Angle" key="cangle" angle="1.4010180528265581"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-state:TransitionSegmentEntryConnector" id="18" name="Input1" comment="" incoming="//@rootElements.1/@containedElements.0/@containedElements.0/@specifications.1/@containedElements.0/@connections.1">
<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:Angle" key="cangle" angle="3.0845118711835284"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-state:TransitionSegmentExitConnector" id="20" name="Output" comment="" outgoing="//@rootElements.1/@containedElements.0/@containedElements.0/@specifications.1/@containedElements.0/@connections.2">
<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:Angle" key="cangle" angle="-2.439335722080786"/>
</connectors>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos" x="539" y="178"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="108" height="72"/>
</containedElements>
<specifications xsi:type="org-fortiss-af3-state:StateSpecification">
<idleTransitionsSpecifications/>
</specifications>
<connections xsi:type="org-fortiss-af3-state:TransitionSegment" id="13" name="Transition Segment" comment="" source="//@rootElements.1/@containedElements.0/@containedElements.0/@specifications.1/@containedElements.0/@containedElements.0/@connectors.0" target="//@rootElements.1/@containedElements.0/@containedElements.0/@specifications.1/@containedElements.0/@containedElements.1/@connectors.0">
<specifications xsi:type="org-fortiss-af3-state:TransitionSegmentSpecification">
<guard>
<expression xsi:type="org-fortiss-af3-expression-terms:FunctionCall">
<function xsi:type="org-fortiss-af3-expression-terms:PredefinedFunction" operator="And"/>
<arguments xsi:type="org-fortiss-af3-expression-terms:FunctionCall">
<function xsi:type="org-fortiss-af3-expression-terms:PredefinedFunction" operator="Equal"/>
<arguments xsi:type="org-fortiss-af3-expression-terms:Var" identifier="boolIn"/>
<arguments xsi:type="org-fortiss-af3-expression-terms:BoolConst" value="true"/>
</arguments>
<arguments xsi:type="org-fortiss-af3-expression-terms:FunctionCall">
<function xsi:type="org-fortiss-af3-expression-terms:PredefinedFunction" operator="Equal"/>
<arguments xsi:type="org-fortiss-af3-expression-terms:Var" identifier="intIn"/>
<arguments xsi:type="org-fortiss-af3-expression-terms:IntConst" value="4"/>
</arguments>
</expression>
</guard>
<actions>
<variable identifier="Output"/>
<value xsi:type="org-fortiss-af3-expression-terms:IntConst" value="1"/>
</actions>
</specifications>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points">
<points x="450" y="286"/>
</layoutData>
</connections>
<connections xsi:type="org-fortiss-af3-state:TransitionSegment" id="16" name="Transition Segment" comment="" source="//@rootElements.1/@containedElements.0/@containedElements.0/@specifications.1/@containedElements.0/@containedElements.0/@connectors.1" target="//@rootElements.1/@containedElements.0/@containedElements.0/@specifications.1/@containedElements.0/@containedElements.1/@connectors.1">
<specifications xsi:type="org-fortiss-af3-state:TransitionSegmentSpecification">
<guard>
<expression xsi:type="org-fortiss-af3-expression-terms:FunctionCall">
<function xsi:type="org-fortiss-af3-expression-terms:PredefinedFunction" operator="And"/>
<arguments xsi:type="org-fortiss-af3-expression-terms:FunctionCall">
<function xsi:type="org-fortiss-af3-expression-terms:PredefinedFunction" operator="Equal"/>
<arguments xsi:type="org-fortiss-af3-expression-terms:Var" identifier="boolIn"/>
<arguments xsi:type="org-fortiss-af3-expression-terms:BoolConst"/>
</arguments>
<arguments xsi:type="org-fortiss-af3-expression-terms:FunctionCall">
<function xsi:type="org-fortiss-af3-expression-terms:PredefinedFunction" operator="GreaterThan"/>
<arguments xsi:type="org-fortiss-af3-expression-terms:Var" identifier="doubleIn"/>
<arguments xsi:type="org-fortiss-af3-expression-terms:DoubleConst" value="1.0"/>
</arguments>
</expression>
</guard>
<actions>
<variable identifier="Output"/>
<value xsi:type="org-fortiss-af3-expression-terms:IntConst" value="2"/>
</actions>
</specifications>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points"/>
</connections>
<connections xsi:type="org-fortiss-af3-state:TransitionSegment" id="19" name="Transition Segment" comment="" source="//@rootElements.1/@containedElements.0/@containedElements.0/@specifications.1/@containedElements.0/@containedElements.1/@connectors.2" target="//@rootElements.1/@containedElements.0/@containedElements.0/@specifications.1/@containedElements.0/@containedElements.0/@connectors.2">
<specifications xsi:type="org-fortiss-af3-state:TransitionSegmentSpecification">
<guard>
<expression xsi:type="org-fortiss-af3-expression-terms:FunctionCall">
<function xsi:type="org-fortiss-af3-expression-terms:PredefinedFunction" operator="And"/>
<arguments xsi:type="org-fortiss-af3-expression-terms:FunctionCall">
<function xsi:type="org-fortiss-af3-expression-terms:PredefinedFunction" operator="And"/>
<arguments xsi:type="org-fortiss-af3-expression-terms:FunctionCall">
<function xsi:type="org-fortiss-af3-expression-terms:PredefinedFunction" operator="Equal"/>
<arguments xsi:type="org-fortiss-af3-expression-terms:Var" identifier="boolIn"/>
<arguments xsi:type="org-fortiss-af3-expression-terms:DefinedConst" value="NoVal"/>
</arguments>
<arguments xsi:type="org-fortiss-af3-expression-terms:FunctionCall">
<function xsi:type="org-fortiss-af3-expression-terms:PredefinedFunction" operator="Equal"/>
<arguments xsi:type="org-fortiss-af3-expression-terms:Var" identifier="intIn"/>
<arguments xsi:type="org-fortiss-af3-expression-terms:IntConst" value="16"/>
</arguments>
</arguments>
<arguments xsi:type="org-fortiss-af3-expression-terms:FunctionCall">
<function xsi:type="org-fortiss-af3-expression-terms:PredefinedFunction" operator="Equal"/>
<arguments xsi:type="org-fortiss-af3-expression-terms:Var" identifier="doubleIn"/>
<arguments xsi:type="org-fortiss-af3-expression-terms:DoubleConst" value="2.0"/>
</arguments>
</expression>
</guard>
<actions>
<variable identifier="Output"/>
<value xsi:type="org-fortiss-af3-expression-terms:IntConst" value="3"/>
</actions>
</specifications>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points"/>
</connections>
<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>
</specifications>
<specifications xsi:type="testsuite:TestSuiteSpecification" id="23">
<specifications xsi:type="org-fortiss-testing-coverage:StateCoverage" active="false"/>
<specifications xsi:type="org-fortiss-testing-coverage:TransitionCoverage"/>
</specifications>
<connectors xsi:type="org-fortiss-af3-component:InputPort" id="10" name="boolIn" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification">
<type xsi:type="org-fortiss-af3-expression-types:TBool"/>
<initialValue xsi:type="org-fortiss-af3-expression-terms:BoolConst"/>
</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="72" orientation="WEST"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-component:InputPort" id="11" name="doubleIn" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification">
<type xsi:type="org-fortiss-af3-expression-types:TDouble"/>
<initialValue xsi:type="org-fortiss-af3-expression-terms:DoubleConst"/>
</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="108" orientation="WEST"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-component:InputPort" id="12" name="intIn" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification">
<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="WEST"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-component:OutputPort" id="22" name="Output" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification">
<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="96" orientation="EAST"/>
</connectors>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos" x="276" y="60"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="217" height="193"/>
</containedElements>
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification"/>
<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>
</org-fortiss-af3-project:FileProject>
Supports Markdown
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