Skip to content
Snippets Groups Projects

Compare revisions

Changes are shown as if the source revision was being merged into the target revision. Learn more about comparing revisions.

Source

Select target project
No results found

Target

Select target project
  • trappejo/semesterprojekt-modulbasiertes-testen
1 result
Show changes
Hide whitespace changes
Inline Side-by-side
Showing
with 316 additions and 0 deletions
src/test/testfaelle/Test19.uml 0 → 100644
View file @ 97711c36
<?xml version="1.0" encoding="UTF-8"?>
<uml:Model xmi:version="20131001" xmlns:xmi="http://www.omg.org/spec/XMI/20131001" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML" xmi:id="_wSJZEBEkEeqcA7mMSE3b-A" name="Test19">
<packageImport xmi:type="uml:PackageImport" xmi:id="_wUOcsBEkEeqcA7mMSE3b-A">
<importedPackage xmi:type="uml:Model" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#_0"/>
</packageImport>
<packagedElement xmi:type="uml:Activity" xmi:id="_sz7wUBElEeqcA7mMSE3b-A" name="Activity" node="_7EGDQBElEeqcA7mMSE3b-A _8WVuQBElEeqcA7mMSE3b-A _8peKADhTEeqhK-Tr1AkfpA _PSC0ADz8EeqwwvtZSXxI_A _8Pbz0Dz9EeqwwvtZSXxI_A">
<ownedComment xmi:type="uml:Comment" xmi:id="_N2YasDbPEeqLi4nplbzrvQ" annotatedElement="_8WVuQBElEeqcA7mMSE3b-A">
<body>t=0</body>
</ownedComment>
<ownedComment xmi:type="uml:Comment" xmi:id="_5xeOgDz7EeqwwvtZSXxI_A" annotatedElement="_sz7wUBElEeqcA7mMSE3b-A">
<body>t=0</body>
</ownedComment>
<ownedComment xmi:type="uml:Comment" xmi:id="_XECJoDz8EeqwwvtZSXxI_A" annotatedElement="_PSC0ADz8EeqwwvtZSXxI_A">
<body>t >=30&#xD;
</body>
</ownedComment>
<edge xmi:type="uml:ControlFlow" xmi:id="_USsZsBEmEeqcA7mMSE3b-A" target="_8WVuQBElEeqcA7mMSE3b-A" source="_7EGDQBElEeqcA7mMSE3b-A"/>
<edge xmi:type="uml:ControlFlow" xmi:id="_2srn0Dz7EeqwwvtZSXxI_A" target="_8peKADhTEeqhK-Tr1AkfpA" source="_8WVuQBElEeqcA7mMSE3b-A"/>
<edge xmi:type="uml:ControlFlow" xmi:id="_Sb6vADz8EeqwwvtZSXxI_A" target="_PSC0ADz8EeqwwvtZSXxI_A" source="_8peKADhTEeqhK-Tr1AkfpA"/>
<edge xmi:type="uml:ControlFlow" xmi:id="_g_viwEUpEeq-Z_ECULnOOQ" target="_8Pbz0Dz9EeqwwvtZSXxI_A" source="_PSC0ADz8EeqwwvtZSXxI_A"/>
<node xmi:type="uml:InitialNode" xmi:id="_7EGDQBElEeqcA7mMSE3b-A" name="Start" outgoing="_USsZsBEmEeqcA7mMSE3b-A"/>
<node xmi:type="uml:OpaqueAction" xmi:id="_8WVuQBElEeqcA7mMSE3b-A" name="spawn: vehicle f(x=1, y=1)" incoming="_USsZsBEmEeqcA7mMSE3b-A" outgoing="_2srn0Dz7EeqwwvtZSXxI_A"/>
<node xmi:type="uml:OpaqueAction" xmi:id="_8peKADhTEeqhK-Tr1AkfpA" name="spawn: obstacle s= sphere (x=1, y=5, r=0.1)" incoming="_2srn0Dz7EeqwwvtZSXxI_A" outgoing="_Sb6vADz8EeqwwvtZSXxI_A"/>
<node xmi:type="uml:OpaqueAction" xmi:id="_PSC0ADz8EeqwwvtZSXxI_A" name="constraint: distance(f, s) in [1, 2]" visibility="protected" incoming="_Sb6vADz8EeqwwvtZSXxI_A" outgoing="_g_viwEUpEeq-Z_ECULnOOQ"/>
<node xmi:type="uml:FlowFinalNode" xmi:id="_8Pbz0Dz9EeqwwvtZSXxI_A" name="Final_Node" incoming="_g_viwEUpEeq-Z_ECULnOOQ"/>
</packagedElement>
</uml:Model>
src/test/testfaelle/Test2.uml 0 → 100644
View file @ 97711c36
<?xml version="1.0" encoding="UTF-8"?>
<uml:Model xmi:version="20131001" xmlns:xmi="http://www.omg.org/spec/XMI/20131001" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML" xmi:id="_wSJZEBEkEeqcA7mMSE3b-A" name="Test2">
<packageImport xmi:type="uml:PackageImport" xmi:id="_wUOcsBEkEeqcA7mMSE3b-A">
<importedPackage xmi:type="uml:Model" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#_0"/>
</packageImport>
<packagedElement xmi:type="uml:Activity" xmi:id="_sz7wUBElEeqcA7mMSE3b-A" name="Activity" node="_7EGDQBElEeqcA7mMSE3b-A _8WVuQBElEeqcA7mMSE3b-A _8peKADhTEeqhK-Tr1AkfpA _PSC0ADz8EeqwwvtZSXxI_A _8Pbz0Dz9EeqwwvtZSXxI_A">
<ownedComment xmi:type="uml:Comment" xmi:id="_N2YasDbPEeqLi4nplbzrvQ" annotatedElement="_8WVuQBElEeqcA7mMSE3b-A">
<body>t=0</body>
</ownedComment>
<ownedComment xmi:type="uml:Comment" xmi:id="_5xeOgDz7EeqwwvtZSXxI_A" annotatedElement="_sz7wUBElEeqcA7mMSE3b-A">
<body>t=0</body>
</ownedComment>
<ownedComment xmi:type="uml:Comment" xmi:id="_XECJoDz8EeqwwvtZSXxI_A" annotatedElement="_PSC0ADz8EeqwwvtZSXxI_A">
<body>t >=30</body>
</ownedComment>
<edge xmi:type="uml:ControlFlow" xmi:id="_USsZsBEmEeqcA7mMSE3b-A" target="_8WVuQBElEeqcA7mMSE3b-A" source="_7EGDQBElEeqcA7mMSE3b-A"/>
<edge xmi:type="uml:ControlFlow" xmi:id="_2srn0Dz7EeqwwvtZSXxI_A" target="_8peKADhTEeqhK-Tr1AkfpA" source="_8WVuQBElEeqcA7mMSE3b-A"/>
<edge xmi:type="uml:ControlFlow" xmi:id="_Sb6vADz8EeqwwvtZSXxI_A" target="_PSC0ADz8EeqwwvtZSXxI_A" source="_8peKADhTEeqhK-Tr1AkfpA"/>
<edge xmi:type="uml:ControlFlow" xmi:id="_g_viwEUpEeq-Z_ECULnOOQ" target="_8Pbz0Dz9EeqwwvtZSXxI_A" source="_PSC0ADz8EeqwwvtZSXxI_A"/>
<node xmi:type="uml:InitialNode" xmi:id="_7EGDQBElEeqcA7mMSE3b-A" name="Start" outgoing="_USsZsBEmEeqcA7mMSE3b-A"/>
<node xmi:type="uml:OpaqueAction" xmi:id="_8WVuQBElEeqcA7mMSE3b-A" name="spawn: vehicle f(x=0, y=5)" incoming="_USsZsBEmEeqcA7mMSE3b-A" outgoing="_2srn0Dz7EeqwwvtZSXxI_A"/>
<node xmi:type="uml:OpaqueAction" xmi:id="_8peKADhTEeqhK-Tr1AkfpA" name="spawn: obstacle s= sphere (x=5, y=5, r=1)" incoming="_2srn0Dz7EeqwwvtZSXxI_A" outgoing="_Sb6vADz8EeqwwvtZSXxI_A"/>
<node xmi:type="uml:OpaqueAction" xmi:id="_PSC0ADz8EeqwwvtZSXxI_A" name="constraint: distance(f, s) in [0.5, 2]" visibility="protected" incoming="_Sb6vADz8EeqwwvtZSXxI_A" outgoing="_g_viwEUpEeq-Z_ECULnOOQ"/>
<node xmi:type="uml:FlowFinalNode" xmi:id="_8Pbz0Dz9EeqwwvtZSXxI_A" name="Final_Node" incoming="_g_viwEUpEeq-Z_ECULnOOQ"/>
</packagedElement>
</uml:Model>
src/test/testfaelle/Test20.uml 0 → 100644
View file @ 97711c36
<?xml version="1.0" encoding="UTF-8"?>
<uml:Model xmi:version="20131001" xmlns:xmi="http://www.omg.org/spec/XMI/20131001" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML" xmi:id="_wSJZEBEkEeqcA7mMSE3b-A" name="Test20">
<packageImport xmi:type="uml:PackageImport" xmi:id="_wUOcsBEkEeqcA7mMSE3b-A">
<importedPackage xmi:type="uml:Model" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#_0"/>
</packageImport>
<packagedElement xmi:type="uml:Activity" xmi:id="_sz7wUBElEeqcA7mMSE3b-A" name="Activity" node="_7EGDQBElEeqcA7mMSE3b-A _8WVuQBElEeqcA7mMSE3b-A _8peKADhTEeqhK-Tr1AkfpA _PSC0ADz8EeqwwvtZSXxI_A _8Pbz0Dz9EeqwwvtZSXxI_A">
<ownedComment xmi:type="uml:Comment" xmi:id="_N2YasDbPEeqLi4nplbzrvQ" annotatedElement="_8WVuQBElEeqcA7mMSE3b-A">
<body>t=0</body>
</ownedComment>
<ownedComment xmi:type="uml:Comment" xmi:id="_5xeOgDz7EeqwwvtZSXxI_A" annotatedElement="_sz7wUBElEeqcA7mMSE3b-A">
<body>t=0</body>
</ownedComment>
<ownedComment xmi:type="uml:Comment" xmi:id="_XECJoDz8EeqwwvtZSXxI_A" annotatedElement="_PSC0ADz8EeqwwvtZSXxI_A">
<body>t >=30&#xD;
</body>
</ownedComment>
<edge xmi:type="uml:ControlFlow" xmi:id="_USsZsBEmEeqcA7mMSE3b-A" target="_8WVuQBElEeqcA7mMSE3b-A" source="_7EGDQBElEeqcA7mMSE3b-A"/>
<edge xmi:type="uml:ControlFlow" xmi:id="_2srn0Dz7EeqwwvtZSXxI_A" target="_8peKADhTEeqhK-Tr1AkfpA" source="_8WVuQBElEeqcA7mMSE3b-A"/>
<edge xmi:type="uml:ControlFlow" xmi:id="_Sb6vADz8EeqwwvtZSXxI_A" target="_PSC0ADz8EeqwwvtZSXxI_A" source="_8peKADhTEeqhK-Tr1AkfpA"/>
<edge xmi:type="uml:ControlFlow" xmi:id="_g_viwEUpEeq-Z_ECULnOOQ" target="_8Pbz0Dz9EeqwwvtZSXxI_A" source="_PSC0ADz8EeqwwvtZSXxI_A"/>
<node xmi:type="uml:InitialNode" xmi:id="_7EGDQBElEeqcA7mMSE3b-A" name="Start" outgoing="_USsZsBEmEeqcA7mMSE3b-A"/>
<node xmi:type="uml:OpaqueAction" xmi:id="_8WVuQBElEeqcA7mMSE3b-A" name="spawn: vehicle f(x=1, y=1)" incoming="_USsZsBEmEeqcA7mMSE3b-A" outgoing="_2srn0Dz7EeqwwvtZSXxI_A"/>
<node xmi:type="uml:OpaqueAction" xmi:id="_8peKADhTEeqhK-Tr1AkfpA" name="spawn: obstacle s= sphere(x=1, y=5, r=1)" incoming="_2srn0Dz7EeqwwvtZSXxI_A" outgoing="_Sb6vADz8EeqwwvtZSXxI_A"/>
<node xmi:type="uml:OpaqueAction" xmi:id="_PSC0ADz8EeqwwvtZSXxI_A" name="constraint: distance(f, s) in [1, 2]" visibility="protected" incoming="_Sb6vADz8EeqwwvtZSXxI_A" outgoing="_g_viwEUpEeq-Z_ECULnOOQ"/>
<node xmi:type="uml:FlowFinalNode" xmi:id="_8Pbz0Dz9EeqwwvtZSXxI_A" name="Final_Node" incoming="_g_viwEUpEeq-Z_ECULnOOQ"/>
</packagedElement>
</uml:Model>
src/test/testfaelle/Test21.uml 0 → 100644
View file @ 97711c36
<?xml version="1.0" encoding="UTF-8"?>
<uml:Model xmi:version="20131001" xmlns:xmi="http://www.omg.org/spec/XMI/20131001" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML" xmi:id="_wSJZEBEkEeqcA7mMSE3b-A" name="Test21">
<packageImport xmi:type="uml:PackageImport" xmi:id="_wUOcsBEkEeqcA7mMSE3b-A">
<importedPackage xmi:type="uml:Model" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#_0"/>
</packageImport>
<packagedElement xmi:type="uml:Activity" xmi:id="_sz7wUBElEeqcA7mMSE3b-A" name="Activity" node="_7EGDQBElEeqcA7mMSE3b-A _8WVuQBElEeqcA7mMSE3b-A _8peKADhTEeqhK-Tr1AkfpA _PSC0ADz8EeqwwvtZSXxI_A _8Pbz0Dz9EeqwwvtZSXxI_A">
<ownedComment xmi:type="uml:Comment" xmi:id="_N2YasDbPEeqLi4nplbzrvQ" annotatedElement="_8WVuQBElEeqcA7mMSE3b-A">
<body>t=0</body>
</ownedComment>
<ownedComment xmi:type="uml:Comment" xmi:id="_5xeOgDz7EeqwwvtZSXxI_A" annotatedElement="_sz7wUBElEeqcA7mMSE3b-A">
<body>t=0</body>
</ownedComment>
<ownedComment xmi:type="uml:Comment" xmi:id="_XECJoDz8EeqwwvtZSXxI_A" annotatedElement="_PSC0ADz8EeqwwvtZSXxI_A">
<body>t >=30&#xD;
</body>
</ownedComment>
<edge xmi:type="uml:ControlFlow" xmi:id="_USsZsBEmEeqcA7mMSE3b-A" target="_8WVuQBElEeqcA7mMSE3b-A" source="_7EGDQBElEeqcA7mMSE3b-A"/>
<edge xmi:type="uml:ControlFlow" xmi:id="_2srn0Dz7EeqwwvtZSXxI_A" target="_8peKADhTEeqhK-Tr1AkfpA" source="_8WVuQBElEeqcA7mMSE3b-A"/>
<edge xmi:type="uml:ControlFlow" xmi:id="_Sb6vADz8EeqwwvtZSXxI_A" target="_PSC0ADz8EeqwwvtZSXxI_A" source="_8peKADhTEeqhK-Tr1AkfpA"/>
<edge xmi:type="uml:ControlFlow" xmi:id="_g_viwEUpEeq-Z_ECULnOOQ" target="_8Pbz0Dz9EeqwwvtZSXxI_A" source="_PSC0ADz8EeqwwvtZSXxI_A"/>
<node xmi:type="uml:InitialNode" xmi:id="_7EGDQBElEeqcA7mMSE3b-A" name="Start" outgoing="_USsZsBEmEeqcA7mMSE3b-A"/>
<node xmi:type="uml:OpaqueAction" xmi:id="_8WVuQBElEeqcA7mMSE3b-A" name="spawn: vehicle f(x=1, y=1)" incoming="_USsZsBEmEeqcA7mMSE3b-A" outgoing="_2srn0Dz7EeqwwvtZSXxI_A"/>
<node xmi:type="uml:OpaqueAction" xmi:id="_8peKADhTEeqhK-Tr1AkfpA" name="spawn: obstacle s= sphere(x=3, y=5, r=0.1,)" incoming="_2srn0Dz7EeqwwvtZSXxI_A" outgoing="_Sb6vADz8EeqwwvtZSXxI_A"/>
<node xmi:type="uml:OpaqueAction" xmi:id="_PSC0ADz8EeqwwvtZSXxI_A" name="constraint: distance(f, s) in [0.5, 2]" visibility="protected" incoming="_Sb6vADz8EeqwwvtZSXxI_A" outgoing="_g_viwEUpEeq-Z_ECULnOOQ"/>
<node xmi:type="uml:FlowFinalNode" xmi:id="_8Pbz0Dz9EeqwwvtZSXxI_A" name="Final_Node" incoming="_g_viwEUpEeq-Z_ECULnOOQ"/>
</packagedElement>
</uml:Model>
src/test/testfaelle/Test22.uml 0 → 100644
View file @ 97711c36
<?xml version="1.0" encoding="UTF-8"?>
<uml:Model xmi:version="20131001" xmlns:xmi="http://www.omg.org/spec/XMI/20131001" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML" xmi:id="_wSJZEBEkEeqcA7mMSE3b-A" name="Test22">
<packageImport xmi:type="uml:PackageImport" xmi:id="_wUOcsBEkEeqcA7mMSE3b-A">
<importedPackage xmi:type="uml:Model" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#_0"/>
</packageImport>
<packagedElement xmi:type="uml:Activity" xmi:id="_sz7wUBElEeqcA7mMSE3b-A" name="Activity" node="_7EGDQBElEeqcA7mMSE3b-A _8WVuQBElEeqcA7mMSE3b-A _8peKADhTEeqhK-Tr1AkfpA _PSC0ADz8EeqwwvtZSXxI_A _8Pbz0Dz9EeqwwvtZSXxI_A">
<ownedComment xmi:type="uml:Comment" xmi:id="_N2YasDbPEeqLi4nplbzrvQ" annotatedElement="_8WVuQBElEeqcA7mMSE3b-A">
<body>t=0</body>
</ownedComment>
<ownedComment xmi:type="uml:Comment" xmi:id="_5xeOgDz7EeqwwvtZSXxI_A" annotatedElement="_sz7wUBElEeqcA7mMSE3b-A">
<body>t=0</body>
</ownedComment>
<ownedComment xmi:type="uml:Comment" xmi:id="_XECJoDz8EeqwwvtZSXxI_A" annotatedElement="_PSC0ADz8EeqwwvtZSXxI_A">
<body>t >=30&#xD;
</body>
</ownedComment>
<edge xmi:type="uml:ControlFlow" xmi:id="_USsZsBEmEeqcA7mMSE3b-A" target="_8WVuQBElEeqcA7mMSE3b-A" source="_7EGDQBElEeqcA7mMSE3b-A"/>
<edge xmi:type="uml:ControlFlow" xmi:id="_2srn0Dz7EeqwwvtZSXxI_A" target="_8peKADhTEeqhK-Tr1AkfpA" source="_8WVuQBElEeqcA7mMSE3b-A"/>
<edge xmi:type="uml:ControlFlow" xmi:id="_Sb6vADz8EeqwwvtZSXxI_A" target="_PSC0ADz8EeqwwvtZSXxI_A" source="_8peKADhTEeqhK-Tr1AkfpA"/>
<edge xmi:type="uml:ControlFlow" xmi:id="_g_viwEUpEeq-Z_ECULnOOQ" target="_8Pbz0Dz9EeqwwvtZSXxI_A" source="_PSC0ADz8EeqwwvtZSXxI_A"/>
<node xmi:type="uml:InitialNode" xmi:id="_7EGDQBElEeqcA7mMSE3b-A" name="Start" outgoing="_USsZsBEmEeqcA7mMSE3b-A"/>
<node xmi:type="uml:OpaqueAction" xmi:id="_8WVuQBElEeqcA7mMSE3b-A" name="spawn: vehicle f(x=1, y=1)" incoming="_USsZsBEmEeqcA7mMSE3b-A" outgoing="_2srn0Dz7EeqwwvtZSXxI_A"/>
<node xmi:type="uml:OpaqueAction" xmi:id="_8peKADhTEeqhK-Tr1AkfpA" name="spawn: obstacle s= sphere (x=3, y=5, r=1)" incoming="_2srn0Dz7EeqwwvtZSXxI_A" outgoing="_Sb6vADz8EeqwwvtZSXxI_A"/>
<node xmi:type="uml:OpaqueAction" xmi:id="_PSC0ADz8EeqwwvtZSXxI_A" name="constraint: distance(f, s) in [0.5, 2]" visibility="protected" incoming="_Sb6vADz8EeqwwvtZSXxI_A" outgoing="_g_viwEUpEeq-Z_ECULnOOQ"/>
<node xmi:type="uml:FlowFinalNode" xmi:id="_8Pbz0Dz9EeqwwvtZSXxI_A" name="Final_Node" incoming="_g_viwEUpEeq-Z_ECULnOOQ"/>
</packagedElement>
</uml:Model>
src/test/testfaelle/Test3.uml 0 → 100644
View file @ 97711c36
<?xml version="1.0" encoding="UTF-8"?>
<uml:Model xmi:version="20131001" xmlns:xmi="http://www.omg.org/spec/XMI/20131001" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML" xmi:id="_wSJZEBEkEeqcA7mMSE3b-A" name="Test3">
<packageImport xmi:type="uml:PackageImport" xmi:id="_wUOcsBEkEeqcA7mMSE3b-A">
<importedPackage xmi:type="uml:Model" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#_0"/>
</packageImport>
<packagedElement xmi:type="uml:Activity" xmi:id="_sz7wUBElEeqcA7mMSE3b-A" name="Activity" node="_7EGDQBElEeqcA7mMSE3b-A _8WVuQBElEeqcA7mMSE3b-A _8peKADhTEeqhK-Tr1AkfpA _PSC0ADz8EeqwwvtZSXxI_A _8Pbz0Dz9EeqwwvtZSXxI_A">
<ownedComment xmi:type="uml:Comment" xmi:id="_N2YasDbPEeqLi4nplbzrvQ" annotatedElement="_8WVuQBElEeqcA7mMSE3b-A">
<body>t=0</body>
</ownedComment>
<ownedComment xmi:type="uml:Comment" xmi:id="_5xeOgDz7EeqwwvtZSXxI_A" annotatedElement="_sz7wUBElEeqcA7mMSE3b-A">
<body>t=0</body>
</ownedComment>
<ownedComment xmi:type="uml:Comment" xmi:id="_XECJoDz8EeqwwvtZSXxI_A" annotatedElement="_PSC0ADz8EeqwwvtZSXxI_A">
<body>t >=30</body>
</ownedComment>
<edge xmi:type="uml:ControlFlow" xmi:id="_USsZsBEmEeqcA7mMSE3b-A" target="_8WVuQBElEeqcA7mMSE3b-A" source="_7EGDQBElEeqcA7mMSE3b-A"/>
<edge xmi:type="uml:ControlFlow" xmi:id="_2srn0Dz7EeqwwvtZSXxI_A" target="_8peKADhTEeqhK-Tr1AkfpA" source="_8WVuQBElEeqcA7mMSE3b-A"/>
<edge xmi:type="uml:ControlFlow" xmi:id="_Sb6vADz8EeqwwvtZSXxI_A" target="_PSC0ADz8EeqwwvtZSXxI_A" source="_8peKADhTEeqhK-Tr1AkfpA"/>
<edge xmi:type="uml:ControlFlow" xmi:id="_g_viwEUpEeq-Z_ECULnOOQ" target="_8Pbz0Dz9EeqwwvtZSXxI_A" source="_PSC0ADz8EeqwwvtZSXxI_A"/>
<node xmi:type="uml:InitialNode" xmi:id="_7EGDQBElEeqcA7mMSE3b-A" name="Start" outgoing="_USsZsBEmEeqcA7mMSE3b-A"/>
<node xmi:type="uml:OpaqueAction" xmi:id="_8WVuQBElEeqcA7mMSE3b-A" name="spawn: vehicle f(x=0, y=5)" incoming="_USsZsBEmEeqcA7mMSE3b-A" outgoing="_2srn0Dz7EeqwwvtZSXxI_A"/>
<node xmi:type="uml:OpaqueAction" xmi:id="_8peKADhTEeqhK-Tr1AkfpA" name="spawn: obstacle s= box(x=5,y=5,s=1)" incoming="_2srn0Dz7EeqwwvtZSXxI_A" outgoing="_Sb6vADz8EeqwwvtZSXxI_A"/>
<node xmi:type="uml:OpaqueAction" xmi:id="_PSC0ADz8EeqwwvtZSXxI_A" name="constraint: distance(f, s) in [0.5, 2]" visibility="protected" incoming="_Sb6vADz8EeqwwvtZSXxI_A" outgoing="_g_viwEUpEeq-Z_ECULnOOQ"/>
<node xmi:type="uml:FlowFinalNode" xmi:id="_8Pbz0Dz9EeqwwvtZSXxI_A" name="Final_Node" incoming="_g_viwEUpEeq-Z_ECULnOOQ"/>
</packagedElement>
</uml:Model>
src/test/testfaelle/Test4.uml 0 → 100644
View file @ 97711c36
<?xml version="1.0" encoding="UTF-8"?>
<uml:Model xmi:version="20131001" xmlns:xmi="http://www.omg.org/spec/XMI/20131001" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML" xmi:id="_wSJZEBEkEeqcA7mMSE3b-A" name="Test4">
<packageImport xmi:type="uml:PackageImport" xmi:id="_wUOcsBEkEeqcA7mMSE3b-A">
<importedPackage xmi:type="uml:Model" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#_0"/>
</packageImport>
<packagedElement xmi:type="uml:Activity" xmi:id="_sz7wUBElEeqcA7mMSE3b-A" name="Activity" node="_7EGDQBElEeqcA7mMSE3b-A _8WVuQBElEeqcA7mMSE3b-A _8peKADhTEeqhK-Tr1AkfpA _PSC0ADz8EeqwwvtZSXxI_A _8Pbz0Dz9EeqwwvtZSXxI_A">
<ownedComment xmi:type="uml:Comment" xmi:id="_N2YasDbPEeqLi4nplbzrvQ" annotatedElement="_8WVuQBElEeqcA7mMSE3b-A">
<body>t=0</body>
</ownedComment>
<ownedComment xmi:type="uml:Comment" xmi:id="_5xeOgDz7EeqwwvtZSXxI_A" annotatedElement="_sz7wUBElEeqcA7mMSE3b-A">
<body>t=0</body>
</ownedComment>
<ownedComment xmi:type="uml:Comment" xmi:id="_XECJoDz8EeqwwvtZSXxI_A" annotatedElement="_PSC0ADz8EeqwwvtZSXxI_A">
<body>t >=30</body>
</ownedComment>
<edge xmi:type="uml:ControlFlow" xmi:id="_USsZsBEmEeqcA7mMSE3b-A" target="_8WVuQBElEeqcA7mMSE3b-A" source="_7EGDQBElEeqcA7mMSE3b-A"/>
<edge xmi:type="uml:ControlFlow" xmi:id="_2srn0Dz7EeqwwvtZSXxI_A" target="_8peKADhTEeqhK-Tr1AkfpA" source="_8WVuQBElEeqcA7mMSE3b-A"/>
<edge xmi:type="uml:ControlFlow" xmi:id="_Sb6vADz8EeqwwvtZSXxI_A" target="_PSC0ADz8EeqwwvtZSXxI_A" source="_8peKADhTEeqhK-Tr1AkfpA"/>
<edge xmi:type="uml:ControlFlow" xmi:id="_g_viwEUpEeq-Z_ECULnOOQ" target="_8Pbz0Dz9EeqwwvtZSXxI_A" source="_PSC0ADz8EeqwwvtZSXxI_A"/>
<node xmi:type="uml:InitialNode" xmi:id="_7EGDQBElEeqcA7mMSE3b-A" name="Start" outgoing="_USsZsBEmEeqcA7mMSE3b-A"/>
<node xmi:type="uml:OpaqueAction" xmi:id="_8WVuQBElEeqcA7mMSE3b-A" name="spawn: vehicle f(x=1, y=1)" incoming="_USsZsBEmEeqcA7mMSE3b-A" outgoing="_2srn0Dz7EeqwwvtZSXxI_A"/>
<node xmi:type="uml:OpaqueAction" xmi:id="_8peKADhTEeqhK-Tr1AkfpA" name="spawn: obstacle s= box(x=3,y=5,s=1)" incoming="_2srn0Dz7EeqwwvtZSXxI_A" outgoing="_Sb6vADz8EeqwwvtZSXxI_A"/>
<node xmi:type="uml:OpaqueAction" xmi:id="_PSC0ADz8EeqwwvtZSXxI_A" name="constraint: distance(f, s) in [0.5, 2]" visibility="protected" incoming="_Sb6vADz8EeqwwvtZSXxI_A" outgoing="_g_viwEUpEeq-Z_ECULnOOQ"/>
<node xmi:type="uml:FlowFinalNode" xmi:id="_8Pbz0Dz9EeqwwvtZSXxI_A" name="Final_Node" incoming="_g_viwEUpEeq-Z_ECULnOOQ"/>
</packagedElement>
</uml:Model>
src/test/testfaelle/Test5.uml 0 → 100644
View file @ 97711c36
<?xml version="1.0" encoding="UTF-8"?>
<uml:Model xmi:version="20131001" xmlns:xmi="http://www.omg.org/spec/XMI/20131001" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML" xmi:id="_wSJZEBEkEeqcA7mMSE3b-A" name="Test5">
<packageImport xmi:type="uml:PackageImport" xmi:id="_wUOcsBEkEeqcA7mMSE3b-A">
<importedPackage xmi:type="uml:Model" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#_0"/>
</packageImport>
<packagedElement xmi:type="uml:Activity" xmi:id="_sz7wUBElEeqcA7mMSE3b-A" name="Activity" node="_7EGDQBElEeqcA7mMSE3b-A _8WVuQBElEeqcA7mMSE3b-A _8peKADhTEeqhK-Tr1AkfpA _PSC0ADz8EeqwwvtZSXxI_A _8Pbz0Dz9EeqwwvtZSXxI_A">
<ownedComment xmi:type="uml:Comment" xmi:id="_N2YasDbPEeqLi4nplbzrvQ" annotatedElement="_8WVuQBElEeqcA7mMSE3b-A">
<body>t=0</body>
</ownedComment>
<ownedComment xmi:type="uml:Comment" xmi:id="_5xeOgDz7EeqwwvtZSXxI_A" annotatedElement="_sz7wUBElEeqcA7mMSE3b-A">
<body>t=0</body>
</ownedComment>
<ownedComment xmi:type="uml:Comment" xmi:id="_XECJoDz8EeqwwvtZSXxI_A" annotatedElement="_PSC0ADz8EeqwwvtZSXxI_A">
<body>t >=30</body>
</ownedComment>
<edge xmi:type="uml:ControlFlow" xmi:id="_USsZsBEmEeqcA7mMSE3b-A" target="_8WVuQBElEeqcA7mMSE3b-A" source="_7EGDQBElEeqcA7mMSE3b-A"/>
<edge xmi:type="uml:ControlFlow" xmi:id="_2srn0Dz7EeqwwvtZSXxI_A" target="_8peKADhTEeqhK-Tr1AkfpA" source="_8WVuQBElEeqcA7mMSE3b-A"/>
<edge xmi:type="uml:ControlFlow" xmi:id="_Sb6vADz8EeqwwvtZSXxI_A" target="_PSC0ADz8EeqwwvtZSXxI_A" source="_8peKADhTEeqhK-Tr1AkfpA"/>
<edge xmi:type="uml:ControlFlow" xmi:id="_g_viwEUpEeq-Z_ECULnOOQ" target="_8Pbz0Dz9EeqwwvtZSXxI_A" source="_PSC0ADz8EeqwwvtZSXxI_A"/>
<node xmi:type="uml:InitialNode" xmi:id="_7EGDQBElEeqcA7mMSE3b-A" name="Start" outgoing="_USsZsBEmEeqcA7mMSE3b-A"/>
<node xmi:type="uml:OpaqueAction" xmi:id="_8WVuQBElEeqcA7mMSE3b-A" name="spawn: vehicle f(x=1, y=1)" incoming="_USsZsBEmEeqcA7mMSE3b-A" outgoing="_2srn0Dz7EeqwwvtZSXxI_A"/>
<node xmi:type="uml:OpaqueAction" xmi:id="_8peKADhTEeqhK-Tr1AkfpA" name="spawn: obstacle s= box(x=1,y=5,s=0.1)" incoming="_2srn0Dz7EeqwwvtZSXxI_A" outgoing="_Sb6vADz8EeqwwvtZSXxI_A"/>
<node xmi:type="uml:OpaqueAction" xmi:id="_PSC0ADz8EeqwwvtZSXxI_A" name="constraint: distance(f, s) in [0.5, 2]" visibility="protected" incoming="_Sb6vADz8EeqwwvtZSXxI_A" outgoing="_g_viwEUpEeq-Z_ECULnOOQ"/>
<node xmi:type="uml:FlowFinalNode" xmi:id="_8Pbz0Dz9EeqwwvtZSXxI_A" name="Final_Node" incoming="_g_viwEUpEeq-Z_ECULnOOQ"/>
</packagedElement>
</uml:Model>
src/test/testfaelle/Test6.uml 0 → 100644
View file @ 97711c36
<?xml version="1.0" encoding="UTF-8"?>
<uml:Model xmi:version="20131001" xmlns:xmi="http://www.omg.org/spec/XMI/20131001" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML" xmi:id="_wSJZEBEkEeqcA7mMSE3b-A" name="Test6">
<packageImport xmi:type="uml:PackageImport" xmi:id="_wUOcsBEkEeqcA7mMSE3b-A">
<importedPackage xmi:type="uml:Model" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#_0"/>
</packageImport>
<packagedElement xmi:type="uml:Activity" xmi:id="_sz7wUBElEeqcA7mMSE3b-A" name="Activity" node="_7EGDQBElEeqcA7mMSE3b-A _8WVuQBElEeqcA7mMSE3b-A _8peKADhTEeqhK-Tr1AkfpA _PSC0ADz8EeqwwvtZSXxI_A _8Pbz0Dz9EeqwwvtZSXxI_A">
<ownedComment xmi:type="uml:Comment" xmi:id="_N2YasDbPEeqLi4nplbzrvQ" annotatedElement="_8WVuQBElEeqcA7mMSE3b-A">
<body>t=0</body>
</ownedComment>
<ownedComment xmi:type="uml:Comment" xmi:id="_5xeOgDz7EeqwwvtZSXxI_A" annotatedElement="_sz7wUBElEeqcA7mMSE3b-A">
<body>t=0</body>
</ownedComment>
<ownedComment xmi:type="uml:Comment" xmi:id="_XECJoDz8EeqwwvtZSXxI_A" annotatedElement="_PSC0ADz8EeqwwvtZSXxI_A">
<body>t >=30</body>
</ownedComment>
<edge xmi:type="uml:ControlFlow" xmi:id="_USsZsBEmEeqcA7mMSE3b-A" target="_8WVuQBElEeqcA7mMSE3b-A" source="_7EGDQBElEeqcA7mMSE3b-A"/>
<edge xmi:type="uml:ControlFlow" xmi:id="_2srn0Dz7EeqwwvtZSXxI_A" target="_8peKADhTEeqhK-Tr1AkfpA" source="_8WVuQBElEeqcA7mMSE3b-A"/>
<edge xmi:type="uml:ControlFlow" xmi:id="_Sb6vADz8EeqwwvtZSXxI_A" target="_PSC0ADz8EeqwwvtZSXxI_A" source="_8peKADhTEeqhK-Tr1AkfpA"/>
<edge xmi:type="uml:ControlFlow" xmi:id="_g_viwEUpEeq-Z_ECULnOOQ" target="_8Pbz0Dz9EeqwwvtZSXxI_A" source="_PSC0ADz8EeqwwvtZSXxI_A"/>
<node xmi:type="uml:InitialNode" xmi:id="_7EGDQBElEeqcA7mMSE3b-A" name="Start" outgoing="_USsZsBEmEeqcA7mMSE3b-A"/>
<node xmi:type="uml:OpaqueAction" xmi:id="_8WVuQBElEeqcA7mMSE3b-A" name="spawn: vehicle f(x=1, y=1)" incoming="_USsZsBEmEeqcA7mMSE3b-A" outgoing="_2srn0Dz7EeqwwvtZSXxI_A"/>
<node xmi:type="uml:OpaqueAction" xmi:id="_8peKADhTEeqhK-Tr1AkfpA" name="spawn: obstacle s= box(x=1,y=5,s=0.1)" incoming="_2srn0Dz7EeqwwvtZSXxI_A" outgoing="_Sb6vADz8EeqwwvtZSXxI_A"/>
<node xmi:type="uml:OpaqueAction" xmi:id="_PSC0ADz8EeqwwvtZSXxI_A" name="constraint: distance(f, s) in [1, 2]" visibility="protected" incoming="_Sb6vADz8EeqwwvtZSXxI_A" outgoing="_g_viwEUpEeq-Z_ECULnOOQ"/>
<node xmi:type="uml:FlowFinalNode" xmi:id="_8Pbz0Dz9EeqwwvtZSXxI_A" name="Final_Node" incoming="_g_viwEUpEeq-Z_ECULnOOQ"/>
</packagedElement>
</uml:Model>
src/test/testfaelle/Test7.uml 0 → 100644
View file @ 97711c36
<?xml version="1.0" encoding="UTF-8"?>
<uml:Model xmi:version="20131001" xmlns:xmi="http://www.omg.org/spec/XMI/20131001" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML" xmi:id="_wSJZEBEkEeqcA7mMSE3b-A" name="Test7">
<packageImport xmi:type="uml:PackageImport" xmi:id="_wUOcsBEkEeqcA7mMSE3b-A">
<importedPackage xmi:type="uml:Model" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#_0"/>
</packageImport>
<packagedElement xmi:type="uml:Activity" xmi:id="_sz7wUBElEeqcA7mMSE3b-A" name="Activity" node="_7EGDQBElEeqcA7mMSE3b-A _8WVuQBElEeqcA7mMSE3b-A _8peKADhTEeqhK-Tr1AkfpA _PSC0ADz8EeqwwvtZSXxI_A _8Pbz0Dz9EeqwwvtZSXxI_A">
<ownedComment xmi:type="uml:Comment" xmi:id="_N2YasDbPEeqLi4nplbzrvQ" annotatedElement="_8WVuQBElEeqcA7mMSE3b-A">
<body>t=0</body>
</ownedComment>
<ownedComment xmi:type="uml:Comment" xmi:id="_5xeOgDz7EeqwwvtZSXxI_A" annotatedElement="_sz7wUBElEeqcA7mMSE3b-A">
<body>t=0</body>
</ownedComment>
<ownedComment xmi:type="uml:Comment" xmi:id="_XECJoDz8EeqwwvtZSXxI_A" annotatedElement="_PSC0ADz8EeqwwvtZSXxI_A">
<body>t >=30</body>
</ownedComment>
<edge xmi:type="uml:ControlFlow" xmi:id="_USsZsBEmEeqcA7mMSE3b-A" target="_8WVuQBElEeqcA7mMSE3b-A" source="_7EGDQBElEeqcA7mMSE3b-A"/>
<edge xmi:type="uml:ControlFlow" xmi:id="_2srn0Dz7EeqwwvtZSXxI_A" target="_8peKADhTEeqhK-Tr1AkfpA" source="_8WVuQBElEeqcA7mMSE3b-A"/>
<edge xmi:type="uml:ControlFlow" xmi:id="_Sb6vADz8EeqwwvtZSXxI_A" target="_PSC0ADz8EeqwwvtZSXxI_A" source="_8peKADhTEeqhK-Tr1AkfpA"/>
<edge xmi:type="uml:ControlFlow" xmi:id="_g_viwEUpEeq-Z_ECULnOOQ" target="_8Pbz0Dz9EeqwwvtZSXxI_A" source="_PSC0ADz8EeqwwvtZSXxI_A"/>
<node xmi:type="uml:InitialNode" xmi:id="_7EGDQBElEeqcA7mMSE3b-A" name="Start" outgoing="_USsZsBEmEeqcA7mMSE3b-A"/>
<node xmi:type="uml:OpaqueAction" xmi:id="_8WVuQBElEeqcA7mMSE3b-A" name="spawn: vehicle f(x=1, y=1)" incoming="_USsZsBEmEeqcA7mMSE3b-A" outgoing="_2srn0Dz7EeqwwvtZSXxI_A"/>
<node xmi:type="uml:OpaqueAction" xmi:id="_8peKADhTEeqhK-Tr1AkfpA" name="spawn: obstacle s= box(x=1,y=5,s=1)" incoming="_2srn0Dz7EeqwwvtZSXxI_A" outgoing="_Sb6vADz8EeqwwvtZSXxI_A"/>
<node xmi:type="uml:OpaqueAction" xmi:id="_PSC0ADz8EeqwwvtZSXxI_A" name="constraint: distance(f, s) in [1, 2]" visibility="protected" incoming="_Sb6vADz8EeqwwvtZSXxI_A" outgoing="_g_viwEUpEeq-Z_ECULnOOQ"/>
<node xmi:type="uml:FlowFinalNode" xmi:id="_8Pbz0Dz9EeqwwvtZSXxI_A" name="Final_Node" incoming="_g_viwEUpEeq-Z_ECULnOOQ"/>
</packagedElement>
</uml:Model>
src/test/testfaelle/Test8.uml 0 → 100644
View file @ 97711c36
<?xml version="1.0" encoding="UTF-8"?>
<uml:Model xmi:version="20131001" xmlns:xmi="http://www.omg.org/spec/XMI/20131001" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML" xmi:id="_wSJZEBEkEeqcA7mMSE3b-A" name="Test8">
<packageImport xmi:type="uml:PackageImport" xmi:id="_wUOcsBEkEeqcA7mMSE3b-A">
<importedPackage xmi:type="uml:Model" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#_0"/>
</packageImport>
<packagedElement xmi:type="uml:Activity" xmi:id="_sz7wUBElEeqcA7mMSE3b-A" name="Activity" node="_7EGDQBElEeqcA7mMSE3b-A _8WVuQBElEeqcA7mMSE3b-A _8peKADhTEeqhK-Tr1AkfpA _PSC0ADz8EeqwwvtZSXxI_A _8Pbz0Dz9EeqwwvtZSXxI_A">
<ownedComment xmi:type="uml:Comment" xmi:id="_N2YasDbPEeqLi4nplbzrvQ" annotatedElement="_8WVuQBElEeqcA7mMSE3b-A">
<body>t=0</body>
</ownedComment>
<ownedComment xmi:type="uml:Comment" xmi:id="_5xeOgDz7EeqwwvtZSXxI_A" annotatedElement="_sz7wUBElEeqcA7mMSE3b-A">
<body>t=0</body>
</ownedComment>
<ownedComment xmi:type="uml:Comment" xmi:id="_XECJoDz8EeqwwvtZSXxI_A" annotatedElement="_PSC0ADz8EeqwwvtZSXxI_A">
<body>t >=30</body>
</ownedComment>
<edge xmi:type="uml:ControlFlow" xmi:id="_USsZsBEmEeqcA7mMSE3b-A" target="_8WVuQBElEeqcA7mMSE3b-A" source="_7EGDQBElEeqcA7mMSE3b-A"/>
<edge xmi:type="uml:ControlFlow" xmi:id="_2srn0Dz7EeqwwvtZSXxI_A" target="_8peKADhTEeqhK-Tr1AkfpA" source="_8WVuQBElEeqcA7mMSE3b-A"/>
<edge xmi:type="uml:ControlFlow" xmi:id="_Sb6vADz8EeqwwvtZSXxI_A" target="_PSC0ADz8EeqwwvtZSXxI_A" source="_8peKADhTEeqhK-Tr1AkfpA"/>
<edge xmi:type="uml:ControlFlow" xmi:id="_g_viwEUpEeq-Z_ECULnOOQ" target="_8Pbz0Dz9EeqwwvtZSXxI_A" source="_PSC0ADz8EeqwwvtZSXxI_A"/>
<node xmi:type="uml:InitialNode" xmi:id="_7EGDQBElEeqcA7mMSE3b-A" name="Start" outgoing="_USsZsBEmEeqcA7mMSE3b-A"/>
<node xmi:type="uml:OpaqueAction" xmi:id="_8WVuQBElEeqcA7mMSE3b-A" name="spawn: vehicle f(x=1, y=1)" incoming="_USsZsBEmEeqcA7mMSE3b-A" outgoing="_2srn0Dz7EeqwwvtZSXxI_A"/>
<node xmi:type="uml:OpaqueAction" xmi:id="_8peKADhTEeqhK-Tr1AkfpA" name="spawn: obstacle s= box(x=3,y=5,s=0.1)" incoming="_2srn0Dz7EeqwwvtZSXxI_A" outgoing="_Sb6vADz8EeqwwvtZSXxI_A"/>
<node xmi:type="uml:OpaqueAction" xmi:id="_PSC0ADz8EeqwwvtZSXxI_A" name="constraint: distance(f, s) in [0.5, 2]" visibility="protected" incoming="_Sb6vADz8EeqwwvtZSXxI_A" outgoing="_g_viwEUpEeq-Z_ECULnOOQ"/>
<node xmi:type="uml:FlowFinalNode" xmi:id="_8Pbz0Dz9EeqwwvtZSXxI_A" name="Final_Node" incoming="_g_viwEUpEeq-Z_ECULnOOQ"/>
</packagedElement>
</uml:Model>
src/test/testfaelle/Test9.uml 0 → 100644
View file @ 97711c36
<?xml version="1.0" encoding="UTF-8"?>
<uml:Model xmi:version="20131001" xmlns:xmi="http://www.omg.org/spec/XMI/20131001" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML" xmi:id="_wSJZEBEkEeqcA7mMSE3b-A" name="Test9">
<packageImport xmi:type="uml:PackageImport" xmi:id="_wUOcsBEkEeqcA7mMSE3b-A">
<importedPackage xmi:type="uml:Model" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#_0"/>
</packageImport>
<packagedElement xmi:type="uml:Activity" xmi:id="_sz7wUBElEeqcA7mMSE3b-A" name="Activity" node="_7EGDQBElEeqcA7mMSE3b-A _8WVuQBElEeqcA7mMSE3b-A _8peKADhTEeqhK-Tr1AkfpA _PSC0ADz8EeqwwvtZSXxI_A _8Pbz0Dz9EeqwwvtZSXxI_A">
<ownedComment xmi:type="uml:Comment" xmi:id="_N2YasDbPEeqLi4nplbzrvQ" annotatedElement="_8WVuQBElEeqcA7mMSE3b-A">
<body>t=0</body>
</ownedComment>
<ownedComment xmi:type="uml:Comment" xmi:id="_5xeOgDz7EeqwwvtZSXxI_A" annotatedElement="_sz7wUBElEeqcA7mMSE3b-A">
<body>t=0</body>
</ownedComment>
<ownedComment xmi:type="uml:Comment" xmi:id="_XECJoDz8EeqwwvtZSXxI_A" annotatedElement="_PSC0ADz8EeqwwvtZSXxI_A">
<body>t >=30</body>
</ownedComment>
<edge xmi:type="uml:ControlFlow" xmi:id="_USsZsBEmEeqcA7mMSE3b-A" target="_8WVuQBElEeqcA7mMSE3b-A" source="_7EGDQBElEeqcA7mMSE3b-A"/>
<edge xmi:type="uml:ControlFlow" xmi:id="_2srn0Dz7EeqwwvtZSXxI_A" target="_8peKADhTEeqhK-Tr1AkfpA" source="_8WVuQBElEeqcA7mMSE3b-A"/>
<edge xmi:type="uml:ControlFlow" xmi:id="_Sb6vADz8EeqwwvtZSXxI_A" target="_PSC0ADz8EeqwwvtZSXxI_A" source="_8peKADhTEeqhK-Tr1AkfpA"/>
<edge xmi:type="uml:ControlFlow" xmi:id="_g_viwEUpEeq-Z_ECULnOOQ" target="_8Pbz0Dz9EeqwwvtZSXxI_A" source="_PSC0ADz8EeqwwvtZSXxI_A"/>
<node xmi:type="uml:InitialNode" xmi:id="_7EGDQBElEeqcA7mMSE3b-A" name="Start" outgoing="_USsZsBEmEeqcA7mMSE3b-A"/>
<node xmi:type="uml:OpaqueAction" xmi:id="_8WVuQBElEeqcA7mMSE3b-A" name="spawn: vehicle f(x=1, y=1)" incoming="_USsZsBEmEeqcA7mMSE3b-A" outgoing="_2srn0Dz7EeqwwvtZSXxI_A"/>
<node xmi:type="uml:OpaqueAction" xmi:id="_8peKADhTEeqhK-Tr1AkfpA" name="spawn: obstacle s= cylinder(x=1,y=5,r=0.1, h=0.1)" incoming="_2srn0Dz7EeqwwvtZSXxI_A" outgoing="_Sb6vADz8EeqwwvtZSXxI_A"/>
<node xmi:type="uml:OpaqueAction" xmi:id="_PSC0ADz8EeqwwvtZSXxI_A" name="constraint: distance(f, s) in [0.5, 2]" visibility="protected" incoming="_Sb6vADz8EeqwwvtZSXxI_A" outgoing="_g_viwEUpEeq-Z_ECULnOOQ"/>
<node xmi:type="uml:FlowFinalNode" xmi:id="_8Pbz0Dz9EeqwwvtZSXxI_A" name="Final_Node" incoming="_g_viwEUpEeq-Z_ECULnOOQ"/>
</packagedElement>
</uml:Model>