diff options
author | Thomas Schuetz | 2013-07-12 08:40:15 +0000 |
---|---|---|
committer | Thomas Schuetz | 2013-07-12 08:40:15 +0000 |
commit | 12cda553738ca88662624b6f47066b5564549648 (patch) | |
tree | bfa65b6c38aa566a5f1cc98395da6546a6c6e282 /examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example | |
parent | 3447749b1a453735ac54fc09ea7680acdbb19b69 (diff) | |
parent | d65e1d1bdd43feadb43261b85aac2d8aef5e089c (diff) | |
download | org.eclipse.etrice-12cda553738ca88662624b6f47066b5564549648.tar.gz org.eclipse.etrice-12cda553738ca88662624b6f47066b5564549648.tar.xz org.eclipse.etrice-12cda553738ca88662624b6f47066b5564549648.zip |
Merge remote-tracking branch 'origin/master'
Conflicts:
plugins/org.eclipse.etrice.ui.runtime/contents/org.eclipse.etrice.modellib.c.zip
plugins/org.eclipse.etrice.ui.runtime/contents/org.eclipse.etrice.modellib.java.zip
plugins/org.eclipse.etrice.ui.runtime/contents/org.eclipse.etrice.runtime.c.zip
plugins/org.eclipse.etrice.ui.runtime/contents/org.eclipse.etrice.tutorials.c.zip
plugins/org.eclipse.etrice.ui.runtime/contents/org.eclipse.etrice.tutorials.java.zip
Change-Id: I98e2df3ab57d6e7e8f27e5b0aee7eaa189bfbc33
Diffstat (limited to 'examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example')
10 files changed, 1482 insertions, 1482 deletions
diff --git a/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/.classpath b/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/.classpath index d48952359..80d796d3b 100644 --- a/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/.classpath +++ b/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/.classpath @@ -1,8 +1,8 @@ -<?xml version="1.0" encoding="UTF-8"?>
-<classpath>
- <classpathentry kind="src" path="src-gen"/>
- <classpathentry kind="src" path="/org.eclipse.etrice.runtime.java"/>
- <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.6"/>
- <classpathentry combineaccessrules="false" kind="src" path="/org.eclipse.etrice.modellib.java"/>
- <classpathentry kind="output" path="bin"/>
-</classpath>
+<?xml version="1.0" encoding="UTF-8"?> +<classpath> + <classpathentry kind="src" path="src-gen"/> + <classpathentry kind="src" path="/org.eclipse.etrice.runtime.java"/> + <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.6"/> + <classpathentry combineaccessrules="false" kind="src" path="/org.eclipse.etrice.modellib.java"/> + <classpathentry kind="output" path="bin"/> +</classpath> diff --git a/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/.gitignore b/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/.gitignore index 566b11f8c..528a480e5 100644 --- a/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/.gitignore +++ b/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/.gitignore @@ -1,3 +1,3 @@ -bin
-doc-gen
-src-gen-info
+bin +doc-gen +src-gen-info diff --git a/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/gen_trafficlight.example.launch b/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/gen_trafficlight.example.launch index bb87088c7..14b5ac659 100644 --- a/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/gen_trafficlight.example.launch +++ b/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/gen_trafficlight.example.launch @@ -1,19 +1,19 @@ -<?xml version="1.0" encoding="UTF-8" standalone="no"?>
-<launchConfiguration type="org.eclipse.etrice.generator.launch.java.launchConfigurationType">
-<booleanAttribute key="Debug" value="true"/>
-<booleanAttribute key="GenDocumentation" value="true"/>
-<booleanAttribute key="GenInstanceDiagram" value="true"/>
-<stringAttribute key="GenModelPath" value=""/>
-<booleanAttribute key="Lib" value="false"/>
-<booleanAttribute key="MSC" value="true"/>
-<listAttribute key="ModelFiles">
-<listEntry value="${workspace_loc:/org.eclipse.etrice.tutorials.simulators.trafficlight.example/model/trafficlight.example.config}"/>
-<listEntry value="${workspace_loc:/org.eclipse.etrice.tutorials.simulators.trafficlight.example/model/trafficlight.example.room}"/>
-</listAttribute>
-<booleanAttribute key="SaveGenModel" value="false"/>
-<booleanAttribute key="Verbose" value="true"/>
-<stringAttribute key="org.eclipse.debug.core.ATTR_REFRESH_SCOPE" value="${workspace}"/>
-<listAttribute key="org.eclipse.debug.ui.favoriteGroups">
-<listEntry value="org.eclipse.debug.ui.launchGroup.run"/>
-</listAttribute>
-</launchConfiguration>
+<?xml version="1.0" encoding="UTF-8" standalone="no"?> +<launchConfiguration type="org.eclipse.etrice.generator.launch.java.launchConfigurationType"> +<booleanAttribute key="Debug" value="true"/> +<booleanAttribute key="GenDocumentation" value="true"/> +<booleanAttribute key="GenInstanceDiagram" value="true"/> +<stringAttribute key="GenModelPath" value=""/> +<booleanAttribute key="Lib" value="false"/> +<booleanAttribute key="MSC" value="true"/> +<listAttribute key="ModelFiles"> +<listEntry value="${workspace_loc:/org.eclipse.etrice.tutorials.simulators.trafficlight.example/model/trafficlight.example.config}"/> +<listEntry value="${workspace_loc:/org.eclipse.etrice.tutorials.simulators.trafficlight.example/model/trafficlight.example.room}"/> +</listAttribute> +<booleanAttribute key="SaveGenModel" value="false"/> +<booleanAttribute key="Verbose" value="true"/> +<stringAttribute key="org.eclipse.debug.core.ATTR_REFRESH_SCOPE" value="${workspace}"/> +<listAttribute key="org.eclipse.debug.ui.favoriteGroups"> +<listEntry value="org.eclipse.debug.ui.launchGroup.run"/> +</listAttribute> +</launchConfiguration> diff --git a/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/model/diagrams/trafficlight.example.SSTraffic.structure b/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/model/diagrams/trafficlight.example.SSTraffic.structure index b6fc3ed3a..04a72c9e5 100644 --- a/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/model/diagrams/trafficlight.example.SSTraffic.structure +++ b/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/model/diagrams/trafficlight.example.SSTraffic.structure @@ -1,82 +1,82 @@ -<?xml version="1.0" encoding="ASCII"?>
-<pi:Diagram xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:al="http://eclipse.org/graphiti/mm/algorithms" xmlns:pi="http://eclipse.org/graphiti/mm/pictograms" visible="true" gridUnit="10" diagramTypeId="room.structure" name="Structure of SSTraffic" pictogramLinks="//@children.0/@link //@link //@children.0/@children.0/@link //@children.0/@children.1/@link //@children.0/@children.1/@children.1/@link //@connections.0/@link" verticalGridUnit="10" version="0.9.2">
- <graphicsAlgorithm xsi:type="al:Rectangle" background="//@colors.1" foreground="//@colors.0" lineWidth="1" transparency="0.0" width="1000" height="1000"/>
- <link>
- <businessObjects href="../trafficlight.example.room#SubSystemClass:SSTraffic"/>
- </link>
- <children xsi:type="pi:ContainerShape" visible="true" active="true">
- <properties key="obj-type" value="cls"/>
- <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="457" height="416" x="40" y="40">
- <graphicsAlgorithmChildren xsi:type="al:Rectangle" background="//@colors.1" foreground="//@colors.2" lineWidth="4" transparency="0.5" width="377" height="336" x="40" y="40"/>
- <graphicsAlgorithmChildren xsi:type="al:Rectangle" foreground="//@colors.2" lineWidth="4" filled="false" transparency="0.0" width="377" height="336" x="40" y="40"/>
- </graphicsAlgorithm>
- <link>
- <businessObjects href="../trafficlight.example.room#SubSystemClass:SSTraffic"/>
- </link>
- <children xsi:type="pi:ContainerShape" visible="true" active="true">
- <properties key="obj-type" value="ref"/>
- <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="277" height="140" x="78" y="54">
- <graphicsAlgorithmChildren xsi:type="al:Rectangle" background="//@colors.3" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="217" height="80" x="30" y="30">
- <graphicsAlgorithmChildren xsi:type="al:Rectangle" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="20" height="10" x="187" y="50"/>
- <graphicsAlgorithmChildren xsi:type="al:Rectangle" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="20" height="10" x="182" y="65"/>
- </graphicsAlgorithmChildren>
- </graphicsAlgorithm>
- <link>
- <businessObjects href="../trafficlight.example.room#ActorRef:SSTraffic$application"/>
- </link>
- <anchors xsi:type="pi:ChopboxAnchor" outgoingConnections="//@connections.0" referencedGraphicsAlgorithm="//@children.0/@children.0/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/>
- <children visible="true">
- <graphicsAlgorithm xsi:type="al:Text" background="//@colors.2" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="217" height="80" x="30" y="30" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="application
(TrafficlightExampleApplication)"/>
- </children>
- </children>
- <children xsi:type="pi:ContainerShape" visible="true" active="true">
- <properties key="obj-type" value="ref"/>
- <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="277" height="140" x="78" y="190">
- <graphicsAlgorithmChildren xsi:type="al:Rectangle" background="//@colors.3" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="217" height="80" x="30" y="30">
- <graphicsAlgorithmChildren xsi:type="al:Rectangle" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="20" height="10" x="187" y="50"/>
- <graphicsAlgorithmChildren xsi:type="al:Rectangle" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="20" height="10" x="182" y="65"/>
- </graphicsAlgorithmChildren>
- </graphicsAlgorithm>
- <link>
- <businessObjects href="../trafficlight.example.room#ActorRef:SSTraffic$TimingService"/>
- </link>
- <anchors xsi:type="pi:ChopboxAnchor" referencedGraphicsAlgorithm="//@children.0/@children.1/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/>
- <children visible="true">
- <graphicsAlgorithm xsi:type="al:Text" background="//@colors.2" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="217" height="80" x="30" y="30" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="TimingService
(ATimingService)"/>
- </children>
- <children xsi:type="pi:ContainerShape" visible="true" active="true">
- <properties key="obj-type" value="port"/>
- <properties key="item-kind" value=""/>
- <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="60" height="60" x="65">
- <graphicsAlgorithmChildren xsi:type="al:Ellipse" background="//@colors.2" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="18" height="18" x="21" y="21"/>
- </graphicsAlgorithm>
- <link>
- <businessObjects href="file:/C:/entw/projekte/eTrice/repositories/FlatWorld/org.eclipse.etrice.modellib.java/models/TimingService.room#SPPRef:ATimingService$timer"/>
- </link>
- <anchors xsi:type="pi:ChopboxAnchor" incomingConnections="//@connections.0" referencedGraphicsAlgorithm="//@children.0/@children.1/@children.1/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/>
- <children visible="true">
- <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="60" height="15" y="6" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="timer"/>
- </children>
- </children>
- </children>
- </children>
- <connections xsi:type="pi:ManhattanConnection" visible="true" active="true" start="//@children.0/@children.0/@anchors.0" end="//@children.0/@children.1/@children.1/@anchors.0">
- <properties key="obj-type" value="conn"/>
- <graphicsAlgorithm xsi:type="al:Polyline" foreground="//@colors.2" lineWidth="2" filled="false" transparency="0.0"/>
- <link>
- <businessObjects href="../trafficlight.example.room#LayerConnection:SSTraffic$application-TimingService!timer"/>
- </link>
- <connectionDecorators visible="true" locationRelative="true" location="1.0">
- <graphicsAlgorithm xsi:type="al:Polyline" foreground="//@colors.2" lineWidth="2" filled="false" transparency="0.0">
- <points x="-15" y="10"/>
- <points/>
- <points x="-15" y="-10"/>
- </graphicsAlgorithm>
- </connectionDecorators>
- </connections>
- <colors red="227" green="238" blue="249"/>
- <colors red="255" green="255" blue="255"/>
- <colors/>
- <colors red="200" green="200" blue="200"/>
- <fonts name="Arial" size="8"/>
-</pi:Diagram>
+<?xml version="1.0" encoding="ASCII"?> +<pi:Diagram xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:al="http://eclipse.org/graphiti/mm/algorithms" xmlns:pi="http://eclipse.org/graphiti/mm/pictograms" visible="true" gridUnit="10" diagramTypeId="room.structure" name="Structure of SSTraffic" pictogramLinks="//@children.0/@link //@link //@children.0/@children.0/@link //@children.0/@children.1/@link //@children.0/@children.1/@children.1/@link //@connections.0/@link" verticalGridUnit="10" version="0.9.2"> + <graphicsAlgorithm xsi:type="al:Rectangle" background="//@colors.1" foreground="//@colors.0" lineWidth="1" transparency="0.0" width="1000" height="1000"/> + <link> + <businessObjects href="../trafficlight.example.room#SubSystemClass:SSTraffic"/> + </link> + <children xsi:type="pi:ContainerShape" visible="true" active="true"> + <properties key="obj-type" value="cls"/> + <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="457" height="416" x="40" y="40"> + <graphicsAlgorithmChildren xsi:type="al:Rectangle" background="//@colors.1" foreground="//@colors.2" lineWidth="4" transparency="0.5" width="377" height="336" x="40" y="40"/> + <graphicsAlgorithmChildren xsi:type="al:Rectangle" foreground="//@colors.2" lineWidth="4" filled="false" transparency="0.0" width="377" height="336" x="40" y="40"/> + </graphicsAlgorithm> + <link> + <businessObjects href="../trafficlight.example.room#SubSystemClass:SSTraffic"/> + </link> + <children xsi:type="pi:ContainerShape" visible="true" active="true"> + <properties key="obj-type" value="ref"/> + <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="277" height="140" x="78" y="54"> + <graphicsAlgorithmChildren xsi:type="al:Rectangle" background="//@colors.3" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="217" height="80" x="30" y="30"> + <graphicsAlgorithmChildren xsi:type="al:Rectangle" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="20" height="10" x="187" y="50"/> + <graphicsAlgorithmChildren xsi:type="al:Rectangle" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="20" height="10" x="182" y="65"/> + </graphicsAlgorithmChildren> + </graphicsAlgorithm> + <link> + <businessObjects href="../trafficlight.example.room#ActorRef:SSTraffic$application"/> + </link> + <anchors xsi:type="pi:ChopboxAnchor" outgoingConnections="//@connections.0" referencedGraphicsAlgorithm="//@children.0/@children.0/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/> + <children visible="true"> + <graphicsAlgorithm xsi:type="al:Text" background="//@colors.2" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="217" height="80" x="30" y="30" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="application
(TrafficlightExampleApplication)"/> + </children> + </children> + <children xsi:type="pi:ContainerShape" visible="true" active="true"> + <properties key="obj-type" value="ref"/> + <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="277" height="140" x="78" y="190"> + <graphicsAlgorithmChildren xsi:type="al:Rectangle" background="//@colors.3" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="217" height="80" x="30" y="30"> + <graphicsAlgorithmChildren xsi:type="al:Rectangle" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="20" height="10" x="187" y="50"/> + <graphicsAlgorithmChildren xsi:type="al:Rectangle" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="20" height="10" x="182" y="65"/> + </graphicsAlgorithmChildren> + </graphicsAlgorithm> + <link> + <businessObjects href="../trafficlight.example.room#ActorRef:SSTraffic$TimingService"/> + </link> + <anchors xsi:type="pi:ChopboxAnchor" referencedGraphicsAlgorithm="//@children.0/@children.1/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/> + <children visible="true"> + <graphicsAlgorithm xsi:type="al:Text" background="//@colors.2" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="217" height="80" x="30" y="30" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="TimingService
(ATimingService)"/> + </children> + <children xsi:type="pi:ContainerShape" visible="true" active="true"> + <properties key="obj-type" value="port"/> + <properties key="item-kind" value=""/> + <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="60" height="60" x="65"> + <graphicsAlgorithmChildren xsi:type="al:Ellipse" background="//@colors.2" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="18" height="18" x="21" y="21"/> + </graphicsAlgorithm> + <link> + <businessObjects href="file:/C:/entw/projekte/eTrice/repositories/FlatWorld/org.eclipse.etrice.modellib.java/models/TimingService.room#SPPRef:ATimingService$timer"/> + </link> + <anchors xsi:type="pi:ChopboxAnchor" incomingConnections="//@connections.0" referencedGraphicsAlgorithm="//@children.0/@children.1/@children.1/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/> + <children visible="true"> + <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="60" height="15" y="6" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="timer"/> + </children> + </children> + </children> + </children> + <connections xsi:type="pi:ManhattanConnection" visible="true" active="true" start="//@children.0/@children.0/@anchors.0" end="//@children.0/@children.1/@children.1/@anchors.0"> + <properties key="obj-type" value="conn"/> + <graphicsAlgorithm xsi:type="al:Polyline" foreground="//@colors.2" lineWidth="2" filled="false" transparency="0.0"/> + <link> + <businessObjects href="../trafficlight.example.room#LayerConnection:SSTraffic$application-TimingService!timer"/> + </link> + <connectionDecorators visible="true" locationRelative="true" location="1.0"> + <graphicsAlgorithm xsi:type="al:Polyline" foreground="//@colors.2" lineWidth="2" filled="false" transparency="0.0"> + <points x="-15" y="10"/> + <points/> + <points x="-15" y="-10"/> + </graphicsAlgorithm> + </connectionDecorators> + </connections> + <colors red="227" green="238" blue="249"/> + <colors red="255" green="255" blue="255"/> + <colors/> + <colors red="200" green="200" blue="200"/> + <fonts name="Arial" size="8"/> +</pi:Diagram> diff --git a/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/model/diagrams/trafficlight.example.TrafficController.behavior b/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/model/diagrams/trafficlight.example.TrafficController.behavior index cf2b85230..60c5e8acf 100644 --- a/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/model/diagrams/trafficlight.example.TrafficController.behavior +++ b/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/model/diagrams/trafficlight.example.TrafficController.behavior @@ -1,524 +1,524 @@ -<?xml version="1.0" encoding="ASCII"?>
-<pi:Diagram xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:al="http://eclipse.org/graphiti/mm/algorithms" xmlns:pi="http://eclipse.org/graphiti/mm/pictograms" visible="true" gridUnit="10" diagramTypeId="room.behavior" name="Behavior of TrafficController" pictogramLinks="//@link //@children.0/@link //@children.0/@children.1/@link //@children.0/@children.2/@link //@connections.0/@link //@children.0/@children.3/@link //@children.0/@children.4/@link //@connections.1/@link //@children.0/@children.5/@link //@children.0/@children.6/@link //@connections.2/@link //@connections.3/@link //@connections.4/@link //@connections.5/@link //@children.0/@children.7/@link //@connections.6/@link //@children.0/@children.8/@link //@children.0/@children.9/@link //@connections.7/@link //@connections.8/@link //@children.0/@children.10/@link //@connections.9/@link //@connections.10/@link //@connections.11/@link" verticalGridUnit="10" version="0.9.2">
- <graphicsAlgorithm xsi:type="al:Rectangle" background="//@colors.1" foreground="//@colors.0" lineWidth="1" transparency="0.0" width="1000" height="1000"/>
- <link>
- <businessObjects href="../trafficlight.example.room#ActorClass:TrafficController"/>
- </link>
- <children xsi:type="pi:ContainerShape" visible="true" active="true">
- <properties key="obj-type" value="sg"/>
- <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="880" height="580" x="40" y="40">
- <graphicsAlgorithmChildren xsi:type="al:RoundedRectangle" background="//@colors.1" foreground="//@colors.2" lineWidth="4" transparency="0.5" width="800" height="500" x="40" y="40" cornerHeight="20" cornerWidth="20"/>
- <graphicsAlgorithmChildren xsi:type="al:RoundedRectangle" foreground="//@colors.2" lineWidth="4" filled="false" transparency="0.0" width="800" height="500" x="40" y="40" cornerHeight="20" cornerWidth="20"/>
- </graphicsAlgorithm>
- <link>
- <businessObjects href="../trafficlight.example.room#StateGraph:TrafficController$sg"/>
- </link>
- <children visible="true">
- <graphicsAlgorithm xsi:type="al:Text" background="//@colors.2" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="800" height="80" y="40" font="//@fonts.1" horizontalAlignment="ALIGNMENT_RIGHT" verticalAlignment="ALIGNMENT_TOP" value="/"/>
- </children>
- <children xsi:type="pi:ContainerShape" visible="true" active="true">
- <properties key="obj-type" value="trp"/>
- <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="40" height="40" x="96" y="84">
- <graphicsAlgorithmChildren xsi:type="al:Ellipse" background="//@colors.1" foreground="//@colors.2" lineWidth="2" transparency="0.0" width="20" height="20" x="10" y="10"/>
- </graphicsAlgorithm>
- <link>
- <businessObjects href="../trafficlight.example.room#StateGraph:TrafficController$sg"/>
- </link>
- <anchors xsi:type="pi:ChopboxAnchor" outgoingConnections="//@connections.0" referencedGraphicsAlgorithm="//@children.0/@children.1/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/>
- <children visible="true">
- <graphicsAlgorithm xsi:type="al:Text" background="//@colors.2" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="40" height="20" y="10" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="I"/>
- </children>
- </children>
- <children xsi:type="pi:ContainerShape" visible="true" active="true">
- <properties key="obj-type" value="state"/>
- <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="120" height="90" x="307" y="109">
- <graphicsAlgorithmChildren xsi:type="al:RoundedRectangle" background="//@colors.3" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="60" height="30" x="30" y="30" cornerHeight="20" cornerWidth="20">
- <graphicsAlgorithmChildren xsi:type="al:RoundedRectangle" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="15" height="8" x="35" y="3" cornerHeight="5" cornerWidth="5"/>
- <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="true" transparency="0.0" x="30" y="24">
- <points x="-3" y="-3"/>
- <points x="-3" y="3"/>
- <points x="-11" y="3"/>
- </graphicsAlgorithmChildren>
- <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="30" y="24">
- <points x="3" y="-3"/>
- <points x="3" y="3"/>
- <points x="11" y="3"/>
- </graphicsAlgorithmChildren>
- <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="30" y="24">
- <points x="-2" y="-3"/>
- <points x="-2" y="3"/>
- <points x="2" y="3"/>
- <points x="2" y="-3"/>
- </graphicsAlgorithmChildren>
- </graphicsAlgorithmChildren>
- </graphicsAlgorithm>
- <link>
- <businessObjects href="../trafficlight.example.room#SimpleState:TrafficController$Idle"/>
- </link>
- <anchors xsi:type="pi:ChopboxAnchor" outgoingConnections="//@connections.1" incomingConnections="//@connections.0"/>
- <children visible="true">
- <graphicsAlgorithm xsi:type="al:Text" background="//@colors.2" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="60" height="30" x="30" y="30" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="Idle"/>
- </children>
- </children>
- <children xsi:type="pi:ContainerShape" visible="true" active="true">
- <properties key="obj-type" value="state"/>
- <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="186" height="90" x="138" y="382">
- <graphicsAlgorithmChildren xsi:type="al:RoundedRectangle" background="//@colors.3" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="126" height="30" x="30" y="30" cornerHeight="20" cornerWidth="20">
- <graphicsAlgorithmChildren xsi:type="al:RoundedRectangle" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="15" height="8" x="101" y="3" cornerHeight="5" cornerWidth="5"/>
- <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="true" transparency="0.0" x="63" y="24">
- <points x="-3" y="-3"/>
- <points x="-3" y="3"/>
- <points x="-11" y="3"/>
- </graphicsAlgorithmChildren>
- <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="63" y="24">
- <points x="3" y="-3"/>
- <points x="3" y="3"/>
- <points x="11" y="3"/>
- </graphicsAlgorithmChildren>
- <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="63" y="24">
- <points x="-2" y="-3"/>
- <points x="-2" y="3"/>
- <points x="2" y="3"/>
- <points x="2" y="-3"/>
- </graphicsAlgorithmChildren>
- </graphicsAlgorithmChildren>
- </graphicsAlgorithm>
- <link>
- <businessObjects href="../trafficlight.example.room#SimpleState:TrafficController$Light1GreenForCars"/>
- </link>
- <anchors xsi:type="pi:ChopboxAnchor" outgoingConnections="//@connections.6" incomingConnections="//@connections.4 //@connections.5" referencedGraphicsAlgorithm="//@children.0/@children.3/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/>
- <children visible="true">
- <graphicsAlgorithm xsi:type="al:Text" background="//@colors.2" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="126" height="30" x="30" y="30" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="Light1GreenForCars"/>
- </children>
- </children>
- <children xsi:type="pi:ContainerShape" visible="true" active="true">
- <properties key="obj-type" value="state"/>
- <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="239" height="90" x="103" y="209">
- <graphicsAlgorithmChildren xsi:type="al:RoundedRectangle" background="//@colors.3" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="179" height="30" x="30" y="30" cornerHeight="20" cornerWidth="20">
- <graphicsAlgorithmChildren xsi:type="al:RoundedRectangle" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="15" height="8" x="154" y="3" cornerHeight="5" cornerWidth="5"/>
- <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="true" transparency="0.0" x="89" y="24">
- <points x="-3" y="-3"/>
- <points x="-3" y="3"/>
- <points x="-11" y="3"/>
- </graphicsAlgorithmChildren>
- <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="89" y="24">
- <points x="3" y="-3"/>
- <points x="3" y="3"/>
- <points x="11" y="3"/>
- </graphicsAlgorithmChildren>
- <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="89" y="24">
- <points x="-2" y="-3"/>
- <points x="-2" y="3"/>
- <points x="2" y="3"/>
- <points x="2" y="-3"/>
- </graphicsAlgorithmChildren>
- </graphicsAlgorithmChildren>
- </graphicsAlgorithm>
- <link>
- <businessObjects href="../trafficlight.example.room#SimpleState:TrafficController$SwitchToLight1GreenForCars"/>
- </link>
- <anchors xsi:type="pi:ChopboxAnchor" outgoingConnections="//@connections.2 //@connections.3" incomingConnections="//@connections.1 //@connections.11"/>
- <children visible="true">
- <graphicsAlgorithm xsi:type="al:Text" background="//@colors.2" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="179" height="30" x="30" y="30" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="SwitchToLight1GreenForCars"/>
- </children>
- </children>
- <children xsi:type="pi:ContainerShape" visible="true" active="true">
- <properties key="obj-type" value="state"/>
- <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="120" height="90" x="106" y="288">
- <graphicsAlgorithmChildren xsi:type="al:RoundedRectangle" background="//@colors.3" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="60" height="30" x="30" y="30" cornerHeight="20" cornerWidth="20">
- <graphicsAlgorithmChildren xsi:type="al:RoundedRectangle" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="15" height="8" x="35" y="3" cornerHeight="5" cornerWidth="5"/>
- <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="30" y="24">
- <points x="-3" y="-3"/>
- <points x="-3" y="3"/>
- <points x="-11" y="3"/>
- </graphicsAlgorithmChildren>
- <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="30" y="24">
- <points x="3" y="-3"/>
- <points x="3" y="3"/>
- <points x="11" y="3"/>
- </graphicsAlgorithmChildren>
- <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="30" y="24">
- <points x="-2" y="-3"/>
- <points x="-2" y="3"/>
- <points x="2" y="3"/>
- <points x="2" y="-3"/>
- </graphicsAlgorithmChildren>
- </graphicsAlgorithmChildren>
- </graphicsAlgorithm>
- <link>
- <businessObjects href="../trafficlight.example.room#SimpleState:TrafficController$state0"/>
- </link>
- <anchors xsi:type="pi:ChopboxAnchor" outgoingConnections="//@connections.5" incomingConnections="//@connections.2" referencedGraphicsAlgorithm="//@children.0/@children.5/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/>
- <children visible="true">
- <graphicsAlgorithm xsi:type="al:Text" background="//@colors.2" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="60" height="30" x="30" y="30" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="state0"/>
- </children>
- </children>
- <children xsi:type="pi:ContainerShape" visible="true" active="true">
- <properties key="obj-type" value="state"/>
- <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="120" height="90" x="234" y="290">
- <graphicsAlgorithmChildren xsi:type="al:RoundedRectangle" background="//@colors.3" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="60" height="30" x="30" y="30" cornerHeight="20" cornerWidth="20">
- <graphicsAlgorithmChildren xsi:type="al:RoundedRectangle" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="15" height="8" x="35" y="3" cornerHeight="5" cornerWidth="5"/>
- <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="30" y="24">
- <points x="-3" y="-3"/>
- <points x="-3" y="3"/>
- <points x="-11" y="3"/>
- </graphicsAlgorithmChildren>
- <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="30" y="24">
- <points x="3" y="-3"/>
- <points x="3" y="3"/>
- <points x="11" y="3"/>
- </graphicsAlgorithmChildren>
- <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="30" y="24">
- <points x="-2" y="-3"/>
- <points x="-2" y="3"/>
- <points x="2" y="3"/>
- <points x="2" y="-3"/>
- </graphicsAlgorithmChildren>
- </graphicsAlgorithmChildren>
- </graphicsAlgorithm>
- <link>
- <businessObjects href="../trafficlight.example.room#SimpleState:TrafficController$state1"/>
- </link>
- <anchors xsi:type="pi:ChopboxAnchor" outgoingConnections="//@connections.4" incomingConnections="//@connections.3" referencedGraphicsAlgorithm="//@children.0/@children.6/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/>
- <children visible="true">
- <graphicsAlgorithm xsi:type="al:Text" background="//@colors.2" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="60" height="30" x="30" y="30" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="state1"/>
- </children>
- </children>
- <children xsi:type="pi:ContainerShape" visible="true" active="true">
- <properties key="obj-type" value="state"/>
- <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="239" height="90" x="527" y="209">
- <graphicsAlgorithmChildren xsi:type="al:RoundedRectangle" background="//@colors.3" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="179" height="30" x="30" y="30" cornerHeight="20" cornerWidth="20">
- <graphicsAlgorithmChildren xsi:type="al:RoundedRectangle" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="15" height="8" x="154" y="3" cornerHeight="5" cornerWidth="5"/>
- <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="true" transparency="0.0" x="89" y="24">
- <points x="-3" y="-3"/>
- <points x="-3" y="3"/>
- <points x="-11" y="3"/>
- </graphicsAlgorithmChildren>
- <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="89" y="24">
- <points x="3" y="-3"/>
- <points x="3" y="3"/>
- <points x="11" y="3"/>
- </graphicsAlgorithmChildren>
- <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="89" y="24">
- <points x="-2" y="-3"/>
- <points x="-2" y="3"/>
- <points x="2" y="3"/>
- <points x="2" y="-3"/>
- </graphicsAlgorithmChildren>
- </graphicsAlgorithmChildren>
- </graphicsAlgorithm>
- <link>
- <businessObjects href="../trafficlight.example.room#SimpleState:TrafficController$SwitchToLight2GreenForCars"/>
- </link>
- <anchors xsi:type="pi:ChopboxAnchor" outgoingConnections="//@connections.7 //@connections.8" incomingConnections="//@connections.6"/>
- <children visible="true">
- <graphicsAlgorithm xsi:type="al:Text" background="//@colors.2" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="179" height="30" x="30" y="30" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="SwitchToLight2GreenForCars"/>
- </children>
- </children>
- <children xsi:type="pi:ContainerShape" visible="true" active="true">
- <properties key="obj-type" value="state"/>
- <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="120" height="90" x="497" y="304">
- <graphicsAlgorithmChildren xsi:type="al:RoundedRectangle" background="//@colors.3" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="60" height="30" x="30" y="30" cornerHeight="20" cornerWidth="20">
- <graphicsAlgorithmChildren xsi:type="al:RoundedRectangle" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="15" height="8" x="35" y="3" cornerHeight="5" cornerWidth="5"/>
- <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="30" y="24">
- <points x="-3" y="-3"/>
- <points x="-3" y="3"/>
- <points x="-11" y="3"/>
- </graphicsAlgorithmChildren>
- <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="30" y="24">
- <points x="3" y="-3"/>
- <points x="3" y="3"/>
- <points x="11" y="3"/>
- </graphicsAlgorithmChildren>
- <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="30" y="24">
- <points x="-2" y="-3"/>
- <points x="-2" y="3"/>
- <points x="2" y="3"/>
- <points x="2" y="-3"/>
- </graphicsAlgorithmChildren>
- </graphicsAlgorithmChildren>
- </graphicsAlgorithm>
- <link>
- <businessObjects href="../trafficlight.example.room#SimpleState:TrafficController$state2"/>
- </link>
- <anchors xsi:type="pi:ChopboxAnchor" outgoingConnections="//@connections.9" incomingConnections="//@connections.7" referencedGraphicsAlgorithm="//@children.0/@children.8/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/>
- <children visible="true">
- <graphicsAlgorithm xsi:type="al:Text" background="//@colors.2" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="60" height="30" x="30" y="30" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="state2"/>
- </children>
- </children>
- <children xsi:type="pi:ContainerShape" visible="true" active="true">
- <properties key="obj-type" value="state"/>
- <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="120" height="90" x="659" y="304">
- <graphicsAlgorithmChildren xsi:type="al:RoundedRectangle" background="//@colors.3" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="60" height="30" x="30" y="30" cornerHeight="20" cornerWidth="20">
- <graphicsAlgorithmChildren xsi:type="al:RoundedRectangle" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="15" height="8" x="35" y="3" cornerHeight="5" cornerWidth="5"/>
- <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="30" y="24">
- <points x="-3" y="-3"/>
- <points x="-3" y="3"/>
- <points x="-11" y="3"/>
- </graphicsAlgorithmChildren>
- <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="30" y="24">
- <points x="3" y="-3"/>
- <points x="3" y="3"/>
- <points x="11" y="3"/>
- </graphicsAlgorithmChildren>
- <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="30" y="24">
- <points x="-2" y="-3"/>
- <points x="-2" y="3"/>
- <points x="2" y="3"/>
- <points x="2" y="-3"/>
- </graphicsAlgorithmChildren>
- </graphicsAlgorithmChildren>
- </graphicsAlgorithm>
- <link>
- <businessObjects href="../trafficlight.example.room#SimpleState:TrafficController$state3"/>
- </link>
- <anchors xsi:type="pi:ChopboxAnchor" outgoingConnections="//@connections.10" incomingConnections="//@connections.8" referencedGraphicsAlgorithm="//@children.0/@children.9/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/>
- <children visible="true">
- <graphicsAlgorithm xsi:type="al:Text" background="//@colors.2" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="60" height="30" x="30" y="30" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="state3"/>
- </children>
- </children>
- <children xsi:type="pi:ContainerShape" visible="true" active="true">
- <properties key="obj-type" value="state"/>
- <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="186" height="90" x="554" y="394">
- <graphicsAlgorithmChildren xsi:type="al:RoundedRectangle" background="//@colors.3" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="126" height="30" x="30" y="30" cornerHeight="20" cornerWidth="20">
- <graphicsAlgorithmChildren xsi:type="al:RoundedRectangle" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="15" height="8" x="101" y="3" cornerHeight="5" cornerWidth="5"/>
- <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="true" transparency="0.0" x="63" y="24">
- <points x="-3" y="-3"/>
- <points x="-3" y="3"/>
- <points x="-11" y="3"/>
- </graphicsAlgorithmChildren>
- <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="63" y="24">
- <points x="3" y="-3"/>
- <points x="3" y="3"/>
- <points x="11" y="3"/>
- </graphicsAlgorithmChildren>
- <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="63" y="24">
- <points x="-2" y="-3"/>
- <points x="-2" y="3"/>
- <points x="2" y="3"/>
- <points x="2" y="-3"/>
- </graphicsAlgorithmChildren>
- </graphicsAlgorithmChildren>
- </graphicsAlgorithm>
- <link>
- <businessObjects href="../trafficlight.example.room#SimpleState:TrafficController$Light2GreenForCars"/>
- </link>
- <anchors xsi:type="pi:ChopboxAnchor" outgoingConnections="//@connections.11" incomingConnections="//@connections.9 //@connections.10" referencedGraphicsAlgorithm="//@children.0/@children.10/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/>
- <children visible="true">
- <graphicsAlgorithm xsi:type="al:Text" background="//@colors.2" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="126" height="30" x="30" y="30" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="Light2GreenForCars"/>
- </children>
- </children>
- </children>
- <connections xsi:type="pi:FreeFormConnection" visible="true" active="true" start="//@children.0/@children.1/@anchors.0" end="//@children.0/@children.2/@anchors.0">
- <properties key="obj-type" value="trans"/>
- <graphicsAlgorithm xsi:type="al:Polyline" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0"/>
- <link>
- <businessObjects href="../trafficlight.example.room#InitialTransition:TrafficController$initial"/>
- </link>
- <connectionDecorators visible="true" locationRelative="true" location="1.0">
- <graphicsAlgorithm xsi:type="al:Polygon" background="//@colors.1" foreground="//@colors.2" lineWidth="1" filled="true" transparency="0.0">
- <points x="-15" y="5"/>
- <points/>
- <points x="-15" y="-5"/>
- </graphicsAlgorithm>
- </connectionDecorators>
- <connectionDecorators visible="true" active="true" locationRelative="true" location="0.5">
- <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" x="10" font="//@fonts.0" value="init"/>
- </connectionDecorators>
- </connections>
- <connections xsi:type="pi:FreeFormConnection" visible="true" active="true" start="//@children.0/@children.2/@anchors.0" end="//@children.0/@children.4/@anchors.0">
- <properties key="obj-type" value="trans"/>
- <graphicsAlgorithm xsi:type="al:Polyline" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0"/>
- <link>
- <businessObjects href="../trafficlight.example.room#TriggeredTransition:TrafficController$tr0"/>
- </link>
- <connectionDecorators visible="true" locationRelative="true" location="1.0">
- <graphicsAlgorithm xsi:type="al:Polygon" background="//@colors.1" foreground="//@colors.2" lineWidth="1" filled="true" transparency="0.0">
- <points x="-15" y="5"/>
- <points/>
- <points x="-15" y="-5"/>
- </graphicsAlgorithm>
- </connectionDecorators>
- <connectionDecorators visible="true" active="true" locationRelative="true" location="0.5">
- <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" x="10" font="//@fonts.0" value="tr0: <timeout:timeou..."/>
- </connectionDecorators>
- </connections>
- <connections xsi:type="pi:FreeFormConnection" visible="true" active="true" start="//@children.0/@children.4/@anchors.0" end="//@children.0/@children.5/@anchors.0">
- <properties key="obj-type" value="trans"/>
- <graphicsAlgorithm xsi:type="al:Polyline" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0"/>
- <link>
- <businessObjects href="../trafficlight.example.room#TriggeredTransition:TrafficController$tr1"/>
- </link>
- <connectionDecorators visible="true" locationRelative="true" location="1.0">
- <graphicsAlgorithm xsi:type="al:Polygon" background="//@colors.1" foreground="//@colors.2" lineWidth="1" filled="true" transparency="0.0">
- <points x="-15" y="5"/>
- <points/>
- <points x="-15" y="-5"/>
- </graphicsAlgorithm>
- </connectionDecorators>
- <connectionDecorators visible="true" active="true" locationRelative="true" location="0.5">
- <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" x="-79" y="-1" font="//@fonts.0" value="tr1: <greenForCarDon..."/>
- </connectionDecorators>
- </connections>
- <connections xsi:type="pi:FreeFormConnection" visible="true" active="true" start="//@children.0/@children.4/@anchors.0" end="//@children.0/@children.6/@anchors.0">
- <properties key="obj-type" value="trans"/>
- <graphicsAlgorithm xsi:type="al:Polyline" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0"/>
- <link>
- <businessObjects href="../trafficlight.example.room#TriggeredTransition:TrafficController$tr2"/>
- </link>
- <connectionDecorators visible="true" locationRelative="true" location="1.0">
- <graphicsAlgorithm xsi:type="al:Polygon" background="//@colors.1" foreground="//@colors.2" lineWidth="1" filled="true" transparency="0.0">
- <points x="-15" y="5"/>
- <points/>
- <points x="-15" y="-5"/>
- </graphicsAlgorithm>
- </connectionDecorators>
- <connectionDecorators visible="true" active="true" locationRelative="true" location="0.5">
- <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" x="10" font="//@fonts.0" value="tr2: <greenForPedDon..."/>
- </connectionDecorators>
- </connections>
- <connections xsi:type="pi:FreeFormConnection" visible="true" active="true" start="//@children.0/@children.6/@anchors.0" end="//@children.0/@children.3/@anchors.0">
- <properties key="obj-type" value="trans"/>
- <graphicsAlgorithm xsi:type="al:Polyline" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0"/>
- <link>
- <businessObjects href="../trafficlight.example.room#TriggeredTransition:TrafficController$tr3"/>
- </link>
- <connectionDecorators visible="true" locationRelative="true" location="1.0">
- <graphicsAlgorithm xsi:type="al:Polygon" background="//@colors.1" foreground="//@colors.2" lineWidth="1" filled="true" transparency="0.0">
- <points x="-15" y="5"/>
- <points/>
- <points x="-15" y="-5"/>
- </graphicsAlgorithm>
- </connectionDecorators>
- <connectionDecorators visible="true" active="true" locationRelative="true" location="0.5">
- <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" x="-26" y="-8" font="//@fonts.0" value="tr3: <greenForCarDon..."/>
- </connectionDecorators>
- </connections>
- <connections xsi:type="pi:FreeFormConnection" visible="true" active="true" start="//@children.0/@children.5/@anchors.0" end="//@children.0/@children.3/@anchors.0">
- <properties key="obj-type" value="trans"/>
- <graphicsAlgorithm xsi:type="al:Polyline" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0"/>
- <link>
- <businessObjects href="../trafficlight.example.room#TriggeredTransition:TrafficController$tr4"/>
- </link>
- <connectionDecorators visible="true" locationRelative="true" location="1.0">
- <graphicsAlgorithm xsi:type="al:Polygon" background="//@colors.1" foreground="//@colors.2" lineWidth="1" filled="true" transparency="0.0">
- <points x="-15" y="5"/>
- <points/>
- <points x="-15" y="-5"/>
- </graphicsAlgorithm>
- </connectionDecorators>
- <connectionDecorators visible="true" active="true" locationRelative="true" location="0.5">
- <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" x="-92" y="-7" font="//@fonts.0" value="tr4: <greenForPedDon..."/>
- </connectionDecorators>
- </connections>
- <connections xsi:type="pi:FreeFormConnection" visible="true" active="true" start="//@children.0/@children.3/@anchors.0" end="//@children.0/@children.7/@anchors.0">
- <properties key="obj-type" value="trans"/>
- <graphicsAlgorithm xsi:type="al:Polyline" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0"/>
- <link>
- <businessObjects href="../trafficlight.example.room#TriggeredTransition:TrafficController$tr5"/>
- </link>
- <connectionDecorators visible="true" locationRelative="true" location="1.0">
- <graphicsAlgorithm xsi:type="al:Polygon" background="//@colors.1" foreground="//@colors.2" lineWidth="1" filled="true" transparency="0.0">
- <points x="-15" y="5"/>
- <points/>
- <points x="-15" y="-5"/>
- </graphicsAlgorithm>
- </connectionDecorators>
- <connectionDecorators visible="true" active="true" locationRelative="true" location="0.5">
- <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" x="-35" y="-20" font="//@fonts.0" value="tr5: <timeout:timeou..."/>
- </connectionDecorators>
- <bendpoints x="471" y="364"/>
- </connections>
- <connections xsi:type="pi:FreeFormConnection" visible="true" active="true" start="//@children.0/@children.7/@anchors.0" end="//@children.0/@children.8/@anchors.0">
- <properties key="obj-type" value="trans"/>
- <graphicsAlgorithm xsi:type="al:Polyline" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0"/>
- <link>
- <businessObjects href="../trafficlight.example.room#TriggeredTransition:TrafficController$tr6"/>
- </link>
- <connectionDecorators visible="true" locationRelative="true" location="1.0">
- <graphicsAlgorithm xsi:type="al:Polygon" background="//@colors.1" foreground="//@colors.2" lineWidth="1" filled="true" transparency="0.0">
- <points x="-15" y="5"/>
- <points/>
- <points x="-15" y="-5"/>
- </graphicsAlgorithm>
- </connectionDecorators>
- <connectionDecorators visible="true" active="true" locationRelative="true" location="0.5">
- <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" x="-37" y="2" font="//@fonts.0" value="tr6: <greenForPedDon..."/>
- </connectionDecorators>
- </connections>
- <connections xsi:type="pi:FreeFormConnection" visible="true" active="true" start="//@children.0/@children.7/@anchors.0" end="//@children.0/@children.9/@anchors.0">
- <properties key="obj-type" value="trans"/>
- <graphicsAlgorithm xsi:type="al:Polyline" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0"/>
- <link>
- <businessObjects href="../trafficlight.example.room#TriggeredTransition:TrafficController$tr7"/>
- </link>
- <connectionDecorators visible="true" locationRelative="true" location="1.0">
- <graphicsAlgorithm xsi:type="al:Polygon" background="//@colors.1" foreground="//@colors.2" lineWidth="1" filled="true" transparency="0.0">
- <points x="-15" y="5"/>
- <points/>
- <points x="-15" y="-5"/>
- </graphicsAlgorithm>
- </connectionDecorators>
- <connectionDecorators visible="true" active="true" locationRelative="true" location="0.5">
- <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" x="10" font="//@fonts.0" value="tr7: <greenForCarDon..."/>
- </connectionDecorators>
- </connections>
- <connections xsi:type="pi:FreeFormConnection" visible="true" active="true" start="//@children.0/@children.8/@anchors.0" end="//@children.0/@children.10/@anchors.0">
- <properties key="obj-type" value="trans"/>
- <graphicsAlgorithm xsi:type="al:Polyline" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0"/>
- <link>
- <businessObjects href="../trafficlight.example.room#TriggeredTransition:TrafficController$tr8"/>
- </link>
- <connectionDecorators visible="true" locationRelative="true" location="1.0">
- <graphicsAlgorithm xsi:type="al:Polygon" background="//@colors.1" foreground="//@colors.2" lineWidth="1" filled="true" transparency="0.0">
- <points x="-15" y="5"/>
- <points/>
- <points x="-15" y="-5"/>
- </graphicsAlgorithm>
- </connectionDecorators>
- <connectionDecorators visible="true" active="true" locationRelative="true" location="0.5">
- <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" x="10" font="//@fonts.0" value="tr8: <greenForCarDon..."/>
- </connectionDecorators>
- </connections>
- <connections xsi:type="pi:FreeFormConnection" visible="true" active="true" start="//@children.0/@children.9/@anchors.0" end="//@children.0/@children.10/@anchors.0">
- <properties key="obj-type" value="trans"/>
- <graphicsAlgorithm xsi:type="al:Polyline" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0"/>
- <link>
- <businessObjects href="../trafficlight.example.room#TriggeredTransition:TrafficController$tr9"/>
- </link>
- <connectionDecorators visible="true" locationRelative="true" location="1.0">
- <graphicsAlgorithm xsi:type="al:Polygon" background="//@colors.1" foreground="//@colors.2" lineWidth="1" filled="true" transparency="0.0">
- <points x="-15" y="5"/>
- <points/>
- <points x="-15" y="-5"/>
- </graphicsAlgorithm>
- </connectionDecorators>
- <connectionDecorators visible="true" active="true" locationRelative="true" location="0.5">
- <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" x="10" font="//@fonts.0" value="tr9: <greenForPedDon..."/>
- </connectionDecorators>
- </connections>
- <connections xsi:type="pi:FreeFormConnection" visible="true" active="true" start="//@children.0/@children.10/@anchors.0" end="//@children.0/@children.4/@anchors.0">
- <properties key="obj-type" value="trans"/>
- <graphicsAlgorithm xsi:type="al:Polyline" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0"/>
- <link>
- <businessObjects href="../trafficlight.example.room#TriggeredTransition:TrafficController$tr10"/>
- </link>
- <connectionDecorators visible="true" locationRelative="true" location="1.0">
- <graphicsAlgorithm xsi:type="al:Polygon" background="//@colors.1" foreground="//@colors.2" lineWidth="1" filled="true" transparency="0.0">
- <points x="-15" y="5"/>
- <points/>
- <points x="-15" y="-5"/>
- </graphicsAlgorithm>
- </connectionDecorators>
- <connectionDecorators visible="true" active="true" locationRelative="true" location="0.5">
- <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" x="10" font="//@fonts.0" value="tr10: <timeout:timeo..."/>
- </connectionDecorators>
- <bendpoints x="487" y="423"/>
- </connections>
- <colors red="227" green="238" blue="249"/>
- <colors red="255" green="255" blue="255"/>
- <colors/>
- <colors red="200" green="200" blue="200"/>
- <fonts name="Arial" size="8"/>
- <fonts name="Arial" size="9" bold="true"/>
-</pi:Diagram>
+<?xml version="1.0" encoding="ASCII"?> +<pi:Diagram xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:al="http://eclipse.org/graphiti/mm/algorithms" xmlns:pi="http://eclipse.org/graphiti/mm/pictograms" visible="true" gridUnit="10" diagramTypeId="room.behavior" name="Behavior of TrafficController" pictogramLinks="//@link //@children.0/@link //@children.0/@children.1/@link //@children.0/@children.2/@link //@connections.0/@link //@children.0/@children.3/@link //@children.0/@children.4/@link //@connections.1/@link //@children.0/@children.5/@link //@children.0/@children.6/@link //@connections.2/@link //@connections.3/@link //@connections.4/@link //@connections.5/@link //@children.0/@children.7/@link //@connections.6/@link //@children.0/@children.8/@link //@children.0/@children.9/@link //@connections.7/@link //@connections.8/@link //@children.0/@children.10/@link //@connections.9/@link //@connections.10/@link //@connections.11/@link" verticalGridUnit="10" version="0.9.2"> + <graphicsAlgorithm xsi:type="al:Rectangle" background="//@colors.1" foreground="//@colors.0" lineWidth="1" transparency="0.0" width="1000" height="1000"/> + <link> + <businessObjects href="../trafficlight.example.room#ActorClass:TrafficController"/> + </link> + <children xsi:type="pi:ContainerShape" visible="true" active="true"> + <properties key="obj-type" value="sg"/> + <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="880" height="580" x="40" y="40"> + <graphicsAlgorithmChildren xsi:type="al:RoundedRectangle" background="//@colors.1" foreground="//@colors.2" lineWidth="4" transparency="0.5" width="800" height="500" x="40" y="40" cornerHeight="20" cornerWidth="20"/> + <graphicsAlgorithmChildren xsi:type="al:RoundedRectangle" foreground="//@colors.2" lineWidth="4" filled="false" transparency="0.0" width="800" height="500" x="40" y="40" cornerHeight="20" cornerWidth="20"/> + </graphicsAlgorithm> + <link> + <businessObjects href="../trafficlight.example.room#StateGraph:TrafficController$sg"/> + </link> + <children visible="true"> + <graphicsAlgorithm xsi:type="al:Text" background="//@colors.2" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="800" height="80" y="40" font="//@fonts.1" horizontalAlignment="ALIGNMENT_RIGHT" verticalAlignment="ALIGNMENT_TOP" value="/"/> + </children> + <children xsi:type="pi:ContainerShape" visible="true" active="true"> + <properties key="obj-type" value="trp"/> + <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="40" height="40" x="96" y="84"> + <graphicsAlgorithmChildren xsi:type="al:Ellipse" background="//@colors.1" foreground="//@colors.2" lineWidth="2" transparency="0.0" width="20" height="20" x="10" y="10"/> + </graphicsAlgorithm> + <link> + <businessObjects href="../trafficlight.example.room#StateGraph:TrafficController$sg"/> + </link> + <anchors xsi:type="pi:ChopboxAnchor" outgoingConnections="//@connections.0" referencedGraphicsAlgorithm="//@children.0/@children.1/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/> + <children visible="true"> + <graphicsAlgorithm xsi:type="al:Text" background="//@colors.2" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="40" height="20" y="10" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="I"/> + </children> + </children> + <children xsi:type="pi:ContainerShape" visible="true" active="true"> + <properties key="obj-type" value="state"/> + <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="120" height="90" x="307" y="109"> + <graphicsAlgorithmChildren xsi:type="al:RoundedRectangle" background="//@colors.3" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="60" height="30" x="30" y="30" cornerHeight="20" cornerWidth="20"> + <graphicsAlgorithmChildren xsi:type="al:RoundedRectangle" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="15" height="8" x="35" y="3" cornerHeight="5" cornerWidth="5"/> + <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="true" transparency="0.0" x="30" y="24"> + <points x="-3" y="-3"/> + <points x="-3" y="3"/> + <points x="-11" y="3"/> + </graphicsAlgorithmChildren> + <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="30" y="24"> + <points x="3" y="-3"/> + <points x="3" y="3"/> + <points x="11" y="3"/> + </graphicsAlgorithmChildren> + <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="30" y="24"> + <points x="-2" y="-3"/> + <points x="-2" y="3"/> + <points x="2" y="3"/> + <points x="2" y="-3"/> + </graphicsAlgorithmChildren> + </graphicsAlgorithmChildren> + </graphicsAlgorithm> + <link> + <businessObjects href="../trafficlight.example.room#SimpleState:TrafficController$Idle"/> + </link> + <anchors xsi:type="pi:ChopboxAnchor" outgoingConnections="//@connections.1" incomingConnections="//@connections.0"/> + <children visible="true"> + <graphicsAlgorithm xsi:type="al:Text" background="//@colors.2" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="60" height="30" x="30" y="30" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="Idle"/> + </children> + </children> + <children xsi:type="pi:ContainerShape" visible="true" active="true"> + <properties key="obj-type" value="state"/> + <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="186" height="90" x="138" y="382"> + <graphicsAlgorithmChildren xsi:type="al:RoundedRectangle" background="//@colors.3" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="126" height="30" x="30" y="30" cornerHeight="20" cornerWidth="20"> + <graphicsAlgorithmChildren xsi:type="al:RoundedRectangle" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="15" height="8" x="101" y="3" cornerHeight="5" cornerWidth="5"/> + <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="true" transparency="0.0" x="63" y="24"> + <points x="-3" y="-3"/> + <points x="-3" y="3"/> + <points x="-11" y="3"/> + </graphicsAlgorithmChildren> + <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="63" y="24"> + <points x="3" y="-3"/> + <points x="3" y="3"/> + <points x="11" y="3"/> + </graphicsAlgorithmChildren> + <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="63" y="24"> + <points x="-2" y="-3"/> + <points x="-2" y="3"/> + <points x="2" y="3"/> + <points x="2" y="-3"/> + </graphicsAlgorithmChildren> + </graphicsAlgorithmChildren> + </graphicsAlgorithm> + <link> + <businessObjects href="../trafficlight.example.room#SimpleState:TrafficController$Light1GreenForCars"/> + </link> + <anchors xsi:type="pi:ChopboxAnchor" outgoingConnections="//@connections.6" incomingConnections="//@connections.4 //@connections.5" referencedGraphicsAlgorithm="//@children.0/@children.3/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/> + <children visible="true"> + <graphicsAlgorithm xsi:type="al:Text" background="//@colors.2" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="126" height="30" x="30" y="30" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="Light1GreenForCars"/> + </children> + </children> + <children xsi:type="pi:ContainerShape" visible="true" active="true"> + <properties key="obj-type" value="state"/> + <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="239" height="90" x="103" y="209"> + <graphicsAlgorithmChildren xsi:type="al:RoundedRectangle" background="//@colors.3" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="179" height="30" x="30" y="30" cornerHeight="20" cornerWidth="20"> + <graphicsAlgorithmChildren xsi:type="al:RoundedRectangle" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="15" height="8" x="154" y="3" cornerHeight="5" cornerWidth="5"/> + <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="true" transparency="0.0" x="89" y="24"> + <points x="-3" y="-3"/> + <points x="-3" y="3"/> + <points x="-11" y="3"/> + </graphicsAlgorithmChildren> + <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="89" y="24"> + <points x="3" y="-3"/> + <points x="3" y="3"/> + <points x="11" y="3"/> + </graphicsAlgorithmChildren> + <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="89" y="24"> + <points x="-2" y="-3"/> + <points x="-2" y="3"/> + <points x="2" y="3"/> + <points x="2" y="-3"/> + </graphicsAlgorithmChildren> + </graphicsAlgorithmChildren> + </graphicsAlgorithm> + <link> + <businessObjects href="../trafficlight.example.room#SimpleState:TrafficController$SwitchToLight1GreenForCars"/> + </link> + <anchors xsi:type="pi:ChopboxAnchor" outgoingConnections="//@connections.2 //@connections.3" incomingConnections="//@connections.1 //@connections.11"/> + <children visible="true"> + <graphicsAlgorithm xsi:type="al:Text" background="//@colors.2" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="179" height="30" x="30" y="30" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="SwitchToLight1GreenForCars"/> + </children> + </children> + <children xsi:type="pi:ContainerShape" visible="true" active="true"> + <properties key="obj-type" value="state"/> + <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="120" height="90" x="106" y="288"> + <graphicsAlgorithmChildren xsi:type="al:RoundedRectangle" background="//@colors.3" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="60" height="30" x="30" y="30" cornerHeight="20" cornerWidth="20"> + <graphicsAlgorithmChildren xsi:type="al:RoundedRectangle" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="15" height="8" x="35" y="3" cornerHeight="5" cornerWidth="5"/> + <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="30" y="24"> + <points x="-3" y="-3"/> + <points x="-3" y="3"/> + <points x="-11" y="3"/> + </graphicsAlgorithmChildren> + <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="30" y="24"> + <points x="3" y="-3"/> + <points x="3" y="3"/> + <points x="11" y="3"/> + </graphicsAlgorithmChildren> + <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="30" y="24"> + <points x="-2" y="-3"/> + <points x="-2" y="3"/> + <points x="2" y="3"/> + <points x="2" y="-3"/> + </graphicsAlgorithmChildren> + </graphicsAlgorithmChildren> + </graphicsAlgorithm> + <link> + <businessObjects href="../trafficlight.example.room#SimpleState:TrafficController$state0"/> + </link> + <anchors xsi:type="pi:ChopboxAnchor" outgoingConnections="//@connections.5" incomingConnections="//@connections.2" referencedGraphicsAlgorithm="//@children.0/@children.5/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/> + <children visible="true"> + <graphicsAlgorithm xsi:type="al:Text" background="//@colors.2" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="60" height="30" x="30" y="30" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="state0"/> + </children> + </children> + <children xsi:type="pi:ContainerShape" visible="true" active="true"> + <properties key="obj-type" value="state"/> + <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="120" height="90" x="234" y="290"> + <graphicsAlgorithmChildren xsi:type="al:RoundedRectangle" background="//@colors.3" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="60" height="30" x="30" y="30" cornerHeight="20" cornerWidth="20"> + <graphicsAlgorithmChildren xsi:type="al:RoundedRectangle" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="15" height="8" x="35" y="3" cornerHeight="5" cornerWidth="5"/> + <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="30" y="24"> + <points x="-3" y="-3"/> + <points x="-3" y="3"/> + <points x="-11" y="3"/> + </graphicsAlgorithmChildren> + <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="30" y="24"> + <points x="3" y="-3"/> + <points x="3" y="3"/> + <points x="11" y="3"/> + </graphicsAlgorithmChildren> + <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="30" y="24"> + <points x="-2" y="-3"/> + <points x="-2" y="3"/> + <points x="2" y="3"/> + <points x="2" y="-3"/> + </graphicsAlgorithmChildren> + </graphicsAlgorithmChildren> + </graphicsAlgorithm> + <link> + <businessObjects href="../trafficlight.example.room#SimpleState:TrafficController$state1"/> + </link> + <anchors xsi:type="pi:ChopboxAnchor" outgoingConnections="//@connections.4" incomingConnections="//@connections.3" referencedGraphicsAlgorithm="//@children.0/@children.6/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/> + <children visible="true"> + <graphicsAlgorithm xsi:type="al:Text" background="//@colors.2" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="60" height="30" x="30" y="30" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="state1"/> + </children> + </children> + <children xsi:type="pi:ContainerShape" visible="true" active="true"> + <properties key="obj-type" value="state"/> + <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="239" height="90" x="527" y="209"> + <graphicsAlgorithmChildren xsi:type="al:RoundedRectangle" background="//@colors.3" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="179" height="30" x="30" y="30" cornerHeight="20" cornerWidth="20"> + <graphicsAlgorithmChildren xsi:type="al:RoundedRectangle" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="15" height="8" x="154" y="3" cornerHeight="5" cornerWidth="5"/> + <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="true" transparency="0.0" x="89" y="24"> + <points x="-3" y="-3"/> + <points x="-3" y="3"/> + <points x="-11" y="3"/> + </graphicsAlgorithmChildren> + <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="89" y="24"> + <points x="3" y="-3"/> + <points x="3" y="3"/> + <points x="11" y="3"/> + </graphicsAlgorithmChildren> + <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="89" y="24"> + <points x="-2" y="-3"/> + <points x="-2" y="3"/> + <points x="2" y="3"/> + <points x="2" y="-3"/> + </graphicsAlgorithmChildren> + </graphicsAlgorithmChildren> + </graphicsAlgorithm> + <link> + <businessObjects href="../trafficlight.example.room#SimpleState:TrafficController$SwitchToLight2GreenForCars"/> + </link> + <anchors xsi:type="pi:ChopboxAnchor" outgoingConnections="//@connections.7 //@connections.8" incomingConnections="//@connections.6"/> + <children visible="true"> + <graphicsAlgorithm xsi:type="al:Text" background="//@colors.2" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="179" height="30" x="30" y="30" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="SwitchToLight2GreenForCars"/> + </children> + </children> + <children xsi:type="pi:ContainerShape" visible="true" active="true"> + <properties key="obj-type" value="state"/> + <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="120" height="90" x="497" y="304"> + <graphicsAlgorithmChildren xsi:type="al:RoundedRectangle" background="//@colors.3" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="60" height="30" x="30" y="30" cornerHeight="20" cornerWidth="20"> + <graphicsAlgorithmChildren xsi:type="al:RoundedRectangle" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="15" height="8" x="35" y="3" cornerHeight="5" cornerWidth="5"/> + <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="30" y="24"> + <points x="-3" y="-3"/> + <points x="-3" y="3"/> + <points x="-11" y="3"/> + </graphicsAlgorithmChildren> + <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="30" y="24"> + <points x="3" y="-3"/> + <points x="3" y="3"/> + <points x="11" y="3"/> + </graphicsAlgorithmChildren> + <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="30" y="24"> + <points x="-2" y="-3"/> + <points x="-2" y="3"/> + <points x="2" y="3"/> + <points x="2" y="-3"/> + </graphicsAlgorithmChildren> + </graphicsAlgorithmChildren> + </graphicsAlgorithm> + <link> + <businessObjects href="../trafficlight.example.room#SimpleState:TrafficController$state2"/> + </link> + <anchors xsi:type="pi:ChopboxAnchor" outgoingConnections="//@connections.9" incomingConnections="//@connections.7" referencedGraphicsAlgorithm="//@children.0/@children.8/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/> + <children visible="true"> + <graphicsAlgorithm xsi:type="al:Text" background="//@colors.2" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="60" height="30" x="30" y="30" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="state2"/> + </children> + </children> + <children xsi:type="pi:ContainerShape" visible="true" active="true"> + <properties key="obj-type" value="state"/> + <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="120" height="90" x="659" y="304"> + <graphicsAlgorithmChildren xsi:type="al:RoundedRectangle" background="//@colors.3" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="60" height="30" x="30" y="30" cornerHeight="20" cornerWidth="20"> + <graphicsAlgorithmChildren xsi:type="al:RoundedRectangle" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="15" height="8" x="35" y="3" cornerHeight="5" cornerWidth="5"/> + <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="30" y="24"> + <points x="-3" y="-3"/> + <points x="-3" y="3"/> + <points x="-11" y="3"/> + </graphicsAlgorithmChildren> + <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="30" y="24"> + <points x="3" y="-3"/> + <points x="3" y="3"/> + <points x="11" y="3"/> + </graphicsAlgorithmChildren> + <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="30" y="24"> + <points x="-2" y="-3"/> + <points x="-2" y="3"/> + <points x="2" y="3"/> + <points x="2" y="-3"/> + </graphicsAlgorithmChildren> + </graphicsAlgorithmChildren> + </graphicsAlgorithm> + <link> + <businessObjects href="../trafficlight.example.room#SimpleState:TrafficController$state3"/> + </link> + <anchors xsi:type="pi:ChopboxAnchor" outgoingConnections="//@connections.10" incomingConnections="//@connections.8" referencedGraphicsAlgorithm="//@children.0/@children.9/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/> + <children visible="true"> + <graphicsAlgorithm xsi:type="al:Text" background="//@colors.2" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="60" height="30" x="30" y="30" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="state3"/> + </children> + </children> + <children xsi:type="pi:ContainerShape" visible="true" active="true"> + <properties key="obj-type" value="state"/> + <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="186" height="90" x="554" y="394"> + <graphicsAlgorithmChildren xsi:type="al:RoundedRectangle" background="//@colors.3" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="126" height="30" x="30" y="30" cornerHeight="20" cornerWidth="20"> + <graphicsAlgorithmChildren xsi:type="al:RoundedRectangle" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="15" height="8" x="101" y="3" cornerHeight="5" cornerWidth="5"/> + <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="true" transparency="0.0" x="63" y="24"> + <points x="-3" y="-3"/> + <points x="-3" y="3"/> + <points x="-11" y="3"/> + </graphicsAlgorithmChildren> + <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="63" y="24"> + <points x="3" y="-3"/> + <points x="3" y="3"/> + <points x="11" y="3"/> + </graphicsAlgorithmChildren> + <graphicsAlgorithmChildren xsi:type="al:Polygon" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" x="63" y="24"> + <points x="-2" y="-3"/> + <points x="-2" y="3"/> + <points x="2" y="3"/> + <points x="2" y="-3"/> + </graphicsAlgorithmChildren> + </graphicsAlgorithmChildren> + </graphicsAlgorithm> + <link> + <businessObjects href="../trafficlight.example.room#SimpleState:TrafficController$Light2GreenForCars"/> + </link> + <anchors xsi:type="pi:ChopboxAnchor" outgoingConnections="//@connections.11" incomingConnections="//@connections.9 //@connections.10" referencedGraphicsAlgorithm="//@children.0/@children.10/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/> + <children visible="true"> + <graphicsAlgorithm xsi:type="al:Text" background="//@colors.2" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="126" height="30" x="30" y="30" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="Light2GreenForCars"/> + </children> + </children> + </children> + <connections xsi:type="pi:FreeFormConnection" visible="true" active="true" start="//@children.0/@children.1/@anchors.0" end="//@children.0/@children.2/@anchors.0"> + <properties key="obj-type" value="trans"/> + <graphicsAlgorithm xsi:type="al:Polyline" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0"/> + <link> + <businessObjects href="../trafficlight.example.room#InitialTransition:TrafficController$initial"/> + </link> + <connectionDecorators visible="true" locationRelative="true" location="1.0"> + <graphicsAlgorithm xsi:type="al:Polygon" background="//@colors.1" foreground="//@colors.2" lineWidth="1" filled="true" transparency="0.0"> + <points x="-15" y="5"/> + <points/> + <points x="-15" y="-5"/> + </graphicsAlgorithm> + </connectionDecorators> + <connectionDecorators visible="true" active="true" locationRelative="true" location="0.5"> + <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" x="10" font="//@fonts.0" value="init"/> + </connectionDecorators> + </connections> + <connections xsi:type="pi:FreeFormConnection" visible="true" active="true" start="//@children.0/@children.2/@anchors.0" end="//@children.0/@children.4/@anchors.0"> + <properties key="obj-type" value="trans"/> + <graphicsAlgorithm xsi:type="al:Polyline" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0"/> + <link> + <businessObjects href="../trafficlight.example.room#TriggeredTransition:TrafficController$tr0"/> + </link> + <connectionDecorators visible="true" locationRelative="true" location="1.0"> + <graphicsAlgorithm xsi:type="al:Polygon" background="//@colors.1" foreground="//@colors.2" lineWidth="1" filled="true" transparency="0.0"> + <points x="-15" y="5"/> + <points/> + <points x="-15" y="-5"/> + </graphicsAlgorithm> + </connectionDecorators> + <connectionDecorators visible="true" active="true" locationRelative="true" location="0.5"> + <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" x="10" font="//@fonts.0" value="tr0: <timeout:timeou..."/> + </connectionDecorators> + </connections> + <connections xsi:type="pi:FreeFormConnection" visible="true" active="true" start="//@children.0/@children.4/@anchors.0" end="//@children.0/@children.5/@anchors.0"> + <properties key="obj-type" value="trans"/> + <graphicsAlgorithm xsi:type="al:Polyline" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0"/> + <link> + <businessObjects href="../trafficlight.example.room#TriggeredTransition:TrafficController$tr1"/> + </link> + <connectionDecorators visible="true" locationRelative="true" location="1.0"> + <graphicsAlgorithm xsi:type="al:Polygon" background="//@colors.1" foreground="//@colors.2" lineWidth="1" filled="true" transparency="0.0"> + <points x="-15" y="5"/> + <points/> + <points x="-15" y="-5"/> + </graphicsAlgorithm> + </connectionDecorators> + <connectionDecorators visible="true" active="true" locationRelative="true" location="0.5"> + <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" x="-79" y="-1" font="//@fonts.0" value="tr1: <greenForCarDon..."/> + </connectionDecorators> + </connections> + <connections xsi:type="pi:FreeFormConnection" visible="true" active="true" start="//@children.0/@children.4/@anchors.0" end="//@children.0/@children.6/@anchors.0"> + <properties key="obj-type" value="trans"/> + <graphicsAlgorithm xsi:type="al:Polyline" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0"/> + <link> + <businessObjects href="../trafficlight.example.room#TriggeredTransition:TrafficController$tr2"/> + </link> + <connectionDecorators visible="true" locationRelative="true" location="1.0"> + <graphicsAlgorithm xsi:type="al:Polygon" background="//@colors.1" foreground="//@colors.2" lineWidth="1" filled="true" transparency="0.0"> + <points x="-15" y="5"/> + <points/> + <points x="-15" y="-5"/> + </graphicsAlgorithm> + </connectionDecorators> + <connectionDecorators visible="true" active="true" locationRelative="true" location="0.5"> + <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" x="10" font="//@fonts.0" value="tr2: <greenForPedDon..."/> + </connectionDecorators> + </connections> + <connections xsi:type="pi:FreeFormConnection" visible="true" active="true" start="//@children.0/@children.6/@anchors.0" end="//@children.0/@children.3/@anchors.0"> + <properties key="obj-type" value="trans"/> + <graphicsAlgorithm xsi:type="al:Polyline" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0"/> + <link> + <businessObjects href="../trafficlight.example.room#TriggeredTransition:TrafficController$tr3"/> + </link> + <connectionDecorators visible="true" locationRelative="true" location="1.0"> + <graphicsAlgorithm xsi:type="al:Polygon" background="//@colors.1" foreground="//@colors.2" lineWidth="1" filled="true" transparency="0.0"> + <points x="-15" y="5"/> + <points/> + <points x="-15" y="-5"/> + </graphicsAlgorithm> + </connectionDecorators> + <connectionDecorators visible="true" active="true" locationRelative="true" location="0.5"> + <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" x="-26" y="-8" font="//@fonts.0" value="tr3: <greenForCarDon..."/> + </connectionDecorators> + </connections> + <connections xsi:type="pi:FreeFormConnection" visible="true" active="true" start="//@children.0/@children.5/@anchors.0" end="//@children.0/@children.3/@anchors.0"> + <properties key="obj-type" value="trans"/> + <graphicsAlgorithm xsi:type="al:Polyline" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0"/> + <link> + <businessObjects href="../trafficlight.example.room#TriggeredTransition:TrafficController$tr4"/> + </link> + <connectionDecorators visible="true" locationRelative="true" location="1.0"> + <graphicsAlgorithm xsi:type="al:Polygon" background="//@colors.1" foreground="//@colors.2" lineWidth="1" filled="true" transparency="0.0"> + <points x="-15" y="5"/> + <points/> + <points x="-15" y="-5"/> + </graphicsAlgorithm> + </connectionDecorators> + <connectionDecorators visible="true" active="true" locationRelative="true" location="0.5"> + <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" x="-92" y="-7" font="//@fonts.0" value="tr4: <greenForPedDon..."/> + </connectionDecorators> + </connections> + <connections xsi:type="pi:FreeFormConnection" visible="true" active="true" start="//@children.0/@children.3/@anchors.0" end="//@children.0/@children.7/@anchors.0"> + <properties key="obj-type" value="trans"/> + <graphicsAlgorithm xsi:type="al:Polyline" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0"/> + <link> + <businessObjects href="../trafficlight.example.room#TriggeredTransition:TrafficController$tr5"/> + </link> + <connectionDecorators visible="true" locationRelative="true" location="1.0"> + <graphicsAlgorithm xsi:type="al:Polygon" background="//@colors.1" foreground="//@colors.2" lineWidth="1" filled="true" transparency="0.0"> + <points x="-15" y="5"/> + <points/> + <points x="-15" y="-5"/> + </graphicsAlgorithm> + </connectionDecorators> + <connectionDecorators visible="true" active="true" locationRelative="true" location="0.5"> + <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" x="-35" y="-20" font="//@fonts.0" value="tr5: <timeout:timeou..."/> + </connectionDecorators> + <bendpoints x="471" y="364"/> + </connections> + <connections xsi:type="pi:FreeFormConnection" visible="true" active="true" start="//@children.0/@children.7/@anchors.0" end="//@children.0/@children.8/@anchors.0"> + <properties key="obj-type" value="trans"/> + <graphicsAlgorithm xsi:type="al:Polyline" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0"/> + <link> + <businessObjects href="../trafficlight.example.room#TriggeredTransition:TrafficController$tr6"/> + </link> + <connectionDecorators visible="true" locationRelative="true" location="1.0"> + <graphicsAlgorithm xsi:type="al:Polygon" background="//@colors.1" foreground="//@colors.2" lineWidth="1" filled="true" transparency="0.0"> + <points x="-15" y="5"/> + <points/> + <points x="-15" y="-5"/> + </graphicsAlgorithm> + </connectionDecorators> + <connectionDecorators visible="true" active="true" locationRelative="true" location="0.5"> + <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" x="-37" y="2" font="//@fonts.0" value="tr6: <greenForPedDon..."/> + </connectionDecorators> + </connections> + <connections xsi:type="pi:FreeFormConnection" visible="true" active="true" start="//@children.0/@children.7/@anchors.0" end="//@children.0/@children.9/@anchors.0"> + <properties key="obj-type" value="trans"/> + <graphicsAlgorithm xsi:type="al:Polyline" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0"/> + <link> + <businessObjects href="../trafficlight.example.room#TriggeredTransition:TrafficController$tr7"/> + </link> + <connectionDecorators visible="true" locationRelative="true" location="1.0"> + <graphicsAlgorithm xsi:type="al:Polygon" background="//@colors.1" foreground="//@colors.2" lineWidth="1" filled="true" transparency="0.0"> + <points x="-15" y="5"/> + <points/> + <points x="-15" y="-5"/> + </graphicsAlgorithm> + </connectionDecorators> + <connectionDecorators visible="true" active="true" locationRelative="true" location="0.5"> + <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" x="10" font="//@fonts.0" value="tr7: <greenForCarDon..."/> + </connectionDecorators> + </connections> + <connections xsi:type="pi:FreeFormConnection" visible="true" active="true" start="//@children.0/@children.8/@anchors.0" end="//@children.0/@children.10/@anchors.0"> + <properties key="obj-type" value="trans"/> + <graphicsAlgorithm xsi:type="al:Polyline" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0"/> + <link> + <businessObjects href="../trafficlight.example.room#TriggeredTransition:TrafficController$tr8"/> + </link> + <connectionDecorators visible="true" locationRelative="true" location="1.0"> + <graphicsAlgorithm xsi:type="al:Polygon" background="//@colors.1" foreground="//@colors.2" lineWidth="1" filled="true" transparency="0.0"> + <points x="-15" y="5"/> + <points/> + <points x="-15" y="-5"/> + </graphicsAlgorithm> + </connectionDecorators> + <connectionDecorators visible="true" active="true" locationRelative="true" location="0.5"> + <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" x="10" font="//@fonts.0" value="tr8: <greenForCarDon..."/> + </connectionDecorators> + </connections> + <connections xsi:type="pi:FreeFormConnection" visible="true" active="true" start="//@children.0/@children.9/@anchors.0" end="//@children.0/@children.10/@anchors.0"> + <properties key="obj-type" value="trans"/> + <graphicsAlgorithm xsi:type="al:Polyline" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0"/> + <link> + <businessObjects href="../trafficlight.example.room#TriggeredTransition:TrafficController$tr9"/> + </link> + <connectionDecorators visible="true" locationRelative="true" location="1.0"> + <graphicsAlgorithm xsi:type="al:Polygon" background="//@colors.1" foreground="//@colors.2" lineWidth="1" filled="true" transparency="0.0"> + <points x="-15" y="5"/> + <points/> + <points x="-15" y="-5"/> + </graphicsAlgorithm> + </connectionDecorators> + <connectionDecorators visible="true" active="true" locationRelative="true" location="0.5"> + <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" x="10" font="//@fonts.0" value="tr9: <greenForPedDon..."/> + </connectionDecorators> + </connections> + <connections xsi:type="pi:FreeFormConnection" visible="true" active="true" start="//@children.0/@children.10/@anchors.0" end="//@children.0/@children.4/@anchors.0"> + <properties key="obj-type" value="trans"/> + <graphicsAlgorithm xsi:type="al:Polyline" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0"/> + <link> + <businessObjects href="../trafficlight.example.room#TriggeredTransition:TrafficController$tr10"/> + </link> + <connectionDecorators visible="true" locationRelative="true" location="1.0"> + <graphicsAlgorithm xsi:type="al:Polygon" background="//@colors.1" foreground="//@colors.2" lineWidth="1" filled="true" transparency="0.0"> + <points x="-15" y="5"/> + <points/> + <points x="-15" y="-5"/> + </graphicsAlgorithm> + </connectionDecorators> + <connectionDecorators visible="true" active="true" locationRelative="true" location="0.5"> + <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" x="10" font="//@fonts.0" value="tr10: <timeout:timeo..."/> + </connectionDecorators> + <bendpoints x="487" y="423"/> + </connections> + <colors red="227" green="238" blue="249"/> + <colors red="255" green="255" blue="255"/> + <colors/> + <colors red="200" green="200" blue="200"/> + <fonts name="Arial" size="8"/> + <fonts name="Arial" size="9" bold="true"/> +</pi:Diagram> diff --git a/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/model/diagrams/trafficlight.example.TrafficLight.structure b/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/model/diagrams/trafficlight.example.TrafficLight.structure index c9cba269d..642f5563c 100644 --- a/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/model/diagrams/trafficlight.example.TrafficLight.structure +++ b/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/model/diagrams/trafficlight.example.TrafficLight.structure @@ -1,125 +1,125 @@ -<?xml version="1.0" encoding="ASCII"?>
-<pi:Diagram xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:al="http://eclipse.org/graphiti/mm/algorithms" xmlns:pi="http://eclipse.org/graphiti/mm/pictograms" visible="true" gridUnit="10" diagramTypeId="room.structure" name="Structure of TrafficLight" pictogramLinks="//@children.0/@link //@link //@children.0/@children.0/@link //@children.0/@children.1/@link //@children.0/@children.2/@link //@children.0/@children.3/@link //@children.0/@children.2/@children.1/@link //@children.0/@children.2/@children.2/@link //@connections.0/@link //@connections.1/@link" verticalGridUnit="10" version="0.9.2">
- <graphicsAlgorithm xsi:type="al:Rectangle" background="//@colors.1" foreground="//@colors.0" lineWidth="1" transparency="0.0" width="1000" height="1000"/>
- <link>
- <businessObjects href="../trafficlight.example.room#ActorClass:TrafficLight"/>
- </link>
- <children xsi:type="pi:ContainerShape" visible="true" active="true">
- <properties key="obj-type" value="cls"/>
- <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="588" height="422" x="-5">
- <graphicsAlgorithmChildren xsi:type="al:Rectangle" background="//@colors.1" foreground="//@colors.2" lineWidth="4" transparency="0.5" width="508" height="342" x="40" y="40"/>
- <graphicsAlgorithmChildren xsi:type="al:Rectangle" foreground="//@colors.2" lineWidth="4" filled="false" transparency="0.0" width="508" height="342" x="40" y="40"/>
- </graphicsAlgorithm>
- <link>
- <businessObjects href="../trafficlight.example.room#ActorClass:TrafficLight"/>
- </link>
- <children xsi:type="pi:ContainerShape" visible="true" active="true">
- <properties key="obj-type" value="port"/>
- <properties key="item-kind" value="C"/>
- <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="80" height="80" x="93" y="73">
- <graphicsAlgorithmChildren xsi:type="al:Rectangle" background="//@colors.1" foreground="//@colors.2" lineWidth="2" transparency="0.0" width="40" height="40" x="20" y="20"/>
- <graphicsAlgorithmChildren xsi:type="al:Ellipse" background="//@colors.2" foreground="//@colors.2" lineWidth="2" transparency="0.0" width="20" height="20" x="30" y="30"/>
- </graphicsAlgorithm>
- <link>
- <businessObjects href="../trafficlight.example.room#Port:TrafficLight$tcpCtrl"/>
- </link>
- <anchors xsi:type="pi:ChopboxAnchor" incomingConnections="//@connections.0" referencedGraphicsAlgorithm="//@children.0/@children.0/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/>
- <children visible="true">
- <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="80" height="20" y="60" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="tcpCtrl"/>
- </children>
- </children>
- <children xsi:type="pi:ContainerShape" visible="true" active="true">
- <properties key="obj-type" value="port"/>
- <properties key="item-kind" value="C"/>
- <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="80" height="80" x="359" y="73">
- <graphicsAlgorithmChildren xsi:type="al:Rectangle" background="//@colors.1" foreground="//@colors.2" lineWidth="2" transparency="0.0" width="40" height="40" x="20" y="20"/>
- <graphicsAlgorithmChildren xsi:type="al:Ellipse" background="//@colors.2" foreground="//@colors.2" lineWidth="2" transparency="0.0" width="20" height="20" x="30" y="30"/>
- </graphicsAlgorithm>
- <link>
- <businessObjects href="../trafficlight.example.room#Port:TrafficLight$tcpPayload"/>
- </link>
- <anchors xsi:type="pi:ChopboxAnchor" incomingConnections="//@connections.1" referencedGraphicsAlgorithm="//@children.0/@children.1/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/>
- <children visible="true">
- <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="80" height="20" y="60" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="tcpPayload"/>
- </children>
- </children>
- <children xsi:type="pi:ContainerShape" visible="true" active="true">
- <properties key="obj-type" value="ref"/>
- <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="240" height="140" x="147" y="163">
- <graphicsAlgorithmChildren xsi:type="al:Rectangle" background="//@colors.3" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="180" height="80" x="30" y="30">
- <graphicsAlgorithmChildren xsi:type="al:Rectangle" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="20" height="10" x="150" y="50"/>
- <graphicsAlgorithmChildren xsi:type="al:Rectangle" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="20" height="10" x="145" y="65"/>
- </graphicsAlgorithmChildren>
- </graphicsAlgorithm>
- <link>
- <businessObjects href="../trafficlight.example.room#ActorRef:TrafficLight$trafficLightSocket"/>
- </link>
- <anchors xsi:type="pi:ChopboxAnchor" referencedGraphicsAlgorithm="//@children.0/@children.2/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/>
- <children visible="true">
- <graphicsAlgorithm xsi:type="al:Text" background="//@colors.2" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="180" height="80" x="30" y="30" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="trafficLightSocket
(ATcpClient)"/>
- </children>
- <children xsi:type="pi:ContainerShape" visible="true" active="true">
- <properties key="obj-type" value="port"/>
- <properties key="item-kind" value=""/>
- <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="60" height="60" x="59">
- <graphicsAlgorithmChildren xsi:type="al:Rectangle" background="//@colors.2" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="18" height="18" x="21" y="21"/>
- </graphicsAlgorithm>
- <link>
- <businessObjects href="file:/C:/entw/projekte/eTrice/repositories/FlatWorld/org.eclipse.etrice.modellib.java/models/TcpService.room#Port:ATcpClient$ControlPort"/>
- </link>
- <anchors xsi:type="pi:ChopboxAnchor" outgoingConnections="//@connections.0" referencedGraphicsAlgorithm="//@children.0/@children.2/@children.1/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/>
- <children visible="true">
- <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="60" height="15" y="6" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="ControlPort"/>
- </children>
- </children>
- <children xsi:type="pi:ContainerShape" visible="true" active="true">
- <properties key="obj-type" value="port"/>
- <properties key="item-kind" value=""/>
- <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="60" height="60" x="119">
- <graphicsAlgorithmChildren xsi:type="al:Rectangle" background="//@colors.2" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="18" height="18" x="21" y="21"/>
- </graphicsAlgorithm>
- <link>
- <businessObjects href="file:/C:/entw/projekte/eTrice/repositories/FlatWorld/org.eclipse.etrice.modellib.java/models/TcpService.room#Port:ATcpClient$PayloadPort"/>
- </link>
- <anchors xsi:type="pi:ChopboxAnchor" outgoingConnections="//@connections.1" referencedGraphicsAlgorithm="//@children.0/@children.2/@children.2/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/>
- <children visible="true">
- <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="60" height="15" y="6" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="PayloadPort"/>
- </children>
- </children>
- </children>
- <children xsi:type="pi:ContainerShape" visible="true" active="true">
- <properties key="obj-type" value="port"/>
- <properties key="item-kind" value=""/>
- <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="80" height="80" x="254">
- <graphicsAlgorithmChildren xsi:type="al:Rectangle" background="//@colors.2" foreground="//@colors.2" lineWidth="2" transparency="0.0" width="40" height="40" x="20" y="20"/>
- <graphicsAlgorithmChildren xsi:type="al:Ellipse" background="//@colors.1" foreground="//@colors.1" lineWidth="2" transparency="0.0" width="20" height="20" x="30" y="30"/>
- </graphicsAlgorithm>
- <link>
- <businessObjects href="../trafficlight.example.room#Port:TrafficLight$controller"/>
- </link>
- <anchors xsi:type="pi:ChopboxAnchor" referencedGraphicsAlgorithm="//@children.0/@children.3/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/>
- <children visible="true">
- <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="80" height="20" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="controller"/>
- </children>
- </children>
- </children>
- <connections xsi:type="pi:FreeFormConnection" visible="true" active="true" start="//@children.0/@children.2/@children.1/@anchors.0" end="//@children.0/@children.0/@anchors.0">
- <properties key="obj-type" value="bind"/>
- <graphicsAlgorithm xsi:type="al:Polyline" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0"/>
- <link>
- <businessObjects href="../trafficlight.example.room#Binding:TrafficLight$ControlPort!trafficLightSocket-tcpCtrl!."/>
- </link>
- </connections>
- <connections xsi:type="pi:FreeFormConnection" visible="true" active="true" start="//@children.0/@children.2/@children.2/@anchors.0" end="//@children.0/@children.1/@anchors.0">
- <properties key="obj-type" value="bind"/>
- <graphicsAlgorithm xsi:type="al:Polyline" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0"/>
- <link>
- <businessObjects href="../trafficlight.example.room#Binding:TrafficLight$PayloadPort!trafficLightSocket-tcpPayload!."/>
- </link>
- </connections>
- <colors red="227" green="238" blue="249"/>
- <colors red="255" green="255" blue="255"/>
- <colors/>
- <colors red="200" green="200" blue="200"/>
- <fonts name="Arial" size="8"/>
-</pi:Diagram>
+<?xml version="1.0" encoding="ASCII"?> +<pi:Diagram xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:al="http://eclipse.org/graphiti/mm/algorithms" xmlns:pi="http://eclipse.org/graphiti/mm/pictograms" visible="true" gridUnit="10" diagramTypeId="room.structure" name="Structure of TrafficLight" pictogramLinks="//@children.0/@link //@link //@children.0/@children.0/@link //@children.0/@children.1/@link //@children.0/@children.2/@link //@children.0/@children.3/@link //@children.0/@children.2/@children.1/@link //@children.0/@children.2/@children.2/@link //@connections.0/@link //@connections.1/@link" verticalGridUnit="10" version="0.9.2"> + <graphicsAlgorithm xsi:type="al:Rectangle" background="//@colors.1" foreground="//@colors.0" lineWidth="1" transparency="0.0" width="1000" height="1000"/> + <link> + <businessObjects href="../trafficlight.example.room#ActorClass:TrafficLight"/> + </link> + <children xsi:type="pi:ContainerShape" visible="true" active="true"> + <properties key="obj-type" value="cls"/> + <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="588" height="422" x="-5"> + <graphicsAlgorithmChildren xsi:type="al:Rectangle" background="//@colors.1" foreground="//@colors.2" lineWidth="4" transparency="0.5" width="508" height="342" x="40" y="40"/> + <graphicsAlgorithmChildren xsi:type="al:Rectangle" foreground="//@colors.2" lineWidth="4" filled="false" transparency="0.0" width="508" height="342" x="40" y="40"/> + </graphicsAlgorithm> + <link> + <businessObjects href="../trafficlight.example.room#ActorClass:TrafficLight"/> + </link> + <children xsi:type="pi:ContainerShape" visible="true" active="true"> + <properties key="obj-type" value="port"/> + <properties key="item-kind" value="C"/> + <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="80" height="80" x="93" y="73"> + <graphicsAlgorithmChildren xsi:type="al:Rectangle" background="//@colors.1" foreground="//@colors.2" lineWidth="2" transparency="0.0" width="40" height="40" x="20" y="20"/> + <graphicsAlgorithmChildren xsi:type="al:Ellipse" background="//@colors.2" foreground="//@colors.2" lineWidth="2" transparency="0.0" width="20" height="20" x="30" y="30"/> + </graphicsAlgorithm> + <link> + <businessObjects href="../trafficlight.example.room#Port:TrafficLight$tcpCtrl"/> + </link> + <anchors xsi:type="pi:ChopboxAnchor" incomingConnections="//@connections.0" referencedGraphicsAlgorithm="//@children.0/@children.0/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/> + <children visible="true"> + <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="80" height="20" y="60" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="tcpCtrl"/> + </children> + </children> + <children xsi:type="pi:ContainerShape" visible="true" active="true"> + <properties key="obj-type" value="port"/> + <properties key="item-kind" value="C"/> + <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="80" height="80" x="359" y="73"> + <graphicsAlgorithmChildren xsi:type="al:Rectangle" background="//@colors.1" foreground="//@colors.2" lineWidth="2" transparency="0.0" width="40" height="40" x="20" y="20"/> + <graphicsAlgorithmChildren xsi:type="al:Ellipse" background="//@colors.2" foreground="//@colors.2" lineWidth="2" transparency="0.0" width="20" height="20" x="30" y="30"/> + </graphicsAlgorithm> + <link> + <businessObjects href="../trafficlight.example.room#Port:TrafficLight$tcpPayload"/> + </link> + <anchors xsi:type="pi:ChopboxAnchor" incomingConnections="//@connections.1" referencedGraphicsAlgorithm="//@children.0/@children.1/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/> + <children visible="true"> + <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="80" height="20" y="60" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="tcpPayload"/> + </children> + </children> + <children xsi:type="pi:ContainerShape" visible="true" active="true"> + <properties key="obj-type" value="ref"/> + <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="240" height="140" x="147" y="163"> + <graphicsAlgorithmChildren xsi:type="al:Rectangle" background="//@colors.3" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="180" height="80" x="30" y="30"> + <graphicsAlgorithmChildren xsi:type="al:Rectangle" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="20" height="10" x="150" y="50"/> + <graphicsAlgorithmChildren xsi:type="al:Rectangle" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="20" height="10" x="145" y="65"/> + </graphicsAlgorithmChildren> + </graphicsAlgorithm> + <link> + <businessObjects href="../trafficlight.example.room#ActorRef:TrafficLight$trafficLightSocket"/> + </link> + <anchors xsi:type="pi:ChopboxAnchor" referencedGraphicsAlgorithm="//@children.0/@children.2/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/> + <children visible="true"> + <graphicsAlgorithm xsi:type="al:Text" background="//@colors.2" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="180" height="80" x="30" y="30" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="trafficLightSocket
(ATcpClient)"/> + </children> + <children xsi:type="pi:ContainerShape" visible="true" active="true"> + <properties key="obj-type" value="port"/> + <properties key="item-kind" value=""/> + <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="60" height="60" x="59"> + <graphicsAlgorithmChildren xsi:type="al:Rectangle" background="//@colors.2" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="18" height="18" x="21" y="21"/> + </graphicsAlgorithm> + <link> + <businessObjects href="file:/C:/entw/projekte/eTrice/repositories/FlatWorld/org.eclipse.etrice.modellib.java/models/TcpService.room#Port:ATcpClient$ControlPort"/> + </link> + <anchors xsi:type="pi:ChopboxAnchor" outgoingConnections="//@connections.0" referencedGraphicsAlgorithm="//@children.0/@children.2/@children.1/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/> + <children visible="true"> + <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="60" height="15" y="6" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="ControlPort"/> + </children> + </children> + <children xsi:type="pi:ContainerShape" visible="true" active="true"> + <properties key="obj-type" value="port"/> + <properties key="item-kind" value=""/> + <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="60" height="60" x="119"> + <graphicsAlgorithmChildren xsi:type="al:Rectangle" background="//@colors.2" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="18" height="18" x="21" y="21"/> + </graphicsAlgorithm> + <link> + <businessObjects href="file:/C:/entw/projekte/eTrice/repositories/FlatWorld/org.eclipse.etrice.modellib.java/models/TcpService.room#Port:ATcpClient$PayloadPort"/> + </link> + <anchors xsi:type="pi:ChopboxAnchor" outgoingConnections="//@connections.1" referencedGraphicsAlgorithm="//@children.0/@children.2/@children.2/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/> + <children visible="true"> + <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="60" height="15" y="6" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="PayloadPort"/> + </children> + </children> + </children> + <children xsi:type="pi:ContainerShape" visible="true" active="true"> + <properties key="obj-type" value="port"/> + <properties key="item-kind" value=""/> + <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="80" height="80" x="254"> + <graphicsAlgorithmChildren xsi:type="al:Rectangle" background="//@colors.2" foreground="//@colors.2" lineWidth="2" transparency="0.0" width="40" height="40" x="20" y="20"/> + <graphicsAlgorithmChildren xsi:type="al:Ellipse" background="//@colors.1" foreground="//@colors.1" lineWidth="2" transparency="0.0" width="20" height="20" x="30" y="30"/> + </graphicsAlgorithm> + <link> + <businessObjects href="../trafficlight.example.room#Port:TrafficLight$controller"/> + </link> + <anchors xsi:type="pi:ChopboxAnchor" referencedGraphicsAlgorithm="//@children.0/@children.3/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/> + <children visible="true"> + <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="80" height="20" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="controller"/> + </children> + </children> + </children> + <connections xsi:type="pi:FreeFormConnection" visible="true" active="true" start="//@children.0/@children.2/@children.1/@anchors.0" end="//@children.0/@children.0/@anchors.0"> + <properties key="obj-type" value="bind"/> + <graphicsAlgorithm xsi:type="al:Polyline" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0"/> + <link> + <businessObjects href="../trafficlight.example.room#Binding:TrafficLight$ControlPort!trafficLightSocket-tcpCtrl!."/> + </link> + </connections> + <connections xsi:type="pi:FreeFormConnection" visible="true" active="true" start="//@children.0/@children.2/@children.2/@anchors.0" end="//@children.0/@children.1/@anchors.0"> + <properties key="obj-type" value="bind"/> + <graphicsAlgorithm xsi:type="al:Polyline" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0"/> + <link> + <businessObjects href="../trafficlight.example.room#Binding:TrafficLight$PayloadPort!trafficLightSocket-tcpPayload!."/> + </link> + </connections> + <colors red="227" green="238" blue="249"/> + <colors red="255" green="255" blue="255"/> + <colors/> + <colors red="200" green="200" blue="200"/> + <fonts name="Arial" size="8"/> +</pi:Diagram> diff --git a/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/model/diagrams/trafficlight.example.TrafficlightExampleApplication.structure b/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/model/diagrams/trafficlight.example.TrafficlightExampleApplication.structure index 53306afef..227aa0765 100644 --- a/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/model/diagrams/trafficlight.example.TrafficlightExampleApplication.structure +++ b/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/model/diagrams/trafficlight.example.TrafficlightExampleApplication.structure @@ -1,140 +1,140 @@ -<?xml version="1.0" encoding="ASCII"?>
-<pi:Diagram xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:al="http://eclipse.org/graphiti/mm/algorithms" xmlns:pi="http://eclipse.org/graphiti/mm/pictograms" visible="true" gridUnit="10" diagramTypeId="room.structure" name="Structure of TrafficlightExampleApplication" pictogramLinks="//@children.0/@link //@link //@children.0/@children.0/@link //@children.0/@children.0/@children.1/@link //@children.0/@children.1/@link //@children.0/@children.1/@children.1/@link //@children.0/@children.2/@link //@children.0/@children.2/@children.1/@link //@children.0/@children.2/@children.2/@link //@connections.0/@link //@connections.1/@link" verticalGridUnit="10" version="0.9.2">
- <graphicsAlgorithm xsi:type="al:Rectangle" background="//@colors.1" foreground="//@colors.0" lineWidth="1" transparency="0.0" width="1000" height="1000"/>
- <link>
- <businessObjects href="../trafficlight.example.room#ActorClass:TrafficlightExampleApplication"/>
- </link>
- <children xsi:type="pi:ContainerShape" visible="true" active="true">
- <properties key="obj-type" value="cls"/>
- <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="485" height="350" x="-35" y="-34">
- <graphicsAlgorithmChildren xsi:type="al:Rectangle" background="//@colors.1" foreground="//@colors.2" lineWidth="4" transparency="0.5" width="405" height="270" x="40" y="40"/>
- <graphicsAlgorithmChildren xsi:type="al:Rectangle" foreground="//@colors.2" lineWidth="4" filled="false" transparency="0.0" width="405" height="270" x="40" y="40"/>
- </graphicsAlgorithm>
- <link>
- <businessObjects href="../trafficlight.example.room#ActorClass:TrafficlightExampleApplication"/>
- </link>
- <children xsi:type="pi:ContainerShape" visible="true" active="true">
- <properties key="obj-type" value="ref"/>
- <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="208" height="125" x="30" y="180">
- <graphicsAlgorithmChildren xsi:type="al:Rectangle" background="//@colors.3" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="148" height="65" x="30" y="30">
- <graphicsAlgorithmChildren xsi:type="al:Rectangle" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="20" height="10" x="118" y="35"/>
- <graphicsAlgorithmChildren xsi:type="al:Rectangle" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="20" height="10" x="113" y="50"/>
- </graphicsAlgorithmChildren>
- </graphicsAlgorithm>
- <link>
- <businessObjects href="../trafficlight.example.room#ActorRef:TrafficlightExampleApplication$light1"/>
- </link>
- <anchors xsi:type="pi:ChopboxAnchor" referencedGraphicsAlgorithm="//@children.0/@children.0/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/>
- <children visible="true">
- <graphicsAlgorithm xsi:type="al:Text" background="//@colors.2" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="148" height="65" x="30" y="30" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="light1
(TrafficLight)"/>
- </children>
- <children xsi:type="pi:ContainerShape" visible="true" active="true">
- <properties key="obj-type" value="port"/>
- <properties key="item-kind" value=""/>
- <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="60" height="60" x="73">
- <graphicsAlgorithmChildren xsi:type="al:Rectangle" background="//@colors.2" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="18" height="18" x="21" y="21"/>
- </graphicsAlgorithm>
- <link>
- <businessObjects href="../trafficlight.example.room#Port:TrafficLight$controller"/>
- </link>
- <anchors xsi:type="pi:ChopboxAnchor" incomingConnections="//@connections.0" referencedGraphicsAlgorithm="//@children.0/@children.0/@children.1/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/>
- <children visible="true">
- <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="60" height="15" y="6" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="controller"/>
- </children>
- </children>
- </children>
- <children xsi:type="pi:ContainerShape" visible="true" active="true">
- <properties key="obj-type" value="ref"/>
- <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="199" height="125" x="260" y="180">
- <graphicsAlgorithmChildren xsi:type="al:Rectangle" background="//@colors.3" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="139" height="65" x="30" y="30">
- <graphicsAlgorithmChildren xsi:type="al:Rectangle" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="20" height="10" x="109" y="35"/>
- <graphicsAlgorithmChildren xsi:type="al:Rectangle" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="20" height="10" x="104" y="50"/>
- </graphicsAlgorithmChildren>
- </graphicsAlgorithm>
- <link>
- <businessObjects href="../trafficlight.example.room#ActorRef:TrafficlightExampleApplication$light2"/>
- </link>
- <anchors xsi:type="pi:ChopboxAnchor" referencedGraphicsAlgorithm="//@children.0/@children.1/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/>
- <children visible="true">
- <graphicsAlgorithm xsi:type="al:Text" background="//@colors.2" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="139" height="65" x="30" y="30" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="light2
(TrafficLight)"/>
- </children>
- <children xsi:type="pi:ContainerShape" visible="true" active="true">
- <properties key="obj-type" value="port"/>
- <properties key="item-kind" value=""/>
- <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="60" height="60" x="68">
- <graphicsAlgorithmChildren xsi:type="al:Rectangle" background="//@colors.2" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="18" height="18" x="21" y="21"/>
- </graphicsAlgorithm>
- <link>
- <businessObjects href="../trafficlight.example.room#Port:TrafficLight$controller"/>
- </link>
- <anchors xsi:type="pi:ChopboxAnchor" incomingConnections="//@connections.1" referencedGraphicsAlgorithm="//@children.0/@children.1/@children.1/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/>
- <children visible="true">
- <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="60" height="15" y="6" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="controller"/>
- </children>
- </children>
- </children>
- <children xsi:type="pi:ContainerShape" visible="true" active="true">
- <properties key="obj-type" value="ref"/>
- <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="429" height="125" x="30" y="34">
- <graphicsAlgorithmChildren xsi:type="al:Rectangle" background="//@colors.3" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="369" height="65" x="30" y="30">
- <graphicsAlgorithmChildren xsi:type="al:Rectangle" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="20" height="10" x="339" y="35"/>
- <graphicsAlgorithmChildren xsi:type="al:Rectangle" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="20" height="10" x="334" y="50"/>
- </graphicsAlgorithmChildren>
- </graphicsAlgorithm>
- <link>
- <businessObjects href="../trafficlight.example.room#ActorRef:TrafficlightExampleApplication$controller"/>
- </link>
- <anchors xsi:type="pi:ChopboxAnchor" referencedGraphicsAlgorithm="//@children.0/@children.2/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/>
- <children visible="true">
- <graphicsAlgorithm xsi:type="al:Text" background="//@colors.2" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="369" height="65" x="30" y="30" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="controller
(TrafficController)"/>
- </children>
- <children xsi:type="pi:ContainerShape" visible="true" active="true">
- <properties key="obj-type" value="port"/>
- <properties key="item-kind" value="C"/>
- <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="60" height="60" x="85" y="65">
- <graphicsAlgorithmChildren xsi:type="al:Rectangle" background="//@colors.1" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="18" height="18" x="21" y="21"/>
- </graphicsAlgorithm>
- <link>
- <businessObjects href="../trafficlight.example.room#Port:TrafficController$light1"/>
- </link>
- <anchors xsi:type="pi:ChopboxAnchor" outgoingConnections="//@connections.0" referencedGraphicsAlgorithm="//@children.0/@children.2/@children.1/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/>
- <children visible="true">
- <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="60" height="15" y="39" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="light1"/>
- </children>
- </children>
- <children xsi:type="pi:ContainerShape" visible="true" active="true">
- <properties key="obj-type" value="port"/>
- <properties key="item-kind" value="C"/>
- <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="60" height="60" x="286" y="65">
- <graphicsAlgorithmChildren xsi:type="al:Rectangle" background="//@colors.1" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="18" height="18" x="21" y="21"/>
- </graphicsAlgorithm>
- <link>
- <businessObjects href="../trafficlight.example.room#Port:TrafficController$light2"/>
- </link>
- <anchors xsi:type="pi:ChopboxAnchor" outgoingConnections="//@connections.1" referencedGraphicsAlgorithm="//@children.0/@children.2/@children.2/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/>
- <children visible="true">
- <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="60" height="15" y="39" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="light2"/>
- </children>
- </children>
- </children>
- </children>
- <connections xsi:type="pi:FreeFormConnection" visible="true" active="true" start="//@children.0/@children.2/@children.1/@anchors.0" end="//@children.0/@children.0/@children.1/@anchors.0">
- <properties key="obj-type" value="bind"/>
- <graphicsAlgorithm xsi:type="al:Polyline" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0"/>
- <link>
- <businessObjects href="../trafficlight.example.room#Binding:TrafficlightExampleApplication$light1!controller-controller!light1"/>
- </link>
- </connections>
- <connections xsi:type="pi:FreeFormConnection" visible="true" active="true" start="//@children.0/@children.2/@children.2/@anchors.0" end="//@children.0/@children.1/@children.1/@anchors.0">
- <properties key="obj-type" value="bind"/>
- <graphicsAlgorithm xsi:type="al:Polyline" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0"/>
- <link>
- <businessObjects href="../trafficlight.example.room#Binding:TrafficlightExampleApplication$light2!controller-controller!light2"/>
- </link>
- </connections>
- <colors red="227" green="238" blue="249"/>
- <colors red="255" green="255" blue="255"/>
- <colors/>
- <colors red="200" green="200" blue="200"/>
- <fonts name="Arial" size="8"/>
-</pi:Diagram>
+<?xml version="1.0" encoding="ASCII"?> +<pi:Diagram xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:al="http://eclipse.org/graphiti/mm/algorithms" xmlns:pi="http://eclipse.org/graphiti/mm/pictograms" visible="true" gridUnit="10" diagramTypeId="room.structure" name="Structure of TrafficlightExampleApplication" pictogramLinks="//@children.0/@link //@link //@children.0/@children.0/@link //@children.0/@children.0/@children.1/@link //@children.0/@children.1/@link //@children.0/@children.1/@children.1/@link //@children.0/@children.2/@link //@children.0/@children.2/@children.1/@link //@children.0/@children.2/@children.2/@link //@connections.0/@link //@connections.1/@link" verticalGridUnit="10" version="0.9.2"> + <graphicsAlgorithm xsi:type="al:Rectangle" background="//@colors.1" foreground="//@colors.0" lineWidth="1" transparency="0.0" width="1000" height="1000"/> + <link> + <businessObjects href="../trafficlight.example.room#ActorClass:TrafficlightExampleApplication"/> + </link> + <children xsi:type="pi:ContainerShape" visible="true" active="true"> + <properties key="obj-type" value="cls"/> + <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="485" height="350" x="-35" y="-34"> + <graphicsAlgorithmChildren xsi:type="al:Rectangle" background="//@colors.1" foreground="//@colors.2" lineWidth="4" transparency="0.5" width="405" height="270" x="40" y="40"/> + <graphicsAlgorithmChildren xsi:type="al:Rectangle" foreground="//@colors.2" lineWidth="4" filled="false" transparency="0.0" width="405" height="270" x="40" y="40"/> + </graphicsAlgorithm> + <link> + <businessObjects href="../trafficlight.example.room#ActorClass:TrafficlightExampleApplication"/> + </link> + <children xsi:type="pi:ContainerShape" visible="true" active="true"> + <properties key="obj-type" value="ref"/> + <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="208" height="125" x="30" y="180"> + <graphicsAlgorithmChildren xsi:type="al:Rectangle" background="//@colors.3" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="148" height="65" x="30" y="30"> + <graphicsAlgorithmChildren xsi:type="al:Rectangle" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="20" height="10" x="118" y="35"/> + <graphicsAlgorithmChildren xsi:type="al:Rectangle" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="20" height="10" x="113" y="50"/> + </graphicsAlgorithmChildren> + </graphicsAlgorithm> + <link> + <businessObjects href="../trafficlight.example.room#ActorRef:TrafficlightExampleApplication$light1"/> + </link> + <anchors xsi:type="pi:ChopboxAnchor" referencedGraphicsAlgorithm="//@children.0/@children.0/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/> + <children visible="true"> + <graphicsAlgorithm xsi:type="al:Text" background="//@colors.2" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="148" height="65" x="30" y="30" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="light1
(TrafficLight)"/> + </children> + <children xsi:type="pi:ContainerShape" visible="true" active="true"> + <properties key="obj-type" value="port"/> + <properties key="item-kind" value=""/> + <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="60" height="60" x="73"> + <graphicsAlgorithmChildren xsi:type="al:Rectangle" background="//@colors.2" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="18" height="18" x="21" y="21"/> + </graphicsAlgorithm> + <link> + <businessObjects href="../trafficlight.example.room#Port:TrafficLight$controller"/> + </link> + <anchors xsi:type="pi:ChopboxAnchor" incomingConnections="//@connections.0" referencedGraphicsAlgorithm="//@children.0/@children.0/@children.1/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/> + <children visible="true"> + <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="60" height="15" y="6" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="controller"/> + </children> + </children> + </children> + <children xsi:type="pi:ContainerShape" visible="true" active="true"> + <properties key="obj-type" value="ref"/> + <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="199" height="125" x="260" y="180"> + <graphicsAlgorithmChildren xsi:type="al:Rectangle" background="//@colors.3" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="139" height="65" x="30" y="30"> + <graphicsAlgorithmChildren xsi:type="al:Rectangle" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="20" height="10" x="109" y="35"/> + <graphicsAlgorithmChildren xsi:type="al:Rectangle" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="20" height="10" x="104" y="50"/> + </graphicsAlgorithmChildren> + </graphicsAlgorithm> + <link> + <businessObjects href="../trafficlight.example.room#ActorRef:TrafficlightExampleApplication$light2"/> + </link> + <anchors xsi:type="pi:ChopboxAnchor" referencedGraphicsAlgorithm="//@children.0/@children.1/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/> + <children visible="true"> + <graphicsAlgorithm xsi:type="al:Text" background="//@colors.2" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="139" height="65" x="30" y="30" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="light2
(TrafficLight)"/> + </children> + <children xsi:type="pi:ContainerShape" visible="true" active="true"> + <properties key="obj-type" value="port"/> + <properties key="item-kind" value=""/> + <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="60" height="60" x="68"> + <graphicsAlgorithmChildren xsi:type="al:Rectangle" background="//@colors.2" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="18" height="18" x="21" y="21"/> + </graphicsAlgorithm> + <link> + <businessObjects href="../trafficlight.example.room#Port:TrafficLight$controller"/> + </link> + <anchors xsi:type="pi:ChopboxAnchor" incomingConnections="//@connections.1" referencedGraphicsAlgorithm="//@children.0/@children.1/@children.1/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/> + <children visible="true"> + <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="60" height="15" y="6" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="controller"/> + </children> + </children> + </children> + <children xsi:type="pi:ContainerShape" visible="true" active="true"> + <properties key="obj-type" value="ref"/> + <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="429" height="125" x="30" y="34"> + <graphicsAlgorithmChildren xsi:type="al:Rectangle" background="//@colors.3" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="369" height="65" x="30" y="30"> + <graphicsAlgorithmChildren xsi:type="al:Rectangle" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="20" height="10" x="339" y="35"/> + <graphicsAlgorithmChildren xsi:type="al:Rectangle" foreground="//@colors.2" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="20" height="10" x="334" y="50"/> + </graphicsAlgorithmChildren> + </graphicsAlgorithm> + <link> + <businessObjects href="../trafficlight.example.room#ActorRef:TrafficlightExampleApplication$controller"/> + </link> + <anchors xsi:type="pi:ChopboxAnchor" referencedGraphicsAlgorithm="//@children.0/@children.2/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/> + <children visible="true"> + <graphicsAlgorithm xsi:type="al:Text" background="//@colors.2" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="369" height="65" x="30" y="30" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="controller
(TrafficController)"/> + </children> + <children xsi:type="pi:ContainerShape" visible="true" active="true"> + <properties key="obj-type" value="port"/> + <properties key="item-kind" value="C"/> + <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="60" height="60" x="85" y="65"> + <graphicsAlgorithmChildren xsi:type="al:Rectangle" background="//@colors.1" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="18" height="18" x="21" y="21"/> + </graphicsAlgorithm> + <link> + <businessObjects href="../trafficlight.example.room#Port:TrafficController$light1"/> + </link> + <anchors xsi:type="pi:ChopboxAnchor" outgoingConnections="//@connections.0" referencedGraphicsAlgorithm="//@children.0/@children.2/@children.1/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/> + <children visible="true"> + <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="60" height="15" y="39" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="light1"/> + </children> + </children> + <children xsi:type="pi:ContainerShape" visible="true" active="true"> + <properties key="obj-type" value="port"/> + <properties key="item-kind" value="C"/> + <graphicsAlgorithm xsi:type="al:Rectangle" lineWidth="1" filled="false" lineVisible="false" transparency="0.0" width="60" height="60" x="286" y="65"> + <graphicsAlgorithmChildren xsi:type="al:Rectangle" background="//@colors.1" foreground="//@colors.2" lineWidth="1" transparency="0.0" width="18" height="18" x="21" y="21"/> + </graphicsAlgorithm> + <link> + <businessObjects href="../trafficlight.example.room#Port:TrafficController$light2"/> + </link> + <anchors xsi:type="pi:ChopboxAnchor" outgoingConnections="//@connections.1" referencedGraphicsAlgorithm="//@children.0/@children.2/@children.2/@graphicsAlgorithm/@graphicsAlgorithmChildren.0"/> + <children visible="true"> + <graphicsAlgorithm xsi:type="al:Text" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0" width="60" height="15" y="39" font="//@fonts.0" horizontalAlignment="ALIGNMENT_CENTER" value="light2"/> + </children> + </children> + </children> + </children> + <connections xsi:type="pi:FreeFormConnection" visible="true" active="true" start="//@children.0/@children.2/@children.1/@anchors.0" end="//@children.0/@children.0/@children.1/@anchors.0"> + <properties key="obj-type" value="bind"/> + <graphicsAlgorithm xsi:type="al:Polyline" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0"/> + <link> + <businessObjects href="../trafficlight.example.room#Binding:TrafficlightExampleApplication$light1!controller-controller!light1"/> + </link> + </connections> + <connections xsi:type="pi:FreeFormConnection" visible="true" active="true" start="//@children.0/@children.2/@children.2/@anchors.0" end="//@children.0/@children.1/@children.1/@anchors.0"> + <properties key="obj-type" value="bind"/> + <graphicsAlgorithm xsi:type="al:Polyline" foreground="//@colors.2" lineWidth="1" filled="false" transparency="0.0"/> + <link> + <businessObjects href="../trafficlight.example.room#Binding:TrafficlightExampleApplication$light2!controller-controller!light2"/> + </link> + </connections> + <colors red="227" green="238" blue="249"/> + <colors red="255" green="255" blue="255"/> + <colors/> + <colors red="200" green="200" blue="200"/> + <fonts name="Arial" size="8"/> +</pi:Diagram> diff --git a/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/src-gen/readme.txt b/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/src-gen/readme.txt index c3b99d458..1dc2b35ab 100644 --- a/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/src-gen/readme.txt +++ b/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/src-gen/readme.txt @@ -1,4 +1,4 @@ -This directory is an eTrice code generation target.
-It will be erased every time the generator is executed.
-
-DO NOT PLACE OTHER FILES HERE!
+This directory is an eTrice code generation target. +It will be erased every time the generator is executed. + +DO NOT PLACE OTHER FILES HERE! diff --git a/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/tmp/log/main_Async.seq b/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/tmp/log/main_Async.seq index 007b0e935..5c6b82066 100644 --- a/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/tmp/log/main_Async.seq +++ b/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/tmp/log/main_Async.seq @@ -1,576 +1,576 @@ -#generated MSC for Trace2UML
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket open
- /LSTraffic/main/application/light1 >>> OpenSocket
- /LSTraffic/main/application/light1/trafficLightSocket >>> closed
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket open
- /LSTraffic/main/application/light2 >>> OpenSocket
- /LSTraffic/main/application/light2/trafficLightSocket >>> closed
- /LSTraffic/main/application/controller >>> Idle
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket open
- /LSTraffic/main/application/light1/trafficLightSocket >-- /LSTraffic/main/application/light1 established
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket open
- /LSTraffic/main/application/light2/trafficLightSocket >-- /LSTraffic/main/application/light2 established
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/controller --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/application/light1/trafficLightSocket --> /LSTraffic/main/application/light1 established
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >>> Off_Blinking_On
- /LSTraffic/main/application/light2/trafficLightSocket --> /LSTraffic/main/application/light2 established
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >>> Off_Blinking_On
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >>> Off_Blinking_Off
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >>> Off_Blinking_Off
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >>> Off_Blinking_On
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >>> Off_Blinking_On
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >>> Off_Blinking_Off
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >>> Off_Blinking_Off
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >>> Off_Blinking_On
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >>> Off_Blinking_On
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >>> Off_Blinking_Off
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >>> Off_Blinking_Off
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/controller internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/controller internalTimeout
- /LSTraffic/main/application/controller >-- /LSTraffic/main/application/light1 greenForCar
- /LSTraffic/main/application/controller >-- /LSTraffic/main/application/light2 greenForPed
- /LSTraffic/main/application/controller >>> SwitchToLight1GreenForCars
- /LSTraffic/main/application/controller --> /LSTraffic/main/application/light1 greenForCar
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >>> PedRed
- /LSTraffic/main/application/controller --> /LSTraffic/main/application/light2 greenForPed
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >>> CarYellow2
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >>> CarYellow
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >>> CarRed
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/controller greenForCarDone
- /LSTraffic/main/application/light1 >>> CarGreen
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/controller greenForCarDone
- /LSTraffic/main/application/controller >>> state0
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/controller greenForPedDone
- /LSTraffic/main/application/light2 >>> PedGreen
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/controller greenForPedDone
- /LSTraffic/main/application/controller >>> Light1GreenForCars
- /LSTraffic/main/application/controller --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/application/light2/trafficLightSocket >-- /LSTraffic/main/application/light2 receive
- /LSTraffic/main/application/light2/trafficLightSocket --> /LSTraffic/main/application/light2 receive
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >>> Off_Blinking_On
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >>> Off_Blinking_Off
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >>> Off_Blinking_On
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >>> Off_Blinking_Off
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >>> Off_Blinking_On
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/application/light1/trafficLightSocket >-- /LSTraffic/main/application/light1 receive
- /LSTraffic/main/application/light1/trafficLightSocket --> /LSTraffic/main/application/light1 receive
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >>> Off_Blinking_On
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >>> Off_Blinking_Off
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >>> Off_Blinking_Off
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >>> Off_Blinking_On
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >>> Off_Blinking_On
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >>> Off_Blinking_Off
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >>> Off_Blinking_Off
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >>> Off_Blinking_On
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >>> Off_Blinking_On
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >>> Off_Blinking_Off
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >>> Off_Blinking_Off
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >>> Off_Blinking_On
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >>> Off_Blinking_On
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >>> Off_Blinking_Off
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >>> Off_Blinking_Off
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >>> Off_Blinking_On
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >>> Off_Blinking_On
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >>> Off_Blinking_Off
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >>> Off_Blinking_Off
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >>> Off_Blinking_On
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >>> Off_Blinking_On
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >>> Off_Blinking_Off
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >>> Off_Blinking_Off
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >>> Off_Blinking_On
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/controller internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/controller internalTimeout
- /LSTraffic/main/application/controller >-- /LSTraffic/main/application/light1 greenForPed
- /LSTraffic/main/application/controller >-- /LSTraffic/main/application/light2 greenForCar
- /LSTraffic/main/application/controller >>> SwitchToLight2GreenForCars
- /LSTraffic/main/application/controller --> /LSTraffic/main/application/light1 greenForPed
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >>> CarYellow2
- /LSTraffic/main/application/controller --> /LSTraffic/main/application/light2 greenForCar
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >>> PedRed
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout
- /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1 >>> CarRed
- /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send
- /LSTraffic/main/application/light1/trafficLightSocket >>> opened
- /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
- /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout
- /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2 >>> CarYellow
- /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send
- /LSTraffic/main/application/light2/trafficLightSocket >>> opened
- /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout
- /LSTraffic/main/TimingService >>> Operational
+#generated MSC for Trace2UML + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket open + /LSTraffic/main/application/light1 >>> OpenSocket + /LSTraffic/main/application/light1/trafficLightSocket >>> closed + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket open + /LSTraffic/main/application/light2 >>> OpenSocket + /LSTraffic/main/application/light2/trafficLightSocket >>> closed + /LSTraffic/main/application/controller >>> Idle + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket open + /LSTraffic/main/application/light1/trafficLightSocket >-- /LSTraffic/main/application/light1 established + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket open + /LSTraffic/main/application/light2/trafficLightSocket >-- /LSTraffic/main/application/light2 established + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/controller --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/application/light1/trafficLightSocket --> /LSTraffic/main/application/light1 established + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >>> Off_Blinking_On + /LSTraffic/main/application/light2/trafficLightSocket --> /LSTraffic/main/application/light2 established + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >>> Off_Blinking_On + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >>> Off_Blinking_Off + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >>> Off_Blinking_Off + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >>> Off_Blinking_On + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >>> Off_Blinking_On + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >>> Off_Blinking_Off + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >>> Off_Blinking_Off + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >>> Off_Blinking_On + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >>> Off_Blinking_On + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >>> Off_Blinking_Off + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >>> Off_Blinking_Off + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/controller internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/controller internalTimeout + /LSTraffic/main/application/controller >-- /LSTraffic/main/application/light1 greenForCar + /LSTraffic/main/application/controller >-- /LSTraffic/main/application/light2 greenForPed + /LSTraffic/main/application/controller >>> SwitchToLight1GreenForCars + /LSTraffic/main/application/controller --> /LSTraffic/main/application/light1 greenForCar + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >>> PedRed + /LSTraffic/main/application/controller --> /LSTraffic/main/application/light2 greenForPed + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >>> CarYellow2 + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >>> CarYellow + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >>> CarRed + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/controller greenForCarDone + /LSTraffic/main/application/light1 >>> CarGreen + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/controller greenForCarDone + /LSTraffic/main/application/controller >>> state0 + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/controller greenForPedDone + /LSTraffic/main/application/light2 >>> PedGreen + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/controller greenForPedDone + /LSTraffic/main/application/controller >>> Light1GreenForCars + /LSTraffic/main/application/controller --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/application/light2/trafficLightSocket >-- /LSTraffic/main/application/light2 receive + /LSTraffic/main/application/light2/trafficLightSocket --> /LSTraffic/main/application/light2 receive + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >>> Off_Blinking_On + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >>> Off_Blinking_Off + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >>> Off_Blinking_On + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >>> Off_Blinking_Off + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >>> Off_Blinking_On + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/application/light1/trafficLightSocket >-- /LSTraffic/main/application/light1 receive + /LSTraffic/main/application/light1/trafficLightSocket --> /LSTraffic/main/application/light1 receive + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >>> Off_Blinking_On + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >>> Off_Blinking_Off + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >>> Off_Blinking_Off + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >>> Off_Blinking_On + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >>> Off_Blinking_On + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >>> Off_Blinking_Off + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >>> Off_Blinking_Off + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >>> Off_Blinking_On + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >>> Off_Blinking_On + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >>> Off_Blinking_Off + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >>> Off_Blinking_Off + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >>> Off_Blinking_On + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >>> Off_Blinking_On + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >>> Off_Blinking_Off + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >>> Off_Blinking_Off + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >>> Off_Blinking_On + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >>> Off_Blinking_On + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >>> Off_Blinking_Off + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >>> Off_Blinking_Off + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >>> Off_Blinking_On + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >>> Off_Blinking_On + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >>> Off_Blinking_Off + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >>> Off_Blinking_Off + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >>> Off_Blinking_On + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/controller internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/controller internalTimeout + /LSTraffic/main/application/controller >-- /LSTraffic/main/application/light1 greenForPed + /LSTraffic/main/application/controller >-- /LSTraffic/main/application/light2 greenForCar + /LSTraffic/main/application/controller >>> SwitchToLight2GreenForCars + /LSTraffic/main/application/controller --> /LSTraffic/main/application/light1 greenForPed + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >>> CarYellow2 + /LSTraffic/main/application/controller --> /LSTraffic/main/application/light2 greenForCar + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >>> PedRed + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >>> CarRed + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2 >>> CarYellow + /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send + /LSTraffic/main/application/light2/trafficLightSocket >>> opened + /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational diff --git a/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/tmp/log/main_Sync.seq b/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/tmp/log/main_Sync.seq index 50058ecdd..58543452e 100644 --- a/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/tmp/log/main_Sync.seq +++ b/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/tmp/log/main_Sync.seq @@ -1 +1 @@ -#generated MSC for Trace2UML
+#generated MSC for Trace2UML |