| <?xml version="1.0" encoding="UTF-8"?> |
| <xmi:XMI xmi:version="20131001" xmlns:xmi="http://www.omg.org/spec/XMI/20131001" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:fmiprofile="http://www.eclipse.org/papyrus/FMIProfile/1.0.0" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML"> |
| <uml:Model xmi:id="_Sja1oDbsEeaDY4APNmfY0g" name="TutoFMU"> |
| <packageImport xmi:type="uml:PackageImport" xmi:id="_Xdos4DbsEeaDY4APNmfY0g"> |
| <importedPackage xmi:type="uml:Model" href="pathmap://PAPYRUS_fUML_LIBRARY/fUML_Library.uml#_0"/> |
| </packageImport> |
| <packageImport xmi:type="uml:PackageImport" xmi:id="_Z36W8DbsEeaDY4APNmfY0g"> |
| <importedPackage xmi:type="uml:Model" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#_0"/> |
| </packageImport> |
| <packagedElement xmi:type="uml:Package" xmi:id="_bm5oUDbsEeaDY4APNmfY0g" name="01 - Creating an FMU"> |
| <packagedElement xmi:type="uml:Class" xmi:id="_hi5FoDbsEeaDY4APNmfY0g" name="A" classifierBehavior="_ncGUsDbsEeaDY4APNmfY0g" isActive="true"> |
| <ownedAttribute xmi:type="uml:Port" xmi:id="_qDf_UDbtEeaDY4APNmfY0g" name="x"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <defaultValue xmi:type="uml:LiteralInteger" xmi:id="_sMRpsDbtEeaDY4APNmfY0g"/> |
| </ownedAttribute> |
| <ownedAttribute xmi:type="uml:Port" xmi:id="_stLXUDbtEeaDY4APNmfY0g" name="y"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| <defaultValue xmi:type="uml:LiteralBoolean" xmi:id="_vWJksDbtEeaDY4APNmfY0g"/> |
| </ownedAttribute> |
| <ownedBehavior xmi:type="uml:Activity" xmi:id="_ncGUsDbsEeaDY4APNmfY0g" name="AClassifierBehavior"/> |
| </packagedElement> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Package" xmi:id="_fkTnIDbuEeaDY4APNmfY0g" name="02 - Reacting at absolute date"> |
| <packagedElement xmi:type="uml:Class" xmi:id="_fkTnITbuEeaDY4APNmfY0g" name="A" classifierBehavior="_fkTnJjbuEeaDY4APNmfY0g" isActive="true"> |
| <ownedAttribute xmi:type="uml:Port" xmi:id="_fkTnIjbuEeaDY4APNmfY0g" name="x"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <defaultValue xmi:type="uml:LiteralInteger" xmi:id="_fkTnIzbuEeaDY4APNmfY0g"/> |
| </ownedAttribute> |
| <ownedAttribute xmi:type="uml:Port" xmi:id="_fkTnJDbuEeaDY4APNmfY0g" name="y"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| <defaultValue xmi:type="uml:LiteralBoolean" xmi:id="_fkTnJTbuEeaDY4APNmfY0g"/> |
| </ownedAttribute> |
| <ownedBehavior xmi:type="uml:Activity" xmi:id="_fkTnJjbuEeaDY4APNmfY0g" name="AClassifierBehavior" node="_qiHYgDbuEeaDY4APNmfY0g _rgwLADbuEeaDY4APNmfY0g _s8FgkDbuEeaDY4APNmfY0g"> |
| <edge xmi:type="uml:ControlFlow" xmi:id="_zWpJMDbuEeaDY4APNmfY0g" target="_s8FgkDbuEeaDY4APNmfY0g" source="_qiHYgDbuEeaDY4APNmfY0g"/> |
| <edge xmi:type="uml:ControlFlow" xmi:id="_0GfRwDbuEeaDY4APNmfY0g" target="_rgwLADbuEeaDY4APNmfY0g" source="_s8FgkDbuEeaDY4APNmfY0g"/> |
| <node xmi:type="uml:InitialNode" xmi:id="_qiHYgDbuEeaDY4APNmfY0g" name="InitialNode1" outgoing="_zWpJMDbuEeaDY4APNmfY0g"/> |
| <node xmi:type="uml:ActivityFinalNode" xmi:id="_rgwLADbuEeaDY4APNmfY0g" name="ActivityFinalNode1" incoming="_0GfRwDbuEeaDY4APNmfY0g"/> |
| <node xmi:type="uml:AcceptEventAction" xmi:id="_s8FgkDbuEeaDY4APNmfY0g" name="AcceptEventAction1" incoming="_zWpJMDbuEeaDY4APNmfY0g" outgoing="_0GfRwDbuEeaDY4APNmfY0g"> |
| <trigger xmi:type="uml:Trigger" xmi:id="_wcwyADbuEeaDY4APNmfY0g" event="_lFMc0DbuEeaDY4APNmfY0g"/> |
| </node> |
| </ownedBehavior> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Package" xmi:id="_i_Z1ADbuEeaDY4APNmfY0g" name="Events"> |
| <packagedElement xmi:type="uml:TimeEvent" xmi:id="_lFMc0DbuEeaDY4APNmfY0g" name="At 2.0"> |
| <when xmi:type="uml:TimeExpression" xmi:id="_oJJWADbuEeaDY4APNmfY0g"> |
| <expr xmi:type="uml:LiteralReal" xmi:id="_oJJWATbuEeaDY4APNmfY0g" value="2.0"/> |
| </when> |
| </packagedElement> |
| </packagedElement> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Package" xmi:id="_sLU8kDbvEeaDY4APNmfY0g" name="03 - Reacting at relative date"> |
| <packagedElement xmi:type="uml:Class" xmi:id="_sLU8kTbvEeaDY4APNmfY0g" name="A" classifierBehavior="_sLU8ljbvEeaDY4APNmfY0g" isActive="true"> |
| <ownedAttribute xmi:type="uml:Port" xmi:id="_sLU8kjbvEeaDY4APNmfY0g" name="x"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <defaultValue xmi:type="uml:LiteralInteger" xmi:id="_sLU8kzbvEeaDY4APNmfY0g"/> |
| </ownedAttribute> |
| <ownedAttribute xmi:type="uml:Port" xmi:id="_sLU8lDbvEeaDY4APNmfY0g" name="y"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| <defaultValue xmi:type="uml:LiteralBoolean" xmi:id="_sLU8lTbvEeaDY4APNmfY0g"/> |
| </ownedAttribute> |
| <ownedBehavior xmi:type="uml:Activity" xmi:id="_sLU8ljbvEeaDY4APNmfY0g" name="AClassifierBehavior" node="_sLU8mTbvEeaDY4APNmfY0g _sLU8mjbvEeaDY4APNmfY0g _sLU8mzbvEeaDY4APNmfY0g _3TQTQDbvEeaDY4APNmfY0g"> |
| <edge xmi:type="uml:ControlFlow" xmi:id="_sLU8lzbvEeaDY4APNmfY0g" target="_sLU8mzbvEeaDY4APNmfY0g" source="_sLU8mTbvEeaDY4APNmfY0g"/> |
| <edge xmi:type="uml:ControlFlow" xmi:id="_sLU8mDbvEeaDY4APNmfY0g" target="_sLU8mjbvEeaDY4APNmfY0g" source="_3TQTQDbvEeaDY4APNmfY0g"/> |
| <edge xmi:type="uml:ControlFlow" xmi:id="_-uZ2MDbvEeaDY4APNmfY0g" target="_3TQTQDbvEeaDY4APNmfY0g" source="_sLU8mzbvEeaDY4APNmfY0g"/> |
| <node xmi:type="uml:InitialNode" xmi:id="_sLU8mTbvEeaDY4APNmfY0g" name="InitialNode1" outgoing="_sLU8lzbvEeaDY4APNmfY0g"/> |
| <node xmi:type="uml:ActivityFinalNode" xmi:id="_sLU8mjbvEeaDY4APNmfY0g" name="ActivityFinalNode1" incoming="_sLU8mDbvEeaDY4APNmfY0g"/> |
| <node xmi:type="uml:AcceptEventAction" xmi:id="_sLU8mzbvEeaDY4APNmfY0g" name="At 2.0" incoming="_sLU8lzbvEeaDY4APNmfY0g" outgoing="_-uZ2MDbvEeaDY4APNmfY0g"> |
| <trigger xmi:type="uml:Trigger" xmi:id="_sLU8nDbvEeaDY4APNmfY0g" event="_sLU8njbvEeaDY4APNmfY0g"/> |
| </node> |
| <node xmi:type="uml:AcceptEventAction" xmi:id="_3TQTQDbvEeaDY4APNmfY0g" name="After 0.5" incoming="_-uZ2MDbvEeaDY4APNmfY0g" outgoing="_sLU8mDbvEeaDY4APNmfY0g"> |
| <trigger xmi:type="uml:Trigger" xmi:id="_50bPgDbvEeaDY4APNmfY0g" event="_wL2LsDbvEeaDY4APNmfY0g"/> |
| </node> |
| </ownedBehavior> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Package" xmi:id="_sLU8nTbvEeaDY4APNmfY0g" name="Events"> |
| <packagedElement xmi:type="uml:TimeEvent" xmi:id="_sLU8njbvEeaDY4APNmfY0g" name="At 2.0"> |
| <when xmi:type="uml:TimeExpression" xmi:id="_sLU8nzbvEeaDY4APNmfY0g"> |
| <expr xmi:type="uml:LiteralReal" xmi:id="_sLU8oDbvEeaDY4APNmfY0g" value="2.0"/> |
| </when> |
| </packagedElement> |
| <packagedElement xmi:type="uml:TimeEvent" xmi:id="_wL2LsDbvEeaDY4APNmfY0g" name="After 0.5" isRelative="true"> |
| <when xmi:type="uml:TimeExpression" xmi:id="_zWAakDbvEeaDY4APNmfY0g"> |
| <expr xmi:type="uml:LiteralReal" xmi:id="_zWBBoDbvEeaDY4APNmfY0g" value="0.5"/> |
| </when> |
| </packagedElement> |
| </packagedElement> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Package" xmi:id="_iIODcDbwEeaDY4APNmfY0g" name="04 - Some basic computation"> |
| <packagedElement xmi:type="uml:Class" xmi:id="_iIODcTbwEeaDY4APNmfY0g" name="A" classifierBehavior="_iIODdjbwEeaDY4APNmfY0g" isActive="true"> |
| <ownedAttribute xmi:type="uml:Port" xmi:id="_iIODcjbwEeaDY4APNmfY0g" name="x"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <defaultValue xmi:type="uml:LiteralInteger" xmi:id="_iIODczbwEeaDY4APNmfY0g"/> |
| </ownedAttribute> |
| <ownedAttribute xmi:type="uml:Port" xmi:id="_iIODdDbwEeaDY4APNmfY0g" name="y"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| <defaultValue xmi:type="uml:LiteralBoolean" xmi:id="_iIODdTbwEeaDY4APNmfY0g"/> |
| </ownedAttribute> |
| <ownedBehavior xmi:type="uml:Activity" xmi:id="_iIODdjbwEeaDY4APNmfY0g" name="AClassifierBehavior" node="_iIODejbwEeaDY4APNmfY0g _iIODezbwEeaDY4APNmfY0g _iIODfDbwEeaDY4APNmfY0g _iIODfjbwEeaDY4APNmfY0g _9ADMEDbxEeaDY4APNmfY0g __CWbADbxEeaDY4APNmfY0g _EPcK8DbyEeaDY4APNmfY0g _HxNokDbyEeaDY4APNmfY0g _M4RpADbyEeaDY4APNmfY0g"> |
| <edge xmi:type="uml:ControlFlow" xmi:id="_iIODdzbwEeaDY4APNmfY0g" target="_iIODfDbwEeaDY4APNmfY0g" source="_iIODejbwEeaDY4APNmfY0g"/> |
| <edge xmi:type="uml:ControlFlow" xmi:id="_iIODeDbwEeaDY4APNmfY0g" target="_9ADMEDbxEeaDY4APNmfY0g" source="_iIODfjbwEeaDY4APNmfY0g"/> |
| <edge xmi:type="uml:ControlFlow" xmi:id="_iIODeTbwEeaDY4APNmfY0g" target="_iIODfjbwEeaDY4APNmfY0g" source="_iIODfDbwEeaDY4APNmfY0g"/> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_PGvEoDbyEeaDY4APNmfY0g" target="__Ce94DbxEeaDY4APNmfY0g" source="_EPeAIDbyEeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_PHItQDbyEeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_PHJUUDbyEeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_PvjYIDbyEeaDY4APNmfY0g" target="_M4RpADbyEeaDY4APNmfY0g" source="_9ADzIDbxEeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_Pv9n0DbyEeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_Pv9n0TbyEeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_QJzEIDbyEeaDY4APNmfY0g" target="__CeW0DbxEeaDY4APNmfY0g" source="_M4RpADbyEeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_QKPJADbyEeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_QKPJATbyEeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_QkqbMDbyEeaDY4APNmfY0g" target="_HxR6ADbyEeaDY4APNmfY0g" source="_M4RpADbyEeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_Ql80oDbyEeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_Ql80oTbyEeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_Q_IJoDbyEeaDY4APNmfY0g" target="_HxTIITbyEeaDY4APNmfY0g" source="__CgMAjbxEeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_Q_eH4DbyEeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_Q_eu8DbyEeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ControlFlow" xmi:id="_T9cU4DbyEeaDY4APNmfY0g" target="_iIODezbwEeaDY4APNmfY0g" source="_HxNokDbyEeaDY4APNmfY0g"/> |
| <node xmi:type="uml:InitialNode" xmi:id="_iIODejbwEeaDY4APNmfY0g" name="InitialNode1" outgoing="_iIODdzbwEeaDY4APNmfY0g"/> |
| <node xmi:type="uml:ActivityFinalNode" xmi:id="_iIODezbwEeaDY4APNmfY0g" name="ActivityFinalNode1" incoming="_T9cU4DbyEeaDY4APNmfY0g"/> |
| <node xmi:type="uml:AcceptEventAction" xmi:id="_iIODfDbwEeaDY4APNmfY0g" name="At 2.0" incoming="_iIODdzbwEeaDY4APNmfY0g" outgoing="_iIODeTbwEeaDY4APNmfY0g"> |
| <trigger xmi:type="uml:Trigger" xmi:id="_iIODfTbwEeaDY4APNmfY0g" event="_iIODgTbwEeaDY4APNmfY0g"/> |
| </node> |
| <node xmi:type="uml:AcceptEventAction" xmi:id="_iIODfjbwEeaDY4APNmfY0g" name="After 0.5" incoming="_iIODeTbwEeaDY4APNmfY0g" outgoing="_iIODeDbwEeaDY4APNmfY0g"> |
| <trigger xmi:type="uml:Trigger" xmi:id="_iIODfzbwEeaDY4APNmfY0g" event="_iIODhDbwEeaDY4APNmfY0g"/> |
| </node> |
| <node xmi:type="uml:ReadSelfAction" xmi:id="_9ADMEDbxEeaDY4APNmfY0g" name="self" incoming="_iIODeDbwEeaDY4APNmfY0g"> |
| <result xmi:type="uml:OutputPin" xmi:id="_9ADzIDbxEeaDY4APNmfY0g" name="result" outgoing="_PvjYIDbyEeaDY4APNmfY0g" type="_iIODdjbwEeaDY4APNmfY0g"/> |
| </node> |
| <node xmi:type="uml:CallOperationAction" xmi:id="__CWbADbxEeaDY4APNmfY0g" name="callTest" operation="_k7A7MDbwEeaDY4APNmfY0g"> |
| <argument xmi:type="uml:InputPin" xmi:id="__Ce94DbxEeaDY4APNmfY0g" name="threshold" incoming="_PGvEoDbyEeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="__CioQDbxEeaDY4APNmfY0g" value="1"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="__CgMATbxEeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="__CgMADbxEeaDY4APNmfY0g" value="1"/> |
| </argument> |
| <result xmi:type="uml:OutputPin" xmi:id="__CgMAjbxEeaDY4APNmfY0g" name="result" outgoing="_Q_IJoDbyEeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="__CioQTbxEeaDY4APNmfY0g" value="1"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="__ChaIDbxEeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="__CgzETbxEeaDY4APNmfY0g" value="1"/> |
| </result> |
| <target xmi:type="uml:InputPin" xmi:id="__CeW0DbxEeaDY4APNmfY0g" name="target" incoming="_QJzEIDbyEeaDY4APNmfY0g" type="_iIODcTbwEeaDY4APNmfY0g"> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="__CiBMDbxEeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="__CiBMTbxEeaDY4APNmfY0g" value="1"/> |
| </target> |
| </node> |
| <node xmi:type="uml:ValueSpecificationAction" xmi:id="_EPcK8DbyEeaDY4APNmfY0g" name="2"> |
| <result xmi:type="uml:OutputPin" xmi:id="_EPeAIDbyEeaDY4APNmfY0g" name="result" outgoing="_PGvEoDbyEeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="_E5dYUTbyEeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_E5dYUDbyEeaDY4APNmfY0g" value="1"/> |
| </result> |
| <value xmi:type="uml:LiteralInteger" xmi:id="_E5Yf0DbyEeaDY4APNmfY0g" value="2"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| </value> |
| </node> |
| <node xmi:type="uml:AddStructuralFeatureValueAction" xmi:id="_HxNokDbyEeaDY4APNmfY0g" name="setY" outgoing="_T9cU4DbyEeaDY4APNmfY0g" structuralFeature="_iIODdDbwEeaDY4APNmfY0g" isReplaceAll="true"> |
| <object xmi:type="uml:InputPin" xmi:id="_HxR6ADbyEeaDY4APNmfY0g" name="object" incoming="_QkqbMDbyEeaDY4APNmfY0g" type="_iIODcTbwEeaDY4APNmfY0g"/> |
| <result xmi:type="uml:OutputPin" xmi:id="_HxTIIDbyEeaDY4APNmfY0g" name="result" type="_iIODcTbwEeaDY4APNmfY0g"/> |
| <value xmi:type="uml:InputPin" xmi:id="_HxTIITbyEeaDY4APNmfY0g" name="value" incoming="_Q_IJoDbyEeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| </value> |
| </node> |
| <node xmi:type="uml:ForkNode" xmi:id="_M4RpADbyEeaDY4APNmfY0g" name="ForkNode1" incoming="_PvjYIDbyEeaDY4APNmfY0g" outgoing="_QJzEIDbyEeaDY4APNmfY0g _QkqbMDbyEeaDY4APNmfY0g"/> |
| </ownedBehavior> |
| <ownedBehavior xmi:type="uml:Activity" xmi:id="_uCNwQDbwEeaDY4APNmfY0g" name="testImpl" specification="_k7A7MDbwEeaDY4APNmfY0g" node="_VjapoDbxEeaDY4APNmfY0g _Wb5JwDbxEeaDY4APNmfY0g _XvI6UDbxEeaDY4APNmfY0g _Zmp1kDbxEeaDY4APNmfY0g _fUuysDbxEeaDY4APNmfY0g"> |
| <ownedParameter xmi:type="uml:Parameter" xmi:id="_uCPlcDbwEeaDY4APNmfY0g" name="threshold"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| </ownedParameter> |
| <ownedParameter xmi:type="uml:Parameter" xmi:id="_uCPlcTbwEeaDY4APNmfY0g" name="result" direction="return"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| </ownedParameter> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_i5DOADbxEeaDY4APNmfY0g" target="_fUx2ADbxEeaDY4APNmfY0g" source="_VjapoDbxEeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_i5QpYDbxEeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_i5QpYTbxEeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_jUPVMDbxEeaDY4APNmfY0g" target="_ZmrDsDbxEeaDY4APNmfY0g" source="_XvJhYDbxEeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_jUcJgDbxEeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_jUcwkDbxEeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_kUvI4DbxEeaDY4APNmfY0g" target="_fUwn4DbxEeaDY4APNmfY0g" source="_ZmrqwDbxEeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_kVA1sDbxEeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_kVA1sTbxEeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_k9wQsDbxEeaDY4APNmfY0g" target="_Wb5JwDbxEeaDY4APNmfY0g" source="_fUydEjbxEeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_k-CkkDbxEeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_k-DLoDbxEeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <node xmi:type="uml:ActivityParameterNode" xmi:id="_VjapoDbxEeaDY4APNmfY0g" name="Threshold" outgoing="_i5DOADbxEeaDY4APNmfY0g" parameter="_uCPlcDbwEeaDY4APNmfY0g"> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="_Vjb3wDbxEeaDY4APNmfY0g" value="1"/> |
| </node> |
| <node xmi:type="uml:ActivityParameterNode" xmi:id="_Wb5JwDbxEeaDY4APNmfY0g" name="Result" incoming="_k9wQsDbxEeaDY4APNmfY0g" parameter="_uCPlcTbwEeaDY4APNmfY0g"> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="_Wb5JwTbxEeaDY4APNmfY0g" value="1"/> |
| </node> |
| <node xmi:type="uml:ReadSelfAction" xmi:id="_XvI6UDbxEeaDY4APNmfY0g" name="self"> |
| <result xmi:type="uml:OutputPin" xmi:id="_XvJhYDbxEeaDY4APNmfY0g" name="result" outgoing="_jUPVMDbxEeaDY4APNmfY0g" type="_iIODcTbwEeaDY4APNmfY0g"/> |
| </node> |
| <node xmi:type="uml:ReadStructuralFeatureAction" xmi:id="_Zmp1kDbxEeaDY4APNmfY0g" name="readX" structuralFeature="_iIODcjbwEeaDY4APNmfY0g"> |
| <object xmi:type="uml:InputPin" xmi:id="_ZmrDsDbxEeaDY4APNmfY0g" name="object" incoming="_jUPVMDbxEeaDY4APNmfY0g" type="_iIODcTbwEeaDY4APNmfY0g"/> |
| <result xmi:type="uml:OutputPin" xmi:id="_ZmrqwDbxEeaDY4APNmfY0g" name="x" outgoing="_kUvI4DbxEeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Zms44TbxEeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Zms44DbxEeaDY4APNmfY0g" value="1"/> |
| </result> |
| </node> |
| <node xmi:type="uml:CallBehaviorAction" xmi:id="_fUuysDbxEeaDY4APNmfY0g" name="call>"> |
| <argument xmi:type="uml:InputPin" xmi:id="_fUwn4DbxEeaDY4APNmfY0g" name="x" incoming="_kUvI4DbxEeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_fUxO8TbxEeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_fUxO8DbxEeaDY4APNmfY0g" value="1"/> |
| </argument> |
| <argument xmi:type="uml:InputPin" xmi:id="_fUx2ADbxEeaDY4APNmfY0g" name="y" incoming="_i5DOADbxEeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_fUydETbxEeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_fUydEDbxEeaDY4APNmfY0g" value="1"/> |
| </argument> |
| <result xmi:type="uml:OutputPin" xmi:id="_fUydEjbxEeaDY4APNmfY0g" name="result" outgoing="_k9wQsDbxEeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="_fUzrMDbxEeaDY4APNmfY0g" value="1"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_fUzEITbxEeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_fUzEIDbxEeaDY4APNmfY0g" value="1"/> |
| </result> |
| <behavior xmi:type="uml:FunctionBehavior" href="pathmap://PAPYRUS_fUML_LIBRARY/fUML_Library.uml#PrimitiveBehaviors-IntegerFunctions-gt"/> |
| </node> |
| </ownedBehavior> |
| <ownedOperation xmi:type="uml:Operation" xmi:id="_k7A7MDbwEeaDY4APNmfY0g" name="test" method="_uCNwQDbwEeaDY4APNmfY0g"> |
| <ownedParameter xmi:type="uml:Parameter" xmi:id="_onOHMDbwEeaDY4APNmfY0g" name="threshold"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| </ownedParameter> |
| <ownedParameter xmi:type="uml:Parameter" xmi:id="_rTXkYDbwEeaDY4APNmfY0g" name="result" direction="return"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| </ownedParameter> |
| </ownedOperation> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Package" xmi:id="_iIODgDbwEeaDY4APNmfY0g" name="Events"> |
| <packagedElement xmi:type="uml:TimeEvent" xmi:id="_iIODgTbwEeaDY4APNmfY0g" name="At 2.0"> |
| <when xmi:type="uml:TimeExpression" xmi:id="_iIODgjbwEeaDY4APNmfY0g"> |
| <expr xmi:type="uml:LiteralReal" xmi:id="_iIODgzbwEeaDY4APNmfY0g" value="2.0"/> |
| </when> |
| </packagedElement> |
| <packagedElement xmi:type="uml:TimeEvent" xmi:id="_iIODhDbwEeaDY4APNmfY0g" name="After 0.5" isRelative="true"> |
| <when xmi:type="uml:TimeExpression" xmi:id="_iIODhTbwEeaDY4APNmfY0g"> |
| <expr xmi:type="uml:LiteralReal" xmi:id="_iIODhjbwEeaDY4APNmfY0g" value="0.5"/> |
| </when> |
| </packagedElement> |
| </packagedElement> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Package" xmi:id="_xP67ADbzEeaDY4APNmfY0g" name="05 - Periodic Loop - V1"> |
| <packagedElement xmi:type="uml:Class" xmi:id="_xP67ATbzEeaDY4APNmfY0g" name="A" classifierBehavior="_xP67BjbzEeaDY4APNmfY0g" isActive="true"> |
| <ownedAttribute xmi:type="uml:Port" xmi:id="_xP67AjbzEeaDY4APNmfY0g" name="x"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <defaultValue xmi:type="uml:LiteralInteger" xmi:id="_xP67AzbzEeaDY4APNmfY0g"/> |
| </ownedAttribute> |
| <ownedAttribute xmi:type="uml:Port" xmi:id="_xP67BDbzEeaDY4APNmfY0g" name="y"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| <defaultValue xmi:type="uml:LiteralBoolean" xmi:id="_xP67BTbzEeaDY4APNmfY0g"/> |
| </ownedAttribute> |
| <ownedBehavior xmi:type="uml:Activity" xmi:id="_xP67BjbzEeaDY4APNmfY0g" name="AClassifierBehavior" node="_xP67GjbzEeaDY4APNmfY0g _xP67HjbzEeaDY4APNmfY0g _xP67IDbzEeaDY4APNmfY0g _xP67IjbzEeaDY4APNmfY0g _xP67LjbzEeaDY4APNmfY0g _xP67MzbzEeaDY4APNmfY0g _xP67NzbzEeaDY4APNmfY0g _3QeIMDbzEeaDY4APNmfY0g"> |
| <edge xmi:type="uml:ControlFlow" xmi:id="_xP67CDbzEeaDY4APNmfY0g" target="_xP67IDbzEeaDY4APNmfY0g" source="_xP67HjbzEeaDY4APNmfY0g"/> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_xP67CjbzEeaDY4APNmfY0g" target="_xP67IzbzEeaDY4APNmfY0g" source="_xP67LzbzEeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_xP67CzbzEeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_xP67DDbzEeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_xP67DTbzEeaDY4APNmfY0g" target="_xP67NzbzEeaDY4APNmfY0g" source="_xP67ITbzEeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_xP67DjbzEeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_xP67DzbzEeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_xP67EDbzEeaDY4APNmfY0g" target="_xP67KzbzEeaDY4APNmfY0g" source="_xP67NzbzEeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_xP67ETbzEeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_xP67EjbzEeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_xP67EzbzEeaDY4APNmfY0g" target="_xP67NDbzEeaDY4APNmfY0g" source="_xP67NzbzEeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_xP67FDbzEeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_xP67FTbzEeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_xP67FjbzEeaDY4APNmfY0g" target="_xP67NjbzEeaDY4APNmfY0g" source="_xP67JzbzEeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_xP67FzbzEeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_xP67GDbzEeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ControlFlow" xmi:id="_xP67GTbzEeaDY4APNmfY0g" target="_3QeIMDbzEeaDY4APNmfY0g" source="_xP67MzbzEeaDY4APNmfY0g"/> |
| <edge xmi:type="uml:ControlFlow" xmi:id="_4R4h4DbzEeaDY4APNmfY0g" target="_3QeIMDbzEeaDY4APNmfY0g" source="_xP67GjbzEeaDY4APNmfY0g"/> |
| <edge xmi:type="uml:ControlFlow" xmi:id="_4n1jwDbzEeaDY4APNmfY0g" target="_xP67HjbzEeaDY4APNmfY0g" source="_3QeIMDbzEeaDY4APNmfY0g"/> |
| <edge xmi:type="uml:ControlFlow" xmi:id="_52pgQDbzEeaDY4APNmfY0g" target="_xP67LjbzEeaDY4APNmfY0g" source="_xP67IDbzEeaDY4APNmfY0g"/> |
| <node xmi:type="uml:InitialNode" xmi:id="_xP67GjbzEeaDY4APNmfY0g" name="InitialNode1" outgoing="_4R4h4DbzEeaDY4APNmfY0g"/> |
| <node xmi:type="uml:AcceptEventAction" xmi:id="_xP67HjbzEeaDY4APNmfY0g" name="After 0.5" incoming="_4n1jwDbzEeaDY4APNmfY0g" outgoing="_xP67CDbzEeaDY4APNmfY0g"> |
| <trigger xmi:type="uml:Trigger" xmi:id="_xP67HzbzEeaDY4APNmfY0g" event="_xP67ZDbzEeaDY4APNmfY0g"/> |
| </node> |
| <node xmi:type="uml:ReadSelfAction" xmi:id="_xP67IDbzEeaDY4APNmfY0g" name="self" incoming="_xP67CDbzEeaDY4APNmfY0g" outgoing="_52pgQDbzEeaDY4APNmfY0g"> |
| <result xmi:type="uml:OutputPin" xmi:id="_xP67ITbzEeaDY4APNmfY0g" name="result" outgoing="_xP67DTbzEeaDY4APNmfY0g" type="_xP67BjbzEeaDY4APNmfY0g"/> |
| </node> |
| <node xmi:type="uml:CallOperationAction" xmi:id="_xP67IjbzEeaDY4APNmfY0g" name="callTest" operation="_xP67XTbzEeaDY4APNmfY0g"> |
| <argument xmi:type="uml:InputPin" xmi:id="_xP67IzbzEeaDY4APNmfY0g" name="threshold" incoming="_xP67CjbzEeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="_xP67JDbzEeaDY4APNmfY0g" value="1"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_xP67JTbzEeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_xP67JjbzEeaDY4APNmfY0g" value="1"/> |
| </argument> |
| <result xmi:type="uml:OutputPin" xmi:id="_xP67JzbzEeaDY4APNmfY0g" name="result" outgoing="_xP67FjbzEeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="_xP67KDbzEeaDY4APNmfY0g" value="1"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_xP67KTbzEeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_xP67KjbzEeaDY4APNmfY0g" value="1"/> |
| </result> |
| <target xmi:type="uml:InputPin" xmi:id="_xP67KzbzEeaDY4APNmfY0g" name="target" incoming="_xP67EDbzEeaDY4APNmfY0g" type="_xP67ATbzEeaDY4APNmfY0g"> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_xP67LDbzEeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_xP67LTbzEeaDY4APNmfY0g" value="1"/> |
| </target> |
| </node> |
| <node xmi:type="uml:ValueSpecificationAction" xmi:id="_xP67LjbzEeaDY4APNmfY0g" name="2" incoming="_52pgQDbzEeaDY4APNmfY0g"> |
| <result xmi:type="uml:OutputPin" xmi:id="_xP67LzbzEeaDY4APNmfY0g" name="result" outgoing="_xP67CjbzEeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="_xP67MDbzEeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_xP67MTbzEeaDY4APNmfY0g" value="1"/> |
| </result> |
| <value xmi:type="uml:LiteralInteger" xmi:id="_xP67MjbzEeaDY4APNmfY0g" value="2"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| </value> |
| </node> |
| <node xmi:type="uml:AddStructuralFeatureValueAction" xmi:id="_xP67MzbzEeaDY4APNmfY0g" name="setY" outgoing="_xP67GTbzEeaDY4APNmfY0g" structuralFeature="_xP67BDbzEeaDY4APNmfY0g" isReplaceAll="true"> |
| <object xmi:type="uml:InputPin" xmi:id="_xP67NDbzEeaDY4APNmfY0g" name="object" incoming="_xP67EzbzEeaDY4APNmfY0g" type="_xP67ATbzEeaDY4APNmfY0g"/> |
| <result xmi:type="uml:OutputPin" xmi:id="_xP67NTbzEeaDY4APNmfY0g" name="result" type="_xP67ATbzEeaDY4APNmfY0g"/> |
| <value xmi:type="uml:InputPin" xmi:id="_xP67NjbzEeaDY4APNmfY0g" name="value" incoming="_xP67FjbzEeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| </value> |
| </node> |
| <node xmi:type="uml:ForkNode" xmi:id="_xP67NzbzEeaDY4APNmfY0g" name="ForkNode1" incoming="_xP67DTbzEeaDY4APNmfY0g" outgoing="_xP67EDbzEeaDY4APNmfY0g _xP67EzbzEeaDY4APNmfY0g"/> |
| <node xmi:type="uml:MergeNode" xmi:id="_3QeIMDbzEeaDY4APNmfY0g" name="MergeNode1" incoming="_4R4h4DbzEeaDY4APNmfY0g _xP67GTbzEeaDY4APNmfY0g" outgoing="_4n1jwDbzEeaDY4APNmfY0g"/> |
| </ownedBehavior> |
| <ownedBehavior xmi:type="uml:Activity" xmi:id="_xP67ODbzEeaDY4APNmfY0g" name="testImpl" specification="_xP67XTbzEeaDY4APNmfY0g" node="_xP67RzbzEeaDY4APNmfY0g _xP67STbzEeaDY4APNmfY0g _xP67SzbzEeaDY4APNmfY0g _xP67TTbzEeaDY4APNmfY0g _xP67UjbzEeaDY4APNmfY0g"> |
| <ownedParameter xmi:type="uml:Parameter" xmi:id="_xP67OTbzEeaDY4APNmfY0g" name="threshold"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| </ownedParameter> |
| <ownedParameter xmi:type="uml:Parameter" xmi:id="_xP67OjbzEeaDY4APNmfY0g" name="result" direction="return"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| </ownedParameter> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_xP67OzbzEeaDY4APNmfY0g" target="_xP67VjbzEeaDY4APNmfY0g" source="_xP67RzbzEeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_xP67PDbzEeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_xP67PTbzEeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_xP67PjbzEeaDY4APNmfY0g" target="_xP67TjbzEeaDY4APNmfY0g" source="_xP67TDbzEeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_xP67PzbzEeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_xP67QDbzEeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_xP67QTbzEeaDY4APNmfY0g" target="_xP67UzbzEeaDY4APNmfY0g" source="_xP67TzbzEeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_xP67QjbzEeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_xP67QzbzEeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_xP67RDbzEeaDY4APNmfY0g" target="_xP67STbzEeaDY4APNmfY0g" source="_xP67WTbzEeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_xP67RTbzEeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_xP67RjbzEeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <node xmi:type="uml:ActivityParameterNode" xmi:id="_xP67RzbzEeaDY4APNmfY0g" name="Threshold" outgoing="_xP67OzbzEeaDY4APNmfY0g" parameter="_xP67OTbzEeaDY4APNmfY0g"> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="_xP67SDbzEeaDY4APNmfY0g" value="1"/> |
| </node> |
| <node xmi:type="uml:ActivityParameterNode" xmi:id="_xP67STbzEeaDY4APNmfY0g" name="Result" incoming="_xP67RDbzEeaDY4APNmfY0g" parameter="_xP67OjbzEeaDY4APNmfY0g"> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="_xP67SjbzEeaDY4APNmfY0g" value="1"/> |
| </node> |
| <node xmi:type="uml:ReadSelfAction" xmi:id="_xP67SzbzEeaDY4APNmfY0g" name="self"> |
| <result xmi:type="uml:OutputPin" xmi:id="_xP67TDbzEeaDY4APNmfY0g" name="result" outgoing="_xP67PjbzEeaDY4APNmfY0g" type="_xP67ATbzEeaDY4APNmfY0g"/> |
| </node> |
| <node xmi:type="uml:ReadStructuralFeatureAction" xmi:id="_xP67TTbzEeaDY4APNmfY0g" name="readX" structuralFeature="_xP67AjbzEeaDY4APNmfY0g"> |
| <object xmi:type="uml:InputPin" xmi:id="_xP67TjbzEeaDY4APNmfY0g" name="object" incoming="_xP67PjbzEeaDY4APNmfY0g" type="_xP67ATbzEeaDY4APNmfY0g"/> |
| <result xmi:type="uml:OutputPin" xmi:id="_xP67TzbzEeaDY4APNmfY0g" name="x" outgoing="_xP67QTbzEeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_xP67UDbzEeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_xP67UTbzEeaDY4APNmfY0g" value="1"/> |
| </result> |
| </node> |
| <node xmi:type="uml:CallBehaviorAction" xmi:id="_xP67UjbzEeaDY4APNmfY0g" name="call>"> |
| <argument xmi:type="uml:InputPin" xmi:id="_xP67UzbzEeaDY4APNmfY0g" name="x" incoming="_xP67QTbzEeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_xP67VDbzEeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_xP67VTbzEeaDY4APNmfY0g" value="1"/> |
| </argument> |
| <argument xmi:type="uml:InputPin" xmi:id="_xP67VjbzEeaDY4APNmfY0g" name="y" incoming="_xP67OzbzEeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_xP67VzbzEeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_xP67WDbzEeaDY4APNmfY0g" value="1"/> |
| </argument> |
| <result xmi:type="uml:OutputPin" xmi:id="_xP67WTbzEeaDY4APNmfY0g" name="result" outgoing="_xP67RDbzEeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="_xP67WjbzEeaDY4APNmfY0g" value="1"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_xP67WzbzEeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_xP67XDbzEeaDY4APNmfY0g" value="1"/> |
| </result> |
| <behavior xmi:type="uml:FunctionBehavior" href="pathmap://PAPYRUS_fUML_LIBRARY/fUML_Library.uml#PrimitiveBehaviors-IntegerFunctions-gt"/> |
| </node> |
| </ownedBehavior> |
| <ownedOperation xmi:type="uml:Operation" xmi:id="_xP67XTbzEeaDY4APNmfY0g" name="test" method="_xP67ODbzEeaDY4APNmfY0g"> |
| <ownedParameter xmi:type="uml:Parameter" xmi:id="_xP67XjbzEeaDY4APNmfY0g" name="threshold"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| </ownedParameter> |
| <ownedParameter xmi:type="uml:Parameter" xmi:id="_xP67XzbzEeaDY4APNmfY0g" name="result" direction="return"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| </ownedParameter> |
| </ownedOperation> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Package" xmi:id="_xP67YDbzEeaDY4APNmfY0g" name="Events"> |
| <packagedElement xmi:type="uml:TimeEvent" xmi:id="_xP67YTbzEeaDY4APNmfY0g" name="At 2.0"> |
| <when xmi:type="uml:TimeExpression" xmi:id="_xP67YjbzEeaDY4APNmfY0g"> |
| <expr xmi:type="uml:LiteralReal" xmi:id="_xP67YzbzEeaDY4APNmfY0g" value="2.0"/> |
| </when> |
| </packagedElement> |
| <packagedElement xmi:type="uml:TimeEvent" xmi:id="_xP67ZDbzEeaDY4APNmfY0g" name="After 0.5" isRelative="true"> |
| <when xmi:type="uml:TimeExpression" xmi:id="_xP67ZTbzEeaDY4APNmfY0g"> |
| <expr xmi:type="uml:LiteralReal" xmi:id="_xP67ZjbzEeaDY4APNmfY0g" value="0.5"/> |
| </when> |
| </packagedElement> |
| </packagedElement> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Package" xmi:id="_Ufn4EDb2EeaDY4APNmfY0g" name="06 - Periodic Loop - V2"> |
| <packagedElement xmi:type="uml:Class" xmi:id="_Ufn4ETb2EeaDY4APNmfY0g" name="A" classifierBehavior="_Ufn4Fjb2EeaDY4APNmfY0g" isActive="true"> |
| <ownedAttribute xmi:type="uml:Port" xmi:id="_Ufn4Ejb2EeaDY4APNmfY0g" name="x"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <defaultValue xmi:type="uml:LiteralInteger" xmi:id="_Ufn4Ezb2EeaDY4APNmfY0g"/> |
| </ownedAttribute> |
| <ownedAttribute xmi:type="uml:Port" xmi:id="_Ufn4FDb2EeaDY4APNmfY0g" name="y"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| <defaultValue xmi:type="uml:LiteralBoolean" xmi:id="_Ufn4FTb2EeaDY4APNmfY0g"/> |
| </ownedAttribute> |
| <ownedBehavior xmi:type="uml:Activity" xmi:id="_Ufn4Fjb2EeaDY4APNmfY0g" name="AClassifierBehavior" node="_Ufn4LDb2EeaDY4APNmfY0g _Ufn4Ljb2EeaDY4APNmfY0g _Ufn4MDb2EeaDY4APNmfY0g _Ufn4PDb2EeaDY4APNmfY0g _Ufn4QTb2EeaDY4APNmfY0g _Ufn4RTb2EeaDY4APNmfY0g"> |
| <edge xmi:type="uml:ControlFlow" xmi:id="_Ufn4Fzb2EeaDY4APNmfY0g" target="_Ufn4Ljb2EeaDY4APNmfY0g" source="_Ufn4LDb2EeaDY4APNmfY0g"/> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_Ufn4GDb2EeaDY4APNmfY0g" target="_Ufn4MTb2EeaDY4APNmfY0g" source="_Ufn4PTb2EeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_Ufn4GTb2EeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_Ufn4Gjb2EeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_Ufn4Gzb2EeaDY4APNmfY0g" target="_Ufn4RTb2EeaDY4APNmfY0g" source="_Ufn4Lzb2EeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_Ufn4HDb2EeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_Ufn4HTb2EeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_Ufn4Hjb2EeaDY4APNmfY0g" target="_Ufn4OTb2EeaDY4APNmfY0g" source="_Ufn4RTb2EeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_Ufn4Hzb2EeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_Ufn4IDb2EeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_Ufn4ITb2EeaDY4APNmfY0g" target="_Ufn4Qjb2EeaDY4APNmfY0g" source="_Ufn4RTb2EeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_Ufn4Ijb2EeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_Ufn4Izb2EeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_Ufn4JDb2EeaDY4APNmfY0g" target="_Ufn4RDb2EeaDY4APNmfY0g" source="_Ufn4NTb2EeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_Ufn4JTb2EeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_Ufn4Jjb2EeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ControlFlow" xmi:id="_Ufn4Kjb2EeaDY4APNmfY0g" target="_Ufn4PDb2EeaDY4APNmfY0g" source="_Ufn4Ljb2EeaDY4APNmfY0g"/> |
| <node xmi:type="uml:AcceptEventAction" xmi:id="_Ufn4LDb2EeaDY4APNmfY0g" name="After 0.5" outgoing="_Ufn4Fzb2EeaDY4APNmfY0g"> |
| <trigger xmi:type="uml:Trigger" xmi:id="_Ufn4LTb2EeaDY4APNmfY0g" event="_Ufn4czb2EeaDY4APNmfY0g"/> |
| </node> |
| <node xmi:type="uml:ReadSelfAction" xmi:id="_Ufn4Ljb2EeaDY4APNmfY0g" name="self" incoming="_Ufn4Fzb2EeaDY4APNmfY0g" outgoing="_Ufn4Kjb2EeaDY4APNmfY0g"> |
| <result xmi:type="uml:OutputPin" xmi:id="_Ufn4Lzb2EeaDY4APNmfY0g" name="result" outgoing="_Ufn4Gzb2EeaDY4APNmfY0g" type="_Ufn4Fjb2EeaDY4APNmfY0g"/> |
| </node> |
| <node xmi:type="uml:CallOperationAction" xmi:id="_Ufn4MDb2EeaDY4APNmfY0g" name="callTest" operation="_Ufn4bDb2EeaDY4APNmfY0g"> |
| <argument xmi:type="uml:InputPin" xmi:id="_Ufn4MTb2EeaDY4APNmfY0g" name="threshold" incoming="_Ufn4GDb2EeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="_Ufn4Mjb2EeaDY4APNmfY0g" value="1"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Ufn4Mzb2EeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Ufn4NDb2EeaDY4APNmfY0g" value="1"/> |
| </argument> |
| <result xmi:type="uml:OutputPin" xmi:id="_Ufn4NTb2EeaDY4APNmfY0g" name="result" outgoing="_Ufn4JDb2EeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="_Ufn4Njb2EeaDY4APNmfY0g" value="1"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Ufn4Nzb2EeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Ufn4ODb2EeaDY4APNmfY0g" value="1"/> |
| </result> |
| <target xmi:type="uml:InputPin" xmi:id="_Ufn4OTb2EeaDY4APNmfY0g" name="target" incoming="_Ufn4Hjb2EeaDY4APNmfY0g" type="_Ufn4ETb2EeaDY4APNmfY0g"> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Ufn4Ojb2EeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Ufn4Ozb2EeaDY4APNmfY0g" value="1"/> |
| </target> |
| </node> |
| <node xmi:type="uml:ValueSpecificationAction" xmi:id="_Ufn4PDb2EeaDY4APNmfY0g" name="2" incoming="_Ufn4Kjb2EeaDY4APNmfY0g"> |
| <result xmi:type="uml:OutputPin" xmi:id="_Ufn4PTb2EeaDY4APNmfY0g" name="result" outgoing="_Ufn4GDb2EeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="_Ufn4Pjb2EeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Ufn4Pzb2EeaDY4APNmfY0g" value="1"/> |
| </result> |
| <value xmi:type="uml:LiteralInteger" xmi:id="_Ufn4QDb2EeaDY4APNmfY0g" value="2"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| </value> |
| </node> |
| <node xmi:type="uml:AddStructuralFeatureValueAction" xmi:id="_Ufn4QTb2EeaDY4APNmfY0g" name="setY" structuralFeature="_Ufn4FDb2EeaDY4APNmfY0g" isReplaceAll="true"> |
| <object xmi:type="uml:InputPin" xmi:id="_Ufn4Qjb2EeaDY4APNmfY0g" name="object" incoming="_Ufn4ITb2EeaDY4APNmfY0g" type="_Ufn4ETb2EeaDY4APNmfY0g"/> |
| <result xmi:type="uml:OutputPin" xmi:id="_Ufn4Qzb2EeaDY4APNmfY0g" name="result" type="_Ufn4ETb2EeaDY4APNmfY0g"/> |
| <value xmi:type="uml:InputPin" xmi:id="_Ufn4RDb2EeaDY4APNmfY0g" name="value" incoming="_Ufn4JDb2EeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| </value> |
| </node> |
| <node xmi:type="uml:ForkNode" xmi:id="_Ufn4RTb2EeaDY4APNmfY0g" name="ForkNode1" incoming="_Ufn4Gzb2EeaDY4APNmfY0g" outgoing="_Ufn4Hjb2EeaDY4APNmfY0g _Ufn4ITb2EeaDY4APNmfY0g"/> |
| </ownedBehavior> |
| <ownedBehavior xmi:type="uml:Activity" xmi:id="_Ufn4Rzb2EeaDY4APNmfY0g" name="testImpl" specification="_Ufn4bDb2EeaDY4APNmfY0g" node="_Ufn4Vjb2EeaDY4APNmfY0g _Ufn4WDb2EeaDY4APNmfY0g _Ufn4Wjb2EeaDY4APNmfY0g _Ufn4XDb2EeaDY4APNmfY0g _Ufn4YTb2EeaDY4APNmfY0g"> |
| <ownedParameter xmi:type="uml:Parameter" xmi:id="_Ufn4SDb2EeaDY4APNmfY0g" name="threshold"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| </ownedParameter> |
| <ownedParameter xmi:type="uml:Parameter" xmi:id="_Ufn4STb2EeaDY4APNmfY0g" name="result" direction="return"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| </ownedParameter> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_Ufn4Sjb2EeaDY4APNmfY0g" target="_Ufn4ZTb2EeaDY4APNmfY0g" source="_Ufn4Vjb2EeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_Ufn4Szb2EeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_Ufn4TDb2EeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_Ufn4TTb2EeaDY4APNmfY0g" target="_Ufn4XTb2EeaDY4APNmfY0g" source="_Ufn4Wzb2EeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_Ufn4Tjb2EeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_Ufn4Tzb2EeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_Ufn4UDb2EeaDY4APNmfY0g" target="_Ufn4Yjb2EeaDY4APNmfY0g" source="_Ufn4Xjb2EeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_Ufn4UTb2EeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_Ufn4Ujb2EeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_Ufn4Uzb2EeaDY4APNmfY0g" target="_Ufn4WDb2EeaDY4APNmfY0g" source="_Ufn4aDb2EeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_Ufn4VDb2EeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_Ufn4VTb2EeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <node xmi:type="uml:ActivityParameterNode" xmi:id="_Ufn4Vjb2EeaDY4APNmfY0g" name="Threshold" outgoing="_Ufn4Sjb2EeaDY4APNmfY0g" parameter="_Ufn4SDb2EeaDY4APNmfY0g"> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="_Ufn4Vzb2EeaDY4APNmfY0g" value="1"/> |
| </node> |
| <node xmi:type="uml:ActivityParameterNode" xmi:id="_Ufn4WDb2EeaDY4APNmfY0g" name="Result" incoming="_Ufn4Uzb2EeaDY4APNmfY0g" parameter="_Ufn4STb2EeaDY4APNmfY0g"> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="_Ufn4WTb2EeaDY4APNmfY0g" value="1"/> |
| </node> |
| <node xmi:type="uml:ReadSelfAction" xmi:id="_Ufn4Wjb2EeaDY4APNmfY0g" name="self"> |
| <result xmi:type="uml:OutputPin" xmi:id="_Ufn4Wzb2EeaDY4APNmfY0g" name="result" outgoing="_Ufn4TTb2EeaDY4APNmfY0g" type="_Ufn4ETb2EeaDY4APNmfY0g"/> |
| </node> |
| <node xmi:type="uml:ReadStructuralFeatureAction" xmi:id="_Ufn4XDb2EeaDY4APNmfY0g" name="readX" structuralFeature="_Ufn4Ejb2EeaDY4APNmfY0g"> |
| <object xmi:type="uml:InputPin" xmi:id="_Ufn4XTb2EeaDY4APNmfY0g" name="object" incoming="_Ufn4TTb2EeaDY4APNmfY0g" type="_Ufn4ETb2EeaDY4APNmfY0g"/> |
| <result xmi:type="uml:OutputPin" xmi:id="_Ufn4Xjb2EeaDY4APNmfY0g" name="x" outgoing="_Ufn4UDb2EeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Ufn4Xzb2EeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Ufn4YDb2EeaDY4APNmfY0g" value="1"/> |
| </result> |
| </node> |
| <node xmi:type="uml:CallBehaviorAction" xmi:id="_Ufn4YTb2EeaDY4APNmfY0g" name="call>"> |
| <argument xmi:type="uml:InputPin" xmi:id="_Ufn4Yjb2EeaDY4APNmfY0g" name="x" incoming="_Ufn4UDb2EeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Ufn4Yzb2EeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Ufn4ZDb2EeaDY4APNmfY0g" value="1"/> |
| </argument> |
| <argument xmi:type="uml:InputPin" xmi:id="_Ufn4ZTb2EeaDY4APNmfY0g" name="y" incoming="_Ufn4Sjb2EeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Ufn4Zjb2EeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Ufn4Zzb2EeaDY4APNmfY0g" value="1"/> |
| </argument> |
| <result xmi:type="uml:OutputPin" xmi:id="_Ufn4aDb2EeaDY4APNmfY0g" name="result" outgoing="_Ufn4Uzb2EeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="_Ufn4aTb2EeaDY4APNmfY0g" value="1"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Ufn4ajb2EeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Ufn4azb2EeaDY4APNmfY0g" value="1"/> |
| </result> |
| <behavior xmi:type="uml:FunctionBehavior" href="pathmap://PAPYRUS_fUML_LIBRARY/fUML_Library.uml#PrimitiveBehaviors-IntegerFunctions-gt"/> |
| </node> |
| </ownedBehavior> |
| <ownedOperation xmi:type="uml:Operation" xmi:id="_Ufn4bDb2EeaDY4APNmfY0g" name="test" method="_Ufn4Rzb2EeaDY4APNmfY0g"> |
| <ownedParameter xmi:type="uml:Parameter" xmi:id="_Ufn4bTb2EeaDY4APNmfY0g" name="threshold"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| </ownedParameter> |
| <ownedParameter xmi:type="uml:Parameter" xmi:id="_Ufn4bjb2EeaDY4APNmfY0g" name="result" direction="return"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| </ownedParameter> |
| </ownedOperation> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Package" xmi:id="_Ufn4bzb2EeaDY4APNmfY0g" name="Events"> |
| <packagedElement xmi:type="uml:TimeEvent" xmi:id="_Ufn4cDb2EeaDY4APNmfY0g" name="At 2.0"> |
| <when xmi:type="uml:TimeExpression" xmi:id="_Ufn4cTb2EeaDY4APNmfY0g"> |
| <expr xmi:type="uml:LiteralReal" xmi:id="_Ufn4cjb2EeaDY4APNmfY0g" value="2.0"/> |
| </when> |
| </packagedElement> |
| <packagedElement xmi:type="uml:TimeEvent" xmi:id="_Ufn4czb2EeaDY4APNmfY0g" name="After 0.5" isRelative="true"> |
| <when xmi:type="uml:TimeExpression" xmi:id="_Ufn4dDb2EeaDY4APNmfY0g"> |
| <expr xmi:type="uml:LiteralReal" xmi:id="_Ufn4dTb2EeaDY4APNmfY0g" value="0.5"/> |
| </when> |
| </packagedElement> |
| </packagedElement> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Package" xmi:id="_FE7PMDb3EeaDY4APNmfY0g" name="07 - Reacting to changes"> |
| <packagedElement xmi:type="uml:Class" xmi:id="_FE7PMTb3EeaDY4APNmfY0g" name="A" classifierBehavior="_FE7PNjb3EeaDY4APNmfY0g" isActive="true"> |
| <ownedAttribute xmi:type="uml:Port" xmi:id="_FE7PMjb3EeaDY4APNmfY0g" name="x"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <defaultValue xmi:type="uml:LiteralInteger" xmi:id="_FE7PMzb3EeaDY4APNmfY0g"/> |
| </ownedAttribute> |
| <ownedAttribute xmi:type="uml:Port" xmi:id="_FE7PNDb3EeaDY4APNmfY0g" name="y"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| <defaultValue xmi:type="uml:LiteralBoolean" xmi:id="_FE7PNTb3EeaDY4APNmfY0g"/> |
| </ownedAttribute> |
| <ownedBehavior xmi:type="uml:Activity" xmi:id="_FE7PNjb3EeaDY4APNmfY0g" name="AClassifierBehavior" node="_FE7PSjb3EeaDY4APNmfY0g _FE7PSzb3EeaDY4APNmfY0g _FE7PTDb3EeaDY4APNmfY0g _FE7PTjb3EeaDY4APNmfY0g _FE7PUDb3EeaDY4APNmfY0g _FE7PUjb3EeaDY4APNmfY0g _FE7PXjb3EeaDY4APNmfY0g _FE7PYzb3EeaDY4APNmfY0g _FE7PZzb3EeaDY4APNmfY0g"> |
| <edge xmi:type="uml:ControlFlow" xmi:id="_FE7PNzb3EeaDY4APNmfY0g" target="_FE7PTDb3EeaDY4APNmfY0g" source="_FE7PSjb3EeaDY4APNmfY0g"/> |
| <edge xmi:type="uml:ControlFlow" xmi:id="_FE7PODb3EeaDY4APNmfY0g" target="_FE7PUDb3EeaDY4APNmfY0g" source="_FE7PTjb3EeaDY4APNmfY0g"/> |
| <edge xmi:type="uml:ControlFlow" xmi:id="_FE7POTb3EeaDY4APNmfY0g" target="_FE7PTjb3EeaDY4APNmfY0g" source="_FE7PTDb3EeaDY4APNmfY0g"/> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_FE7POjb3EeaDY4APNmfY0g" target="_FE7PUzb3EeaDY4APNmfY0g" source="_FE7PXzb3EeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_FE7POzb3EeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_FE7PPDb3EeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_FE7PPTb3EeaDY4APNmfY0g" target="_FE7PZzb3EeaDY4APNmfY0g" source="_FE7PUTb3EeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_FE7PPjb3EeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_FE7PPzb3EeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_FE7PQDb3EeaDY4APNmfY0g" target="_FE7PWzb3EeaDY4APNmfY0g" source="_FE7PZzb3EeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_FE7PQTb3EeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_FE7PQjb3EeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_FE7PQzb3EeaDY4APNmfY0g" target="_FE7PZDb3EeaDY4APNmfY0g" source="_FE7PZzb3EeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_FE7PRDb3EeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_FE7PRTb3EeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_FE7PRjb3EeaDY4APNmfY0g" target="_FE7PZjb3EeaDY4APNmfY0g" source="_FE7PVzb3EeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_FE7PRzb3EeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_FE7PSDb3EeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ControlFlow" xmi:id="_FE7PSTb3EeaDY4APNmfY0g" target="_FE7PSzb3EeaDY4APNmfY0g" source="_FE7PYzb3EeaDY4APNmfY0g"/> |
| <node xmi:type="uml:InitialNode" xmi:id="_FE7PSjb3EeaDY4APNmfY0g" name="InitialNode1" outgoing="_FE7PNzb3EeaDY4APNmfY0g"/> |
| <node xmi:type="uml:ActivityFinalNode" xmi:id="_FE7PSzb3EeaDY4APNmfY0g" name="ActivityFinalNode1" incoming="_FE7PSTb3EeaDY4APNmfY0g"/> |
| <node xmi:type="uml:AcceptEventAction" xmi:id="_FE7PTDb3EeaDY4APNmfY0g" name="change on x" incoming="_FE7PNzb3EeaDY4APNmfY0g" outgoing="_FE7POTb3EeaDY4APNmfY0g"> |
| <trigger xmi:type="uml:Trigger" xmi:id="_FE7PTTb3EeaDY4APNmfY0g" event="_IukPYDb3EeaDY4APNmfY0g"/> |
| </node> |
| <node xmi:type="uml:AcceptEventAction" xmi:id="_FE7PTjb3EeaDY4APNmfY0g" name="After 0.5" incoming="_FE7POTb3EeaDY4APNmfY0g" outgoing="_FE7PODb3EeaDY4APNmfY0g"> |
| <trigger xmi:type="uml:Trigger" xmi:id="_FE7PTzb3EeaDY4APNmfY0g" event="_FE7PlDb3EeaDY4APNmfY0g"/> |
| </node> |
| <node xmi:type="uml:ReadSelfAction" xmi:id="_FE7PUDb3EeaDY4APNmfY0g" name="self" incoming="_FE7PODb3EeaDY4APNmfY0g"> |
| <result xmi:type="uml:OutputPin" xmi:id="_FE7PUTb3EeaDY4APNmfY0g" name="result" outgoing="_FE7PPTb3EeaDY4APNmfY0g" type="_FE7PNjb3EeaDY4APNmfY0g"/> |
| </node> |
| <node xmi:type="uml:CallOperationAction" xmi:id="_FE7PUjb3EeaDY4APNmfY0g" name="callTest" operation="_FE7PjTb3EeaDY4APNmfY0g"> |
| <argument xmi:type="uml:InputPin" xmi:id="_FE7PUzb3EeaDY4APNmfY0g" name="threshold" incoming="_FE7POjb3EeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="_FE7PVDb3EeaDY4APNmfY0g" value="1"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_FE7PVTb3EeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_FE7PVjb3EeaDY4APNmfY0g" value="1"/> |
| </argument> |
| <result xmi:type="uml:OutputPin" xmi:id="_FE7PVzb3EeaDY4APNmfY0g" name="result" outgoing="_FE7PRjb3EeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="_FE7PWDb3EeaDY4APNmfY0g" value="1"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_FE7PWTb3EeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_FE7PWjb3EeaDY4APNmfY0g" value="1"/> |
| </result> |
| <target xmi:type="uml:InputPin" xmi:id="_FE7PWzb3EeaDY4APNmfY0g" name="target" incoming="_FE7PQDb3EeaDY4APNmfY0g" type="_FE7PMTb3EeaDY4APNmfY0g"> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_FE7PXDb3EeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_FE7PXTb3EeaDY4APNmfY0g" value="1"/> |
| </target> |
| </node> |
| <node xmi:type="uml:ValueSpecificationAction" xmi:id="_FE7PXjb3EeaDY4APNmfY0g" name="2"> |
| <result xmi:type="uml:OutputPin" xmi:id="_FE7PXzb3EeaDY4APNmfY0g" name="result" outgoing="_FE7POjb3EeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="_FE7PYDb3EeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_FE7PYTb3EeaDY4APNmfY0g" value="1"/> |
| </result> |
| <value xmi:type="uml:LiteralInteger" xmi:id="_FE7PYjb3EeaDY4APNmfY0g" value="2"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| </value> |
| </node> |
| <node xmi:type="uml:AddStructuralFeatureValueAction" xmi:id="_FE7PYzb3EeaDY4APNmfY0g" name="setY" outgoing="_FE7PSTb3EeaDY4APNmfY0g" structuralFeature="_FE7PNDb3EeaDY4APNmfY0g" isReplaceAll="true"> |
| <object xmi:type="uml:InputPin" xmi:id="_FE7PZDb3EeaDY4APNmfY0g" name="object" incoming="_FE7PQzb3EeaDY4APNmfY0g" type="_FE7PMTb3EeaDY4APNmfY0g"/> |
| <result xmi:type="uml:OutputPin" xmi:id="_FE7PZTb3EeaDY4APNmfY0g" name="result" type="_FE7PMTb3EeaDY4APNmfY0g"/> |
| <value xmi:type="uml:InputPin" xmi:id="_FE7PZjb3EeaDY4APNmfY0g" name="value" incoming="_FE7PRjb3EeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| </value> |
| </node> |
| <node xmi:type="uml:ForkNode" xmi:id="_FE7PZzb3EeaDY4APNmfY0g" name="ForkNode1" incoming="_FE7PPTb3EeaDY4APNmfY0g" outgoing="_FE7PQDb3EeaDY4APNmfY0g _FE7PQzb3EeaDY4APNmfY0g"/> |
| </ownedBehavior> |
| <ownedBehavior xmi:type="uml:Activity" xmi:id="_FE7PaDb3EeaDY4APNmfY0g" name="testImpl" specification="_FE7PjTb3EeaDY4APNmfY0g" node="_FE7Pdzb3EeaDY4APNmfY0g _FE7PeTb3EeaDY4APNmfY0g _FE7Pezb3EeaDY4APNmfY0g _FE7PfTb3EeaDY4APNmfY0g _FE7Pgjb3EeaDY4APNmfY0g"> |
| <ownedParameter xmi:type="uml:Parameter" xmi:id="_FE7PaTb3EeaDY4APNmfY0g" name="threshold"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| </ownedParameter> |
| <ownedParameter xmi:type="uml:Parameter" xmi:id="_FE7Pajb3EeaDY4APNmfY0g" name="result" direction="return"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| </ownedParameter> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_FE7Pazb3EeaDY4APNmfY0g" target="_FE7Phjb3EeaDY4APNmfY0g" source="_FE7Pdzb3EeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_FE7PbDb3EeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_FE7PbTb3EeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_FE7Pbjb3EeaDY4APNmfY0g" target="_FE7Pfjb3EeaDY4APNmfY0g" source="_FE7PfDb3EeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_FE7Pbzb3EeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_FE7PcDb3EeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_FE7PcTb3EeaDY4APNmfY0g" target="_FE7Pgzb3EeaDY4APNmfY0g" source="_FE7Pfzb3EeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_FE7Pcjb3EeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_FE7Pczb3EeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_FE7PdDb3EeaDY4APNmfY0g" target="_FE7PeTb3EeaDY4APNmfY0g" source="_FE7PiTb3EeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_FE7PdTb3EeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_FE7Pdjb3EeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <node xmi:type="uml:ActivityParameterNode" xmi:id="_FE7Pdzb3EeaDY4APNmfY0g" name="Threshold" outgoing="_FE7Pazb3EeaDY4APNmfY0g" parameter="_FE7PaTb3EeaDY4APNmfY0g"> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="_FE7PeDb3EeaDY4APNmfY0g" value="1"/> |
| </node> |
| <node xmi:type="uml:ActivityParameterNode" xmi:id="_FE7PeTb3EeaDY4APNmfY0g" name="Result" incoming="_FE7PdDb3EeaDY4APNmfY0g" parameter="_FE7Pajb3EeaDY4APNmfY0g"> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="_FE7Pejb3EeaDY4APNmfY0g" value="1"/> |
| </node> |
| <node xmi:type="uml:ReadSelfAction" xmi:id="_FE7Pezb3EeaDY4APNmfY0g" name="self"> |
| <result xmi:type="uml:OutputPin" xmi:id="_FE7PfDb3EeaDY4APNmfY0g" name="result" outgoing="_FE7Pbjb3EeaDY4APNmfY0g" type="_FE7PMTb3EeaDY4APNmfY0g"/> |
| </node> |
| <node xmi:type="uml:ReadStructuralFeatureAction" xmi:id="_FE7PfTb3EeaDY4APNmfY0g" name="readX" structuralFeature="_FE7PMjb3EeaDY4APNmfY0g"> |
| <object xmi:type="uml:InputPin" xmi:id="_FE7Pfjb3EeaDY4APNmfY0g" name="object" incoming="_FE7Pbjb3EeaDY4APNmfY0g" type="_FE7PMTb3EeaDY4APNmfY0g"/> |
| <result xmi:type="uml:OutputPin" xmi:id="_FE7Pfzb3EeaDY4APNmfY0g" name="x" outgoing="_FE7PcTb3EeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_FE7PgDb3EeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_FE7PgTb3EeaDY4APNmfY0g" value="1"/> |
| </result> |
| </node> |
| <node xmi:type="uml:CallBehaviorAction" xmi:id="_FE7Pgjb3EeaDY4APNmfY0g" name="call>"> |
| <argument xmi:type="uml:InputPin" xmi:id="_FE7Pgzb3EeaDY4APNmfY0g" name="x" incoming="_FE7PcTb3EeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_FE7PhDb3EeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_FE7PhTb3EeaDY4APNmfY0g" value="1"/> |
| </argument> |
| <argument xmi:type="uml:InputPin" xmi:id="_FE7Phjb3EeaDY4APNmfY0g" name="y" incoming="_FE7Pazb3EeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_FE7Phzb3EeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_FE7PiDb3EeaDY4APNmfY0g" value="1"/> |
| </argument> |
| <result xmi:type="uml:OutputPin" xmi:id="_FE7PiTb3EeaDY4APNmfY0g" name="result" outgoing="_FE7PdDb3EeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="_FE7Pijb3EeaDY4APNmfY0g" value="1"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_FE7Pizb3EeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_FE7PjDb3EeaDY4APNmfY0g" value="1"/> |
| </result> |
| <behavior xmi:type="uml:FunctionBehavior" href="pathmap://PAPYRUS_fUML_LIBRARY/fUML_Library.uml#PrimitiveBehaviors-IntegerFunctions-gt"/> |
| </node> |
| </ownedBehavior> |
| <ownedOperation xmi:type="uml:Operation" xmi:id="_FE7PjTb3EeaDY4APNmfY0g" name="test" method="_FE7PaDb3EeaDY4APNmfY0g"> |
| <ownedParameter xmi:type="uml:Parameter" xmi:id="_FE7Pjjb3EeaDY4APNmfY0g" name="threshold"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| </ownedParameter> |
| <ownedParameter xmi:type="uml:Parameter" xmi:id="_FE7Pjzb3EeaDY4APNmfY0g" name="result" direction="return"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| </ownedParameter> |
| </ownedOperation> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Package" xmi:id="_FE7PkDb3EeaDY4APNmfY0g" name="Events"> |
| <packagedElement xmi:type="uml:TimeEvent" xmi:id="_FE7PkTb3EeaDY4APNmfY0g" name="At 2.0"> |
| <when xmi:type="uml:TimeExpression" xmi:id="_FE7Pkjb3EeaDY4APNmfY0g"> |
| <expr xmi:type="uml:LiteralReal" xmi:id="_FE7Pkzb3EeaDY4APNmfY0g" value="2.0"/> |
| </when> |
| </packagedElement> |
| <packagedElement xmi:type="uml:TimeEvent" xmi:id="_FE7PlDb3EeaDY4APNmfY0g" name="After 0.5" isRelative="true"> |
| <when xmi:type="uml:TimeExpression" xmi:id="_FE7PlTb3EeaDY4APNmfY0g"> |
| <expr xmi:type="uml:LiteralReal" xmi:id="_FE7Pljb3EeaDY4APNmfY0g" value="0.5"/> |
| </when> |
| </packagedElement> |
| <packagedElement xmi:type="uml:ChangeEvent" xmi:id="_IukPYDb3EeaDY4APNmfY0g" name="Change on x"> |
| <changeExpression xmi:type="uml:LiteralString" xmi:id="_LHX50Db3EeaDY4APNmfY0g" value="x"/> |
| </packagedElement> |
| </packagedElement> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Package" xmi:id="_BNojYDeNEeaDY4APNmfY0g" name="08 - Infinite change loop - V1"> |
| <packagedElement xmi:type="uml:Class" xmi:id="_BNpKcDeNEeaDY4APNmfY0g" name="A" classifierBehavior="_BNpKdTeNEeaDY4APNmfY0g" isActive="true"> |
| <ownedAttribute xmi:type="uml:Port" xmi:id="_BNpKcTeNEeaDY4APNmfY0g" name="x"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <defaultValue xmi:type="uml:LiteralInteger" xmi:id="_BNpKcjeNEeaDY4APNmfY0g"/> |
| </ownedAttribute> |
| <ownedAttribute xmi:type="uml:Port" xmi:id="_BNpKczeNEeaDY4APNmfY0g" name="y"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| <defaultValue xmi:type="uml:LiteralBoolean" xmi:id="_BNpKdDeNEeaDY4APNmfY0g"/> |
| </ownedAttribute> |
| <ownedBehavior xmi:type="uml:Activity" xmi:id="_BNpKdTeNEeaDY4APNmfY0g" name="AClassifierBehavior" node="_BNpKiTeNEeaDY4APNmfY0g _BNpKizeNEeaDY4APNmfY0g _BNpKjTeNEeaDY4APNmfY0g _BNpKjzeNEeaDY4APNmfY0g _BNpKkTeNEeaDY4APNmfY0g _BNpKnTeNEeaDY4APNmfY0g _BNpKojeNEeaDY4APNmfY0g _BNpKpjeNEeaDY4APNmfY0g _FyWEsDeNEeaDY4APNmfY0g"> |
| <edge xmi:type="uml:ControlFlow" xmi:id="_BNpKdzeNEeaDY4APNmfY0g" target="_BNpKjzeNEeaDY4APNmfY0g" source="_BNpKjTeNEeaDY4APNmfY0g"/> |
| <edge xmi:type="uml:ControlFlow" xmi:id="_BNpKeDeNEeaDY4APNmfY0g" target="_BNpKjTeNEeaDY4APNmfY0g" source="_BNpKizeNEeaDY4APNmfY0g"/> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_BNpKeTeNEeaDY4APNmfY0g" target="_BNpKkjeNEeaDY4APNmfY0g" source="_BNpKnjeNEeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_BNpKejeNEeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_BNpKezeNEeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_BNpKfDeNEeaDY4APNmfY0g" target="_BNpKpjeNEeaDY4APNmfY0g" source="_BNpKkDeNEeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_BNpKfTeNEeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_BNpKfjeNEeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_BNpKfzeNEeaDY4APNmfY0g" target="_BNpKmjeNEeaDY4APNmfY0g" source="_BNpKpjeNEeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_BNpKgDeNEeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_BNpKgTeNEeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_BNpKgjeNEeaDY4APNmfY0g" target="_BNpKozeNEeaDY4APNmfY0g" source="_BNpKpjeNEeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_BNpKgzeNEeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_BNpKhDeNEeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_BNpKhTeNEeaDY4APNmfY0g" target="_BNpKpTeNEeaDY4APNmfY0g" source="_BNpKljeNEeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_BNpKhjeNEeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_BNpKhzeNEeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ControlFlow" xmi:id="_BNpKiDeNEeaDY4APNmfY0g" target="_FyWEsDeNEeaDY4APNmfY0g" source="_BNpKojeNEeaDY4APNmfY0g"/> |
| <edge xmi:type="uml:ControlFlow" xmi:id="_Jpi_wDeNEeaDY4APNmfY0g" target="_FyWEsDeNEeaDY4APNmfY0g" source="_BNpKiTeNEeaDY4APNmfY0g"/> |
| <edge xmi:type="uml:ControlFlow" xmi:id="_J_TNUDeNEeaDY4APNmfY0g" target="_BNpKizeNEeaDY4APNmfY0g" source="_FyWEsDeNEeaDY4APNmfY0g"/> |
| <edge xmi:type="uml:ControlFlow" xmi:id="_VkypwDeNEeaDY4APNmfY0g" target="_BNpKnTeNEeaDY4APNmfY0g" source="_BNpKjzeNEeaDY4APNmfY0g"/> |
| <node xmi:type="uml:InitialNode" xmi:id="_BNpKiTeNEeaDY4APNmfY0g" name="InitialNode1" outgoing="_Jpi_wDeNEeaDY4APNmfY0g"/> |
| <node xmi:type="uml:AcceptEventAction" xmi:id="_BNpKizeNEeaDY4APNmfY0g" name="change on x" incoming="_J_TNUDeNEeaDY4APNmfY0g" outgoing="_BNpKeDeNEeaDY4APNmfY0g"> |
| <trigger xmi:type="uml:Trigger" xmi:id="_BNpKjDeNEeaDY4APNmfY0g" event="_BNpK1jeNEeaDY4APNmfY0g"/> |
| </node> |
| <node xmi:type="uml:AcceptEventAction" xmi:id="_BNpKjTeNEeaDY4APNmfY0g" name="After 0.5" incoming="_BNpKeDeNEeaDY4APNmfY0g" outgoing="_BNpKdzeNEeaDY4APNmfY0g"> |
| <trigger xmi:type="uml:Trigger" xmi:id="_BNpKjjeNEeaDY4APNmfY0g" event="_BNpK0zeNEeaDY4APNmfY0g"/> |
| </node> |
| <node xmi:type="uml:ReadSelfAction" xmi:id="_BNpKjzeNEeaDY4APNmfY0g" name="self" incoming="_BNpKdzeNEeaDY4APNmfY0g" outgoing="_VkypwDeNEeaDY4APNmfY0g"> |
| <result xmi:type="uml:OutputPin" xmi:id="_BNpKkDeNEeaDY4APNmfY0g" name="result" outgoing="_BNpKfDeNEeaDY4APNmfY0g" type="_BNpKdTeNEeaDY4APNmfY0g"/> |
| </node> |
| <node xmi:type="uml:CallOperationAction" xmi:id="_BNpKkTeNEeaDY4APNmfY0g" name="callTest" operation="_BNpKzDeNEeaDY4APNmfY0g"> |
| <argument xmi:type="uml:InputPin" xmi:id="_BNpKkjeNEeaDY4APNmfY0g" name="threshold" incoming="_BNpKeTeNEeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="_BNpKkzeNEeaDY4APNmfY0g" value="1"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_BNpKlDeNEeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_BNpKlTeNEeaDY4APNmfY0g" value="1"/> |
| </argument> |
| <result xmi:type="uml:OutputPin" xmi:id="_BNpKljeNEeaDY4APNmfY0g" name="result" outgoing="_BNpKhTeNEeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="_BNpKlzeNEeaDY4APNmfY0g" value="1"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_BNpKmDeNEeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_BNpKmTeNEeaDY4APNmfY0g" value="1"/> |
| </result> |
| <target xmi:type="uml:InputPin" xmi:id="_BNpKmjeNEeaDY4APNmfY0g" name="target" incoming="_BNpKfzeNEeaDY4APNmfY0g" type="_BNpKcDeNEeaDY4APNmfY0g"> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_BNpKmzeNEeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_BNpKnDeNEeaDY4APNmfY0g" value="1"/> |
| </target> |
| </node> |
| <node xmi:type="uml:ValueSpecificationAction" xmi:id="_BNpKnTeNEeaDY4APNmfY0g" name="2" incoming="_VkypwDeNEeaDY4APNmfY0g"> |
| <result xmi:type="uml:OutputPin" xmi:id="_BNpKnjeNEeaDY4APNmfY0g" name="result" outgoing="_BNpKeTeNEeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="_BNpKnzeNEeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_BNpKoDeNEeaDY4APNmfY0g" value="1"/> |
| </result> |
| <value xmi:type="uml:LiteralInteger" xmi:id="_BNpKoTeNEeaDY4APNmfY0g" value="2"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| </value> |
| </node> |
| <node xmi:type="uml:AddStructuralFeatureValueAction" xmi:id="_BNpKojeNEeaDY4APNmfY0g" name="setY" outgoing="_BNpKiDeNEeaDY4APNmfY0g" structuralFeature="_BNpKczeNEeaDY4APNmfY0g" isReplaceAll="true"> |
| <object xmi:type="uml:InputPin" xmi:id="_BNpKozeNEeaDY4APNmfY0g" name="object" incoming="_BNpKgjeNEeaDY4APNmfY0g" type="_BNpKcDeNEeaDY4APNmfY0g"/> |
| <result xmi:type="uml:OutputPin" xmi:id="_BNpKpDeNEeaDY4APNmfY0g" name="result" type="_BNpKcDeNEeaDY4APNmfY0g"/> |
| <value xmi:type="uml:InputPin" xmi:id="_BNpKpTeNEeaDY4APNmfY0g" name="value" incoming="_BNpKhTeNEeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| </value> |
| </node> |
| <node xmi:type="uml:ForkNode" xmi:id="_BNpKpjeNEeaDY4APNmfY0g" name="ForkNode1" incoming="_BNpKfDeNEeaDY4APNmfY0g" outgoing="_BNpKfzeNEeaDY4APNmfY0g _BNpKgjeNEeaDY4APNmfY0g"/> |
| <node xmi:type="uml:MergeNode" xmi:id="_FyWEsDeNEeaDY4APNmfY0g" name="MergeNode1" incoming="_BNpKiDeNEeaDY4APNmfY0g _Jpi_wDeNEeaDY4APNmfY0g" outgoing="_J_TNUDeNEeaDY4APNmfY0g"/> |
| </ownedBehavior> |
| <ownedBehavior xmi:type="uml:Activity" xmi:id="_BNpKpzeNEeaDY4APNmfY0g" name="testImpl" specification="_BNpKzDeNEeaDY4APNmfY0g" node="_BNpKtjeNEeaDY4APNmfY0g _BNpKuDeNEeaDY4APNmfY0g _BNpKujeNEeaDY4APNmfY0g _BNpKvDeNEeaDY4APNmfY0g _BNpKwTeNEeaDY4APNmfY0g"> |
| <ownedParameter xmi:type="uml:Parameter" xmi:id="_BNpKqDeNEeaDY4APNmfY0g" name="threshold"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| </ownedParameter> |
| <ownedParameter xmi:type="uml:Parameter" xmi:id="_BNpKqTeNEeaDY4APNmfY0g" name="result" direction="return"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| </ownedParameter> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_BNpKqjeNEeaDY4APNmfY0g" target="_BNpKxTeNEeaDY4APNmfY0g" source="_BNpKtjeNEeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_BNpKqzeNEeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_BNpKrDeNEeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_BNpKrTeNEeaDY4APNmfY0g" target="_BNpKvTeNEeaDY4APNmfY0g" source="_BNpKuzeNEeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_BNpKrjeNEeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_BNpKrzeNEeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_BNpKsDeNEeaDY4APNmfY0g" target="_BNpKwjeNEeaDY4APNmfY0g" source="_BNpKvjeNEeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_BNpKsTeNEeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_BNpKsjeNEeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_BNpKszeNEeaDY4APNmfY0g" target="_BNpKuDeNEeaDY4APNmfY0g" source="_BNpKyDeNEeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_BNpKtDeNEeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_BNpKtTeNEeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <node xmi:type="uml:ActivityParameterNode" xmi:id="_BNpKtjeNEeaDY4APNmfY0g" name="Threshold" outgoing="_BNpKqjeNEeaDY4APNmfY0g" parameter="_BNpKqDeNEeaDY4APNmfY0g"> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="_BNpKtzeNEeaDY4APNmfY0g" value="1"/> |
| </node> |
| <node xmi:type="uml:ActivityParameterNode" xmi:id="_BNpKuDeNEeaDY4APNmfY0g" name="Result" incoming="_BNpKszeNEeaDY4APNmfY0g" parameter="_BNpKqTeNEeaDY4APNmfY0g"> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="_BNpKuTeNEeaDY4APNmfY0g" value="1"/> |
| </node> |
| <node xmi:type="uml:ReadSelfAction" xmi:id="_BNpKujeNEeaDY4APNmfY0g" name="self"> |
| <result xmi:type="uml:OutputPin" xmi:id="_BNpKuzeNEeaDY4APNmfY0g" name="result" outgoing="_BNpKrTeNEeaDY4APNmfY0g" type="_BNpKcDeNEeaDY4APNmfY0g"/> |
| </node> |
| <node xmi:type="uml:ReadStructuralFeatureAction" xmi:id="_BNpKvDeNEeaDY4APNmfY0g" name="readX" structuralFeature="_BNpKcTeNEeaDY4APNmfY0g"> |
| <object xmi:type="uml:InputPin" xmi:id="_BNpKvTeNEeaDY4APNmfY0g" name="object" incoming="_BNpKrTeNEeaDY4APNmfY0g" type="_BNpKcDeNEeaDY4APNmfY0g"/> |
| <result xmi:type="uml:OutputPin" xmi:id="_BNpKvjeNEeaDY4APNmfY0g" name="x" outgoing="_BNpKsDeNEeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_BNpKvzeNEeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_BNpKwDeNEeaDY4APNmfY0g" value="1"/> |
| </result> |
| </node> |
| <node xmi:type="uml:CallBehaviorAction" xmi:id="_BNpKwTeNEeaDY4APNmfY0g" name="call>"> |
| <argument xmi:type="uml:InputPin" xmi:id="_BNpKwjeNEeaDY4APNmfY0g" name="x" incoming="_BNpKsDeNEeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_BNpKwzeNEeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_BNpKxDeNEeaDY4APNmfY0g" value="1"/> |
| </argument> |
| <argument xmi:type="uml:InputPin" xmi:id="_BNpKxTeNEeaDY4APNmfY0g" name="y" incoming="_BNpKqjeNEeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_BNpKxjeNEeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_BNpKxzeNEeaDY4APNmfY0g" value="1"/> |
| </argument> |
| <result xmi:type="uml:OutputPin" xmi:id="_BNpKyDeNEeaDY4APNmfY0g" name="result" outgoing="_BNpKszeNEeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="_BNpKyTeNEeaDY4APNmfY0g" value="1"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_BNpKyjeNEeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_BNpKyzeNEeaDY4APNmfY0g" value="1"/> |
| </result> |
| <behavior xmi:type="uml:FunctionBehavior" href="pathmap://PAPYRUS_fUML_LIBRARY/fUML_Library.uml#PrimitiveBehaviors-IntegerFunctions-gt"/> |
| </node> |
| </ownedBehavior> |
| <ownedOperation xmi:type="uml:Operation" xmi:id="_BNpKzDeNEeaDY4APNmfY0g" name="test" method="_BNpKpzeNEeaDY4APNmfY0g"> |
| <ownedParameter xmi:type="uml:Parameter" xmi:id="_BNpKzTeNEeaDY4APNmfY0g" name="threshold"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| </ownedParameter> |
| <ownedParameter xmi:type="uml:Parameter" xmi:id="_BNpKzjeNEeaDY4APNmfY0g" name="result" direction="return"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| </ownedParameter> |
| </ownedOperation> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Package" xmi:id="_BNpKzzeNEeaDY4APNmfY0g" name="Events"> |
| <packagedElement xmi:type="uml:TimeEvent" xmi:id="_BNpK0DeNEeaDY4APNmfY0g" name="At 2.0"> |
| <when xmi:type="uml:TimeExpression" xmi:id="_BNpK0TeNEeaDY4APNmfY0g"> |
| <expr xmi:type="uml:LiteralReal" xmi:id="_BNpK0jeNEeaDY4APNmfY0g" value="2.0"/> |
| </when> |
| </packagedElement> |
| <packagedElement xmi:type="uml:TimeEvent" xmi:id="_BNpK0zeNEeaDY4APNmfY0g" name="After 0.5" isRelative="true"> |
| <when xmi:type="uml:TimeExpression" xmi:id="_BNpK1DeNEeaDY4APNmfY0g"> |
| <expr xmi:type="uml:LiteralReal" xmi:id="_BNpK1TeNEeaDY4APNmfY0g" value="0.5"/> |
| </when> |
| </packagedElement> |
| <packagedElement xmi:type="uml:ChangeEvent" xmi:id="_BNpK1jeNEeaDY4APNmfY0g" name="Change on x"> |
| <changeExpression xmi:type="uml:LiteralString" xmi:id="_BNpK1zeNEeaDY4APNmfY0g" value="x"/> |
| </packagedElement> |
| </packagedElement> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Package" xmi:id="_jHN3gDeOEeaDY4APNmfY0g" name="09 - Infinite change loop - V2"> |
| <packagedElement xmi:type="uml:Class" xmi:id="_jHN3gTeOEeaDY4APNmfY0g" name="A" classifierBehavior="_jHN3hjeOEeaDY4APNmfY0g" isActive="true"> |
| <ownedAttribute xmi:type="uml:Port" xmi:id="_jHN3gjeOEeaDY4APNmfY0g" name="x"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <defaultValue xmi:type="uml:LiteralInteger" xmi:id="_jHN3gzeOEeaDY4APNmfY0g"/> |
| </ownedAttribute> |
| <ownedAttribute xmi:type="uml:Port" xmi:id="_jHN3hDeOEeaDY4APNmfY0g" name="y"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| <defaultValue xmi:type="uml:LiteralBoolean" xmi:id="_jHN3hTeOEeaDY4APNmfY0g"/> |
| </ownedAttribute> |
| <ownedBehavior xmi:type="uml:Activity" xmi:id="_jHN3hjeOEeaDY4APNmfY0g" name="AClassifierBehavior" node="_jHN3nTeOEeaDY4APNmfY0g _jHN3nzeOEeaDY4APNmfY0g _jHN3oTeOEeaDY4APNmfY0g _jHN3ozeOEeaDY4APNmfY0g _jHN3rzeOEeaDY4APNmfY0g _jHN3tDeOEeaDY4APNmfY0g _jHN3uDeOEeaDY4APNmfY0g"> |
| <edge xmi:type="uml:ControlFlow" xmi:id="_jHN3hzeOEeaDY4APNmfY0g" target="_jHN3oTeOEeaDY4APNmfY0g" source="_jHN3nzeOEeaDY4APNmfY0g"/> |
| <edge xmi:type="uml:ControlFlow" xmi:id="_jHN3iDeOEeaDY4APNmfY0g" target="_jHN3nzeOEeaDY4APNmfY0g" source="_jHN3nTeOEeaDY4APNmfY0g"/> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_jHN3iTeOEeaDY4APNmfY0g" target="_jHN3pDeOEeaDY4APNmfY0g" source="_jHN3sDeOEeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_jHN3ijeOEeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_jHN3izeOEeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_jHN3jDeOEeaDY4APNmfY0g" target="_jHN3uDeOEeaDY4APNmfY0g" source="_jHN3ojeOEeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_jHN3jTeOEeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_jHN3jjeOEeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_jHN3jzeOEeaDY4APNmfY0g" target="_jHN3rDeOEeaDY4APNmfY0g" source="_jHN3uDeOEeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_jHN3kDeOEeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_jHN3kTeOEeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_jHN3kjeOEeaDY4APNmfY0g" target="_jHN3tTeOEeaDY4APNmfY0g" source="_jHN3uDeOEeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_jHN3kzeOEeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_jHN3lDeOEeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_jHN3lTeOEeaDY4APNmfY0g" target="_jHN3tzeOEeaDY4APNmfY0g" source="_jHN3qDeOEeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_jHN3ljeOEeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_jHN3lzeOEeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ControlFlow" xmi:id="_jHN3mzeOEeaDY4APNmfY0g" target="_jHN3rzeOEeaDY4APNmfY0g" source="_jHN3oTeOEeaDY4APNmfY0g"/> |
| <node xmi:type="uml:AcceptEventAction" xmi:id="_jHN3nTeOEeaDY4APNmfY0g" name="change on x" outgoing="_jHN3iDeOEeaDY4APNmfY0g"> |
| <trigger xmi:type="uml:Trigger" xmi:id="_jHN3njeOEeaDY4APNmfY0g" event="_jHN36TeOEeaDY4APNmfY0g"/> |
| </node> |
| <node xmi:type="uml:AcceptEventAction" xmi:id="_jHN3nzeOEeaDY4APNmfY0g" name="After 0.5" incoming="_jHN3iDeOEeaDY4APNmfY0g" outgoing="_jHN3hzeOEeaDY4APNmfY0g"> |
| <trigger xmi:type="uml:Trigger" xmi:id="_jHN3oDeOEeaDY4APNmfY0g" event="_jHN35jeOEeaDY4APNmfY0g"/> |
| </node> |
| <node xmi:type="uml:ReadSelfAction" xmi:id="_jHN3oTeOEeaDY4APNmfY0g" name="self" incoming="_jHN3hzeOEeaDY4APNmfY0g" outgoing="_jHN3mzeOEeaDY4APNmfY0g"> |
| <result xmi:type="uml:OutputPin" xmi:id="_jHN3ojeOEeaDY4APNmfY0g" name="result" outgoing="_jHN3jDeOEeaDY4APNmfY0g" type="_jHN3hjeOEeaDY4APNmfY0g"/> |
| </node> |
| <node xmi:type="uml:CallOperationAction" xmi:id="_jHN3ozeOEeaDY4APNmfY0g" name="callTest" operation="_jHN33zeOEeaDY4APNmfY0g"> |
| <argument xmi:type="uml:InputPin" xmi:id="_jHN3pDeOEeaDY4APNmfY0g" name="threshold" incoming="_jHN3iTeOEeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="_jHN3pTeOEeaDY4APNmfY0g" value="1"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_jHN3pjeOEeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_jHN3pzeOEeaDY4APNmfY0g" value="1"/> |
| </argument> |
| <result xmi:type="uml:OutputPin" xmi:id="_jHN3qDeOEeaDY4APNmfY0g" name="result" outgoing="_jHN3lTeOEeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="_jHN3qTeOEeaDY4APNmfY0g" value="1"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_jHN3qjeOEeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_jHN3qzeOEeaDY4APNmfY0g" value="1"/> |
| </result> |
| <target xmi:type="uml:InputPin" xmi:id="_jHN3rDeOEeaDY4APNmfY0g" name="target" incoming="_jHN3jzeOEeaDY4APNmfY0g" type="_jHN3gTeOEeaDY4APNmfY0g"> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_jHN3rTeOEeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_jHN3rjeOEeaDY4APNmfY0g" value="1"/> |
| </target> |
| </node> |
| <node xmi:type="uml:ValueSpecificationAction" xmi:id="_jHN3rzeOEeaDY4APNmfY0g" name="2" incoming="_jHN3mzeOEeaDY4APNmfY0g"> |
| <result xmi:type="uml:OutputPin" xmi:id="_jHN3sDeOEeaDY4APNmfY0g" name="result" outgoing="_jHN3iTeOEeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="_jHN3sTeOEeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_jHN3sjeOEeaDY4APNmfY0g" value="1"/> |
| </result> |
| <value xmi:type="uml:LiteralInteger" xmi:id="_jHN3szeOEeaDY4APNmfY0g" value="2"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| </value> |
| </node> |
| <node xmi:type="uml:AddStructuralFeatureValueAction" xmi:id="_jHN3tDeOEeaDY4APNmfY0g" name="setY" structuralFeature="_jHN3hDeOEeaDY4APNmfY0g" isReplaceAll="true"> |
| <object xmi:type="uml:InputPin" xmi:id="_jHN3tTeOEeaDY4APNmfY0g" name="object" incoming="_jHN3kjeOEeaDY4APNmfY0g" type="_jHN3gTeOEeaDY4APNmfY0g"/> |
| <result xmi:type="uml:OutputPin" xmi:id="_jHN3tjeOEeaDY4APNmfY0g" name="result" type="_jHN3gTeOEeaDY4APNmfY0g"/> |
| <value xmi:type="uml:InputPin" xmi:id="_jHN3tzeOEeaDY4APNmfY0g" name="value" incoming="_jHN3lTeOEeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| </value> |
| </node> |
| <node xmi:type="uml:ForkNode" xmi:id="_jHN3uDeOEeaDY4APNmfY0g" name="ForkNode1" incoming="_jHN3jDeOEeaDY4APNmfY0g" outgoing="_jHN3jzeOEeaDY4APNmfY0g _jHN3kjeOEeaDY4APNmfY0g"/> |
| </ownedBehavior> |
| <ownedBehavior xmi:type="uml:Activity" xmi:id="_jHN3ujeOEeaDY4APNmfY0g" name="testImpl" specification="_jHN33zeOEeaDY4APNmfY0g" node="_jHN3yTeOEeaDY4APNmfY0g _jHN3yzeOEeaDY4APNmfY0g _jHN3zTeOEeaDY4APNmfY0g _jHN3zzeOEeaDY4APNmfY0g _jHN31DeOEeaDY4APNmfY0g"> |
| <ownedParameter xmi:type="uml:Parameter" xmi:id="_jHN3uzeOEeaDY4APNmfY0g" name="threshold"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| </ownedParameter> |
| <ownedParameter xmi:type="uml:Parameter" xmi:id="_jHN3vDeOEeaDY4APNmfY0g" name="result" direction="return"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| </ownedParameter> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_jHN3vTeOEeaDY4APNmfY0g" target="_jHN32DeOEeaDY4APNmfY0g" source="_jHN3yTeOEeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_jHN3vjeOEeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_jHN3vzeOEeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_jHN3wDeOEeaDY4APNmfY0g" target="_jHN30DeOEeaDY4APNmfY0g" source="_jHN3zjeOEeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_jHN3wTeOEeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_jHN3wjeOEeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_jHN3wzeOEeaDY4APNmfY0g" target="_jHN31TeOEeaDY4APNmfY0g" source="_jHN30TeOEeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_jHN3xDeOEeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_jHN3xTeOEeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_jHN3xjeOEeaDY4APNmfY0g" target="_jHN3yzeOEeaDY4APNmfY0g" source="_jHN32zeOEeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_jHN3xzeOEeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_jHN3yDeOEeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <node xmi:type="uml:ActivityParameterNode" xmi:id="_jHN3yTeOEeaDY4APNmfY0g" name="Threshold" outgoing="_jHN3vTeOEeaDY4APNmfY0g" parameter="_jHN3uzeOEeaDY4APNmfY0g"> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="_jHN3yjeOEeaDY4APNmfY0g" value="1"/> |
| </node> |
| <node xmi:type="uml:ActivityParameterNode" xmi:id="_jHN3yzeOEeaDY4APNmfY0g" name="Result" incoming="_jHN3xjeOEeaDY4APNmfY0g" parameter="_jHN3vDeOEeaDY4APNmfY0g"> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="_jHN3zDeOEeaDY4APNmfY0g" value="1"/> |
| </node> |
| <node xmi:type="uml:ReadSelfAction" xmi:id="_jHN3zTeOEeaDY4APNmfY0g" name="self"> |
| <result xmi:type="uml:OutputPin" xmi:id="_jHN3zjeOEeaDY4APNmfY0g" name="result" outgoing="_jHN3wDeOEeaDY4APNmfY0g" type="_jHN3gTeOEeaDY4APNmfY0g"/> |
| </node> |
| <node xmi:type="uml:ReadStructuralFeatureAction" xmi:id="_jHN3zzeOEeaDY4APNmfY0g" name="readX" structuralFeature="_jHN3gjeOEeaDY4APNmfY0g"> |
| <object xmi:type="uml:InputPin" xmi:id="_jHN30DeOEeaDY4APNmfY0g" name="object" incoming="_jHN3wDeOEeaDY4APNmfY0g" type="_jHN3gTeOEeaDY4APNmfY0g"/> |
| <result xmi:type="uml:OutputPin" xmi:id="_jHN30TeOEeaDY4APNmfY0g" name="x" outgoing="_jHN3wzeOEeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_jHN30jeOEeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_jHN30zeOEeaDY4APNmfY0g" value="1"/> |
| </result> |
| </node> |
| <node xmi:type="uml:CallBehaviorAction" xmi:id="_jHN31DeOEeaDY4APNmfY0g" name="call>"> |
| <argument xmi:type="uml:InputPin" xmi:id="_jHN31TeOEeaDY4APNmfY0g" name="x" incoming="_jHN3wzeOEeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_jHN31jeOEeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_jHN31zeOEeaDY4APNmfY0g" value="1"/> |
| </argument> |
| <argument xmi:type="uml:InputPin" xmi:id="_jHN32DeOEeaDY4APNmfY0g" name="y" incoming="_jHN3vTeOEeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_jHN32TeOEeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_jHN32jeOEeaDY4APNmfY0g" value="1"/> |
| </argument> |
| <result xmi:type="uml:OutputPin" xmi:id="_jHN32zeOEeaDY4APNmfY0g" name="result" outgoing="_jHN3xjeOEeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="_jHN33DeOEeaDY4APNmfY0g" value="1"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_jHN33TeOEeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_jHN33jeOEeaDY4APNmfY0g" value="1"/> |
| </result> |
| <behavior xmi:type="uml:FunctionBehavior" href="pathmap://PAPYRUS_fUML_LIBRARY/fUML_Library.uml#PrimitiveBehaviors-IntegerFunctions-gt"/> |
| </node> |
| </ownedBehavior> |
| <ownedOperation xmi:type="uml:Operation" xmi:id="_jHN33zeOEeaDY4APNmfY0g" name="test" method="_jHN3ujeOEeaDY4APNmfY0g"> |
| <ownedParameter xmi:type="uml:Parameter" xmi:id="_jHN34DeOEeaDY4APNmfY0g" name="threshold"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| </ownedParameter> |
| <ownedParameter xmi:type="uml:Parameter" xmi:id="_jHN34TeOEeaDY4APNmfY0g" name="result" direction="return"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| </ownedParameter> |
| </ownedOperation> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Package" xmi:id="_jHN34jeOEeaDY4APNmfY0g" name="Events"> |
| <packagedElement xmi:type="uml:TimeEvent" xmi:id="_jHN34zeOEeaDY4APNmfY0g" name="At 2.0"> |
| <when xmi:type="uml:TimeExpression" xmi:id="_jHN35DeOEeaDY4APNmfY0g"> |
| <expr xmi:type="uml:LiteralReal" xmi:id="_jHN35TeOEeaDY4APNmfY0g" value="2.0"/> |
| </when> |
| </packagedElement> |
| <packagedElement xmi:type="uml:TimeEvent" xmi:id="_jHN35jeOEeaDY4APNmfY0g" name="After 0.5" isRelative="true"> |
| <when xmi:type="uml:TimeExpression" xmi:id="_jHN35zeOEeaDY4APNmfY0g"> |
| <expr xmi:type="uml:LiteralReal" xmi:id="_jHN36DeOEeaDY4APNmfY0g" value="0.5"/> |
| </when> |
| </packagedElement> |
| <packagedElement xmi:type="uml:ChangeEvent" xmi:id="_jHN36TeOEeaDY4APNmfY0g" name="Change on x"> |
| <changeExpression xmi:type="uml:LiteralString" xmi:id="_jHN36jeOEeaDY4APNmfY0g" value="x"/> |
| </packagedElement> |
| </packagedElement> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Package" xmi:id="_EsJU0DeREeaDY4APNmfY0g" name="10 - Test and loop"> |
| <packagedElement xmi:type="uml:Class" xmi:id="_EsJU0TeREeaDY4APNmfY0g" name="A" classifierBehavior="_EsJU1jeREeaDY4APNmfY0g" isActive="true"> |
| <ownedAttribute xmi:type="uml:Port" xmi:id="_EsJU0jeREeaDY4APNmfY0g" name="x"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <defaultValue xmi:type="uml:LiteralInteger" xmi:id="_EsJU0zeREeaDY4APNmfY0g"/> |
| </ownedAttribute> |
| <ownedAttribute xmi:type="uml:Port" xmi:id="_EsJU1DeREeaDY4APNmfY0g" name="y"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| <defaultValue xmi:type="uml:LiteralBoolean" xmi:id="_EsJU1TeREeaDY4APNmfY0g"/> |
| </ownedAttribute> |
| <ownedBehavior xmi:type="uml:Activity" xmi:id="_EsJU1jeREeaDY4APNmfY0g" name="AClassifierBehavior" node="_EsJU7DeREeaDY4APNmfY0g _EsJU7TeREeaDY4APNmfY0g _EsJU7zeREeaDY4APNmfY0g _EsJU8TeREeaDY4APNmfY0g _EsJU8zeREeaDY4APNmfY0g _EsJU_zeREeaDY4APNmfY0g _EsJVBDeREeaDY4APNmfY0g _EsJVCDeREeaDY4APNmfY0g _EsJVCTeREeaDY4APNmfY0g _Koc7MDeREeaDY4APNmfY0g _MbAd8DeREeaDY4APNmfY0g _XEQUkDeREeaDY4APNmfY0g"> |
| <edge xmi:type="uml:ControlFlow" xmi:id="_EsJU1zeREeaDY4APNmfY0g" target="_EsJU8TeREeaDY4APNmfY0g" source="_EsJU7zeREeaDY4APNmfY0g"/> |
| <edge xmi:type="uml:ControlFlow" xmi:id="_EsJU2DeREeaDY4APNmfY0g" target="_EsJU7zeREeaDY4APNmfY0g" source="_EsJU7TeREeaDY4APNmfY0g"/> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_EsJU2TeREeaDY4APNmfY0g" target="_EsJU9DeREeaDY4APNmfY0g" source="_EsJVADeREeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_EsJU2jeREeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_EsJU2zeREeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_EsJU3DeREeaDY4APNmfY0g" target="_EsJVCDeREeaDY4APNmfY0g" source="_EsJU8jeREeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_EsJU3TeREeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_EsJU3jeREeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_EsJU3zeREeaDY4APNmfY0g" target="_EsJU_DeREeaDY4APNmfY0g" source="_EsJVCDeREeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_EsJU4DeREeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_EsJU4TeREeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_EsJU4jeREeaDY4APNmfY0g" target="_EsJVBTeREeaDY4APNmfY0g" source="_EsJVCDeREeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_EsJU4zeREeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_EsJU5DeREeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ControlFlow" xmi:id="_EsJU6TeREeaDY4APNmfY0g" target="_EsJVCTeREeaDY4APNmfY0g" source="_EsJU7DeREeaDY4APNmfY0g"/> |
| <edge xmi:type="uml:ControlFlow" xmi:id="_EsJU6jeREeaDY4APNmfY0g" target="_EsJU7TeREeaDY4APNmfY0g" source="_EsJVCTeREeaDY4APNmfY0g"/> |
| <edge xmi:type="uml:ControlFlow" xmi:id="_EsJU6zeREeaDY4APNmfY0g" target="_EsJU_zeREeaDY4APNmfY0g" source="_EsJU8TeREeaDY4APNmfY0g"/> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_OosdgDeREeaDY4APNmfY0g" target="_EsJVBzeREeaDY4APNmfY0g" source="_Koc7MDeREeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_OpB0sDeREeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_OpCbwDeREeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_PXmK4DeREeaDY4APNmfY0g" target="_Koc7MDeREeaDY4APNmfY0g" source="_EsJU-DeREeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_PX9XQDeREeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_PX9-UDeREeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_QIjtwDeREeaDY4APNmfY0g" target="_MbAd8DeREeaDY4APNmfY0g" source="_Koc7MDeREeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_QI8IQDeREeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_QI8IQTeREeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ControlFlow" xmi:id="_YNi34DeREeaDY4APNmfY0g" target="_XEQUkDeREeaDY4APNmfY0g" source="_MbAd8DeREeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_ZHOR4DeREeaDY4APNmfY0g" value="true"/> |
| </edge> |
| <edge xmi:type="uml:ControlFlow" xmi:id="_Z-X8UDeREeaDY4APNmfY0g" target="_EsJVCTeREeaDY4APNmfY0g" source="_MbAd8DeREeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_bneBEDeREeaDY4APNmfY0g"/> |
| </edge> |
| <node xmi:type="uml:InitialNode" xmi:id="_EsJU7DeREeaDY4APNmfY0g" name="InitialNode1" outgoing="_EsJU6TeREeaDY4APNmfY0g"/> |
| <node xmi:type="uml:AcceptEventAction" xmi:id="_EsJU7TeREeaDY4APNmfY0g" name="change on x" incoming="_EsJU6jeREeaDY4APNmfY0g" outgoing="_EsJU2DeREeaDY4APNmfY0g"> |
| <trigger xmi:type="uml:Trigger" xmi:id="_EsJU7jeREeaDY4APNmfY0g" event="_EsJVOTeREeaDY4APNmfY0g"/> |
| </node> |
| <node xmi:type="uml:AcceptEventAction" xmi:id="_EsJU7zeREeaDY4APNmfY0g" name="After 0.5" incoming="_EsJU2DeREeaDY4APNmfY0g" outgoing="_EsJU1zeREeaDY4APNmfY0g"> |
| <trigger xmi:type="uml:Trigger" xmi:id="_EsJU8DeREeaDY4APNmfY0g" event="_EsJVNjeREeaDY4APNmfY0g"/> |
| </node> |
| <node xmi:type="uml:ReadSelfAction" xmi:id="_EsJU8TeREeaDY4APNmfY0g" name="self" incoming="_EsJU1zeREeaDY4APNmfY0g" outgoing="_EsJU6zeREeaDY4APNmfY0g"> |
| <result xmi:type="uml:OutputPin" xmi:id="_EsJU8jeREeaDY4APNmfY0g" name="result" outgoing="_EsJU3DeREeaDY4APNmfY0g" type="_EsJU1jeREeaDY4APNmfY0g"/> |
| </node> |
| <node xmi:type="uml:CallOperationAction" xmi:id="_EsJU8zeREeaDY4APNmfY0g" name="callTest" operation="_EsJVLzeREeaDY4APNmfY0g"> |
| <argument xmi:type="uml:InputPin" xmi:id="_EsJU9DeREeaDY4APNmfY0g" name="threshold" incoming="_EsJU2TeREeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="_EsJU9TeREeaDY4APNmfY0g" value="1"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_EsJU9jeREeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_EsJU9zeREeaDY4APNmfY0g" value="1"/> |
| </argument> |
| <result xmi:type="uml:OutputPin" xmi:id="_EsJU-DeREeaDY4APNmfY0g" name="result" outgoing="_PXmK4DeREeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="_EsJU-TeREeaDY4APNmfY0g" value="1"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_EsJU-jeREeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_EsJU-zeREeaDY4APNmfY0g" value="1"/> |
| </result> |
| <target xmi:type="uml:InputPin" xmi:id="_EsJU_DeREeaDY4APNmfY0g" name="target" incoming="_EsJU3zeREeaDY4APNmfY0g" type="_EsJU0TeREeaDY4APNmfY0g"> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_EsJU_TeREeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_EsJU_jeREeaDY4APNmfY0g" value="1"/> |
| </target> |
| </node> |
| <node xmi:type="uml:ValueSpecificationAction" xmi:id="_EsJU_zeREeaDY4APNmfY0g" name="2" incoming="_EsJU6zeREeaDY4APNmfY0g"> |
| <result xmi:type="uml:OutputPin" xmi:id="_EsJVADeREeaDY4APNmfY0g" name="result" outgoing="_EsJU2TeREeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="_EsJVATeREeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_EsJVAjeREeaDY4APNmfY0g" value="1"/> |
| </result> |
| <value xmi:type="uml:LiteralInteger" xmi:id="_EsJVAzeREeaDY4APNmfY0g" value="2"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| </value> |
| </node> |
| <node xmi:type="uml:AddStructuralFeatureValueAction" xmi:id="_EsJVBDeREeaDY4APNmfY0g" name="setY" structuralFeature="_EsJU1DeREeaDY4APNmfY0g" isReplaceAll="true"> |
| <object xmi:type="uml:InputPin" xmi:id="_EsJVBTeREeaDY4APNmfY0g" name="object" incoming="_EsJU4jeREeaDY4APNmfY0g" type="_EsJU0TeREeaDY4APNmfY0g"/> |
| <result xmi:type="uml:OutputPin" xmi:id="_EsJVBjeREeaDY4APNmfY0g" name="result" type="_EsJU0TeREeaDY4APNmfY0g"/> |
| <value xmi:type="uml:InputPin" xmi:id="_EsJVBzeREeaDY4APNmfY0g" name="value" incoming="_OosdgDeREeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| </value> |
| </node> |
| <node xmi:type="uml:ForkNode" xmi:id="_EsJVCDeREeaDY4APNmfY0g" name="ForkNode1" incoming="_EsJU3DeREeaDY4APNmfY0g" outgoing="_EsJU3zeREeaDY4APNmfY0g _EsJU4jeREeaDY4APNmfY0g"/> |
| <node xmi:type="uml:MergeNode" xmi:id="_EsJVCTeREeaDY4APNmfY0g" name="MergeNode1" incoming="_EsJU6TeREeaDY4APNmfY0g _Z-X8UDeREeaDY4APNmfY0g" outgoing="_EsJU6jeREeaDY4APNmfY0g"/> |
| <node xmi:type="uml:ForkNode" xmi:id="_Koc7MDeREeaDY4APNmfY0g" name="ForkNode2" incoming="_PXmK4DeREeaDY4APNmfY0g" outgoing="_OosdgDeREeaDY4APNmfY0g _QIjtwDeREeaDY4APNmfY0g"/> |
| <node xmi:type="uml:DecisionNode" xmi:id="_MbAd8DeREeaDY4APNmfY0g" name="DecisionNode1" incoming="_QIjtwDeREeaDY4APNmfY0g" outgoing="_YNi34DeREeaDY4APNmfY0g _Z-X8UDeREeaDY4APNmfY0g"/> |
| <node xmi:type="uml:ActivityFinalNode" xmi:id="_XEQUkDeREeaDY4APNmfY0g" name="ActivityFinalNode1" incoming="_YNi34DeREeaDY4APNmfY0g"/> |
| </ownedBehavior> |
| <ownedBehavior xmi:type="uml:Activity" xmi:id="_EsJVCjeREeaDY4APNmfY0g" name="testImpl" specification="_EsJVLzeREeaDY4APNmfY0g" node="_EsJVGTeREeaDY4APNmfY0g _EsJVGzeREeaDY4APNmfY0g _EsJVHTeREeaDY4APNmfY0g _EsJVHzeREeaDY4APNmfY0g _EsJVJDeREeaDY4APNmfY0g"> |
| <ownedParameter xmi:type="uml:Parameter" xmi:id="_EsJVCzeREeaDY4APNmfY0g" name="threshold"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| </ownedParameter> |
| <ownedParameter xmi:type="uml:Parameter" xmi:id="_EsJVDDeREeaDY4APNmfY0g" name="result" direction="return"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| </ownedParameter> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_EsJVDTeREeaDY4APNmfY0g" target="_EsJVKDeREeaDY4APNmfY0g" source="_EsJVGTeREeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_EsJVDjeREeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_EsJVDzeREeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_EsJVEDeREeaDY4APNmfY0g" target="_EsJVIDeREeaDY4APNmfY0g" source="_EsJVHjeREeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_EsJVETeREeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_EsJVEjeREeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_EsJVEzeREeaDY4APNmfY0g" target="_EsJVJTeREeaDY4APNmfY0g" source="_EsJVITeREeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_EsJVFDeREeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_EsJVFTeREeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <edge xmi:type="uml:ObjectFlow" xmi:id="_EsJVFjeREeaDY4APNmfY0g" target="_EsJVGzeREeaDY4APNmfY0g" source="_EsJVKzeREeaDY4APNmfY0g"> |
| <guard xmi:type="uml:LiteralBoolean" xmi:id="_EsJVFzeREeaDY4APNmfY0g" value="true"/> |
| <weight xmi:type="uml:LiteralInteger" xmi:id="_EsJVGDeREeaDY4APNmfY0g" value="1"/> |
| </edge> |
| <node xmi:type="uml:ActivityParameterNode" xmi:id="_EsJVGTeREeaDY4APNmfY0g" name="Threshold" outgoing="_EsJVDTeREeaDY4APNmfY0g" parameter="_EsJVCzeREeaDY4APNmfY0g"> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="_EsJVGjeREeaDY4APNmfY0g" value="1"/> |
| </node> |
| <node xmi:type="uml:ActivityParameterNode" xmi:id="_EsJVGzeREeaDY4APNmfY0g" name="Result" incoming="_EsJVFjeREeaDY4APNmfY0g" parameter="_EsJVDDeREeaDY4APNmfY0g"> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="_EsJVHDeREeaDY4APNmfY0g" value="1"/> |
| </node> |
| <node xmi:type="uml:ReadSelfAction" xmi:id="_EsJVHTeREeaDY4APNmfY0g" name="self"> |
| <result xmi:type="uml:OutputPin" xmi:id="_EsJVHjeREeaDY4APNmfY0g" name="result" outgoing="_EsJVEDeREeaDY4APNmfY0g" type="_EsJU0TeREeaDY4APNmfY0g"/> |
| </node> |
| <node xmi:type="uml:ReadStructuralFeatureAction" xmi:id="_EsJVHzeREeaDY4APNmfY0g" name="readX" structuralFeature="_EsJU0jeREeaDY4APNmfY0g"> |
| <object xmi:type="uml:InputPin" xmi:id="_EsJVIDeREeaDY4APNmfY0g" name="object" incoming="_EsJVEDeREeaDY4APNmfY0g" type="_EsJU0TeREeaDY4APNmfY0g"/> |
| <result xmi:type="uml:OutputPin" xmi:id="_EsJVITeREeaDY4APNmfY0g" name="x" outgoing="_EsJVEzeREeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_EsJVIjeREeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_EsJVIzeREeaDY4APNmfY0g" value="1"/> |
| </result> |
| </node> |
| <node xmi:type="uml:CallBehaviorAction" xmi:id="_EsJVJDeREeaDY4APNmfY0g" name="call>"> |
| <argument xmi:type="uml:InputPin" xmi:id="_EsJVJTeREeaDY4APNmfY0g" name="x" incoming="_EsJVEzeREeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_EsJVJjeREeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_EsJVJzeREeaDY4APNmfY0g" value="1"/> |
| </argument> |
| <argument xmi:type="uml:InputPin" xmi:id="_EsJVKDeREeaDY4APNmfY0g" name="y" incoming="_EsJVDTeREeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_EsJVKTeREeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_EsJVKjeREeaDY4APNmfY0g" value="1"/> |
| </argument> |
| <result xmi:type="uml:OutputPin" xmi:id="_EsJVKzeREeaDY4APNmfY0g" name="result" outgoing="_EsJVFjeREeaDY4APNmfY0g"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| <upperBound xmi:type="uml:LiteralInteger" xmi:id="_EsJVLDeREeaDY4APNmfY0g" value="1"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_EsJVLTeREeaDY4APNmfY0g" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_EsJVLjeREeaDY4APNmfY0g" value="1"/> |
| </result> |
| <behavior xmi:type="uml:FunctionBehavior" href="pathmap://PAPYRUS_fUML_LIBRARY/fUML_Library.uml#PrimitiveBehaviors-IntegerFunctions-gt"/> |
| </node> |
| </ownedBehavior> |
| <ownedOperation xmi:type="uml:Operation" xmi:id="_EsJVLzeREeaDY4APNmfY0g" name="test" method="_EsJVCjeREeaDY4APNmfY0g"> |
| <ownedParameter xmi:type="uml:Parameter" xmi:id="_EsJVMDeREeaDY4APNmfY0g" name="threshold"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> |
| </ownedParameter> |
| <ownedParameter xmi:type="uml:Parameter" xmi:id="_EsJVMTeREeaDY4APNmfY0g" name="result" direction="return"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> |
| </ownedParameter> |
| </ownedOperation> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Package" xmi:id="_EsJVMjeREeaDY4APNmfY0g" name="Events"> |
| <packagedElement xmi:type="uml:TimeEvent" xmi:id="_EsJVMzeREeaDY4APNmfY0g" name="At 2.0"> |
| <when xmi:type="uml:TimeExpression" xmi:id="_EsJVNDeREeaDY4APNmfY0g"> |
| <expr xmi:type="uml:LiteralReal" xmi:id="_EsJVNTeREeaDY4APNmfY0g" value="2.0"/> |
| </when> |
| </packagedElement> |
| <packagedElement xmi:type="uml:TimeEvent" xmi:id="_EsJVNjeREeaDY4APNmfY0g" name="After 0.5" isRelative="true"> |
| <when xmi:type="uml:TimeExpression" xmi:id="_EsJVNzeREeaDY4APNmfY0g"> |
| <expr xmi:type="uml:LiteralReal" xmi:id="_EsJVODeREeaDY4APNmfY0g" value="0.5"/> |
| </when> |
| </packagedElement> |
| <packagedElement xmi:type="uml:ChangeEvent" xmi:id="_EsJVOTeREeaDY4APNmfY0g" name="Change on x"> |
| <changeExpression xmi:type="uml:LiteralString" xmi:id="_EsJVOjeREeaDY4APNmfY0g" value="x"/> |
| </packagedElement> |
| </packagedElement> |
| </packagedElement> |
| <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_U1C6ADbsEeaDY4APNmfY0g"> |
| <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_U1DhEDbsEeaDY4APNmfY0g" source="http://www.eclipse.org/uml2/2.0.0/UML"> |
| <references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/FMIProfile/1.0.0#/"/> |
| </eAnnotations> |
| <appliedProfile xmi:type="uml:Profile" href="pathmap://PAPYRUS_FMI_PROFILE/FMI.profile.uml#__Ki3oKvFEeSXqKqlHzx1gA"/> |
| </profileApplication> |
| </uml:Model> |
| <fmiprofile:CS_FMU xmi:id="_kFbT0DbsEeaDY4APNmfY0g" base_Class="_hi5FoDbsEeaDY4APNmfY0g"/> |
| <fmiprofile:Port xmi:id="_xGDcEDbtEeaDY4APNmfY0g" base_Property="_qDf_UDbtEeaDY4APNmfY0g"/> |
| <fmiprofile:Port xmi:id="_zOP3oDbtEeaDY4APNmfY0g" base_Property="_stLXUDbtEeaDY4APNmfY0g" valueReference="1" direction="out"/> |
| <fmiprofile:CS_FMU xmi:id="_fkXRgDbuEeaDY4APNmfY0g" base_Class="_fkTnITbuEeaDY4APNmfY0g"/> |
| <fmiprofile:Port xmi:id="_fkZGsDbuEeaDY4APNmfY0g" base_Property="_fkTnIjbuEeaDY4APNmfY0g"/> |
| <fmiprofile:Port xmi:id="_fkZtwDbuEeaDY4APNmfY0g" base_Property="_fkTnJDbuEeaDY4APNmfY0g" valueReference="1" direction="out"/> |
| <fmiprofile:CS_FMU xmi:id="_sLrh4DbvEeaDY4APNmfY0g" base_Class="_sLU8kTbvEeaDY4APNmfY0g"/> |
| <fmiprofile:Port xmi:id="_sLsI8DbvEeaDY4APNmfY0g" base_Property="_sLU8kjbvEeaDY4APNmfY0g"/> |
| <fmiprofile:Port xmi:id="_sLswADbvEeaDY4APNmfY0g" base_Property="_sLU8lDbvEeaDY4APNmfY0g" valueReference="1" direction="out"/> |
| <fmiprofile:CS_FMU xmi:id="_iIX0cDbwEeaDY4APNmfY0g" base_Class="_iIODcTbwEeaDY4APNmfY0g"/> |
| <fmiprofile:Port xmi:id="_iIZCkDbwEeaDY4APNmfY0g" base_Property="_iIODcjbwEeaDY4APNmfY0g"/> |
| <fmiprofile:Port xmi:id="_iIZpoDbwEeaDY4APNmfY0g" base_Property="_iIODdDbwEeaDY4APNmfY0g" valueReference="1" direction="out"/> |
| <fmiprofile:CS_FMU xmi:id="_xQLZsDbzEeaDY4APNmfY0g" base_Class="_xP67ATbzEeaDY4APNmfY0g"/> |
| <fmiprofile:Port xmi:id="_xQMn0DbzEeaDY4APNmfY0g" base_Property="_xP67AjbzEeaDY4APNmfY0g"/> |
| <fmiprofile:Port xmi:id="_xQNO4DbzEeaDY4APNmfY0g" base_Property="_xP67BDbzEeaDY4APNmfY0g" valueReference="1" direction="out"/> |
| <fmiprofile:CS_FMU xmi:id="_UftXoDb2EeaDY4APNmfY0g" base_Class="_Ufn4ETb2EeaDY4APNmfY0g"/> |
| <fmiprofile:Port xmi:id="_Uft-sDb2EeaDY4APNmfY0g" base_Property="_Ufn4Ejb2EeaDY4APNmfY0g"/> |
| <fmiprofile:Port xmi:id="_UfulwDb2EeaDY4APNmfY0g" base_Property="_Ufn4FDb2EeaDY4APNmfY0g" valueReference="1" direction="out"/> |
| <fmiprofile:CS_FMU xmi:id="_FFG1YDb3EeaDY4APNmfY0g" base_Class="_FE7PMTb3EeaDY4APNmfY0g"/> |
| <fmiprofile:Port xmi:id="_FFHccDb3EeaDY4APNmfY0g" base_Property="_FE7PMjb3EeaDY4APNmfY0g"/> |
| <fmiprofile:Port xmi:id="_FFIqkDb3EeaDY4APNmfY0g" base_Property="_FE7PNDb3EeaDY4APNmfY0g" valueReference="1" direction="out"/> |
| <fmiprofile:CS_FMU xmi:id="_BNxGQDeNEeaDY4APNmfY0g" base_Class="_BNpKcDeNEeaDY4APNmfY0g"/> |
| <fmiprofile:Port xmi:id="_BNy7cDeNEeaDY4APNmfY0g" base_Property="_BNpKcTeNEeaDY4APNmfY0g"/> |
| <fmiprofile:Port xmi:id="_BNzigDeNEeaDY4APNmfY0g" base_Property="_BNpKczeNEeaDY4APNmfY0g" valueReference="1" direction="out"/> |
| <fmiprofile:CS_FMU xmi:id="_jHVMQDeOEeaDY4APNmfY0g" base_Class="_jHN3gTeOEeaDY4APNmfY0g"/> |
| <fmiprofile:Port xmi:id="_jHVzUDeOEeaDY4APNmfY0g" base_Property="_jHN3gjeOEeaDY4APNmfY0g"/> |
| <fmiprofile:Port xmi:id="_jHVzUTeOEeaDY4APNmfY0g" base_Property="_jHN3hDeOEeaDY4APNmfY0g" valueReference="1" direction="out"/> |
| <fmiprofile:CS_FMU xmi:id="_EsQCgDeREeaDY4APNmfY0g" base_Class="_EsJU0TeREeaDY4APNmfY0g"/> |
| <fmiprofile:Port xmi:id="_EsRQoDeREeaDY4APNmfY0g" base_Property="_EsJU0jeREeaDY4APNmfY0g"/> |
| <fmiprofile:Port xmi:id="_EsR3sDeREeaDY4APNmfY0g" base_Property="_EsJU1DeREeaDY4APNmfY0g" valueReference="1" direction="out"/> |
| </xmi:XMI> |
