|
@@ -1,144 +1,138 @@
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
<xmi:XMI xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:notation="http://www.eclipse.org/gmf/runtime/1.0.2/notation" xmlns:sgraph="http://www.yakindu.org/sct/2.0.0" xmlns:stext="http://www.yakindu.org/sct/statechart/SText">
|
|
|
- <sgraph:Statechart xmi:id="_NPjBgBA-EeGQ0KsLDV4EFg" name="TrafficLightWaiting" expression="interface TrafficLight:
	var red:boolean
	var yellow:boolean
	var green:boolean

interface Pedestrian:
	var request:boolean
	var red:boolean
	var green:boolean

interface:
	in event keypress1
	in event keypress2
	in event keypress3">
|
|
|
- <scopes xsi:type="stext:InterfaceScope" xmi:id="_ZdMr4BqLEeGkDZRZy8Mgeg" name="TrafficLight">
|
|
|
- <declarations xsi:type="stext:VariableDefinition" xmi:id="_ZdMr4RqLEeGkDZRZy8Mgeg" name="red" type="boolean"/>
|
|
|
- <declarations xsi:type="stext:VariableDefinition" xmi:id="_ZdMr4hqLEeGkDZRZy8Mgeg" name="yellow" type="boolean"/>
|
|
|
- <declarations xsi:type="stext:VariableDefinition" xmi:id="_ZdMr4xqLEeGkDZRZy8Mgeg" name="green" type="boolean"/>
|
|
|
+ <sgraph:Statechart xmi:id="_NPjBgBA-EeGQ0KsLDV4EFg" name="TrafficLightWaiting" expression="interface TrafficLight:
	var red:boolean
	var yellow:boolean
	var green:boolean

interface Pedestrian:
	var request:boolean
	var red:boolean
	var green:boolean

interface:
	in event keypress1
	in event keypress2">
|
|
|
+ <scopes xsi:type="stext:InterfaceScope" xmi:id="_evn_sBy4EeGr28QZw3InCQ" name="TrafficLight">
|
|
|
+ <declarations xsi:type="stext:VariableDefinition" xmi:id="_evn_sRy4EeGr28QZw3InCQ" name="red" type="boolean"/>
|
|
|
+ <declarations xsi:type="stext:VariableDefinition" xmi:id="_evn_shy4EeGr28QZw3InCQ" name="yellow" type="boolean"/>
|
|
|
+ <declarations xsi:type="stext:VariableDefinition" xmi:id="_evn_sxy4EeGr28QZw3InCQ" name="green" type="boolean"/>
|
|
|
</scopes>
|
|
|
- <scopes xsi:type="stext:InterfaceScope" xmi:id="_ZdMr5BqLEeGkDZRZy8Mgeg" name="Pedestrian">
|
|
|
- <declarations xsi:type="stext:VariableDefinition" xmi:id="_ZdMr5RqLEeGkDZRZy8Mgeg" name="request" type="boolean"/>
|
|
|
- <declarations xsi:type="stext:VariableDefinition" xmi:id="_ZdMr5hqLEeGkDZRZy8Mgeg" name="red" type="boolean"/>
|
|
|
- <declarations xsi:type="stext:VariableDefinition" xmi:id="_ZdMr5xqLEeGkDZRZy8Mgeg" name="green" type="boolean"/>
|
|
|
+ <scopes xsi:type="stext:InterfaceScope" xmi:id="_evn_tBy4EeGr28QZw3InCQ" name="Pedestrian">
|
|
|
+ <declarations xsi:type="stext:VariableDefinition" xmi:id="_evn_tRy4EeGr28QZw3InCQ" name="request" type="boolean"/>
|
|
|
+ <declarations xsi:type="stext:VariableDefinition" xmi:id="_evn_thy4EeGr28QZw3InCQ" name="red" type="boolean"/>
|
|
|
+ <declarations xsi:type="stext:VariableDefinition" xmi:id="_evn_txy4EeGr28QZw3InCQ" name="green" type="boolean"/>
|
|
|
</scopes>
|
|
|
- <scopes xsi:type="stext:InterfaceScope" xmi:id="_ZdMr6BqLEeGkDZRZy8Mgeg">
|
|
|
- <declarations xsi:type="stext:EventDefinition" xmi:id="_ZdMr6RqLEeGkDZRZy8Mgeg" name="keypress1" direction="in"/>
|
|
|
- <declarations xsi:type="stext:EventDefinition" xmi:id="_ZdMr6hqLEeGkDZRZy8Mgeg" name="keypress2" direction="in"/>
|
|
|
- <declarations xsi:type="stext:EventDefinition" xmi:id="_ZdMr6xqLEeGkDZRZy8Mgeg" name="keypress3" direction="in"/>
|
|
|
+ <scopes xsi:type="stext:InterfaceScope" xmi:id="_evn_uBy4EeGr28QZw3InCQ">
|
|
|
+ <declarations xsi:type="stext:EventDefinition" xmi:id="_evn_uRy4EeGr28QZw3InCQ" name="keypress1" direction="in"/>
|
|
|
+ <declarations xsi:type="stext:EventDefinition" xmi:id="_evn_uhy4EeGr28QZw3InCQ" name="keypress2" direction="in"/>
|
|
|
</scopes>
|
|
|
<regions xmi:id="_NPjBgxA-EeGQ0KsLDV4EFg" name="main region">
|
|
|
<vertices xsi:type="sgraph:Entry" xmi:id="_NPjBjRA-EeGQ0KsLDV4EFg">
|
|
|
<outgoingTransitions xmi:id="_NPsyhxA-EeGQ0KsLDV4EFg" target="_NPjBmBA-EeGQ0KsLDV4EFg"/>
|
|
|
</vertices>
|
|
|
- <vertices xsi:type="sgraph:State" xmi:id="_NPjBmBA-EeGQ0KsLDV4EFg" name="on" incomingTransitions="_NPsyhxA-EeGQ0KsLDV4EFg _6kP60BBPEeGQ0KsLDV4EFg __OsQsBBPEeGQ0KsLDV4EFg">
|
|
|
- <scopes xmi:id="_ZdQWQBqLEeGkDZRZy8Mgeg"/>
|
|
|
- <outgoingTransitions xmi:id="_Av3wkBBFEeGQ0KsLDV4EFg" expression="keypress3" target="_7PkwwBBEEeGQ0KsLDV4EFg">
|
|
|
- <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ZdSLcBqLEeGkDZRZy8Mgeg">
|
|
|
- <triggers xsi:type="stext:RegularEventSpec" xmi:id="_ZdSLcRqLEeGkDZRZy8Mgeg" event="_ZdMr6xqLEeGkDZRZy8Mgeg"/>
|
|
|
- </trigger>
|
|
|
- </outgoingTransitions>
|
|
|
+ <vertices xsi:type="sgraph:State" xmi:id="_NPjBmBA-EeGQ0KsLDV4EFg" name="on" incomingTransitions="_NPsyhxA-EeGQ0KsLDV4EFg __OsQsBBPEeGQ0KsLDV4EFg">
|
|
|
+ <scopes xmi:id="_evrqEBy4EeGr28QZw3InCQ"/>
|
|
|
<outgoingTransitions xmi:id="_XlIREBBFEeGQ0KsLDV4EFg" expression="keypress2" target="_MF4mkBBFEeGQ0KsLDV4EFg">
|
|
|
- <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ZdVOwBqLEeGkDZRZy8Mgeg">
|
|
|
- <triggers xsi:type="stext:RegularEventSpec" xmi:id="_ZdVOwRqLEeGkDZRZy8Mgeg" event="_ZdMr6hqLEeGkDZRZy8Mgeg"/>
|
|
|
+ <trigger xsi:type="stext:ReactionTrigger" xmi:id="_evs4MBy4EeGr28QZw3InCQ">
|
|
|
+ <triggers xsi:type="stext:RegularEventSpec" xmi:id="_evs4MRy4EeGr28QZw3InCQ" event="_evn_uhy4EeGr28QZw3InCQ"/>
|
|
|
</trigger>
|
|
|
</outgoingTransitions>
|
|
|
<subRegions xmi:id="_vZz18BA_EeGQ0KsLDV4EFg" name="r1">
|
|
|
<vertices xsi:type="sgraph:State" xmi:id="_w8meYBA_EeGQ0KsLDV4EFg" expression="entry / TrafficLight.red = false; 
	TrafficLight.yellow = false;
	TrafficLight.green = true;
	Pedestrian.red = true;
	Pedestrian.green = false;
	Pedestrian.request = false;" name="StreetGreen" incomingTransitions="_pddaABBEEeGQ0KsLDV4EFg _yYuD0BBPEeGQ0KsLDV4EFg">
|
|
|
- <scopes xmi:id="_ZdZgMBqLEeGkDZRZy8Mgeg">
|
|
|
- <declarations xsi:type="stext:LocalReaction" xmi:id="_ZdZgMRqLEeGkDZRZy8Mgeg">
|
|
|
- <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ZdZgMhqLEeGkDZRZy8Mgeg">
|
|
|
- <triggers xsi:type="stext:EntryEvent" xmi:id="_ZdZgMxqLEeGkDZRZy8Mgeg"/>
|
|
|
+ <scopes xmi:id="_evwikBy4EeGr28QZw3InCQ">
|
|
|
+ <declarations xsi:type="stext:LocalReaction" xmi:id="_evwikRy4EeGr28QZw3InCQ">
|
|
|
+ <trigger xsi:type="stext:ReactionTrigger" xmi:id="_evwikhy4EeGr28QZw3InCQ">
|
|
|
+ <triggers xsi:type="stext:EntryEvent" xmi:id="_evwikxy4EeGr28QZw3InCQ"/>
|
|
|
</trigger>
|
|
|
- <effect xsi:type="stext:ReactionEffect" xmi:id="_ZdZgNBqLEeGkDZRZy8Mgeg">
|
|
|
- <actions xsi:type="stext:Assignment" xmi:id="_ZdZgNRqLEeGkDZRZy8Mgeg" varRef="_ZdMr4RqLEeGkDZRZy8Mgeg">
|
|
|
- <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ZdZgNhqLEeGkDZRZy8Mgeg">
|
|
|
- <value xsi:type="stext:BoolLiteral" xmi:id="_ZdZgNxqLEeGkDZRZy8Mgeg"/>
|
|
|
+ <effect xsi:type="stext:ReactionEffect" xmi:id="_evwilBy4EeGr28QZw3InCQ">
|
|
|
+ <actions xsi:type="stext:Assignment" xmi:id="_evwilRy4EeGr28QZw3InCQ" varRef="_evn_sRy4EeGr28QZw3InCQ">
|
|
|
+ <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_evwilhy4EeGr28QZw3InCQ">
|
|
|
+ <value xsi:type="stext:BoolLiteral" xmi:id="_evwilxy4EeGr28QZw3InCQ"/>
|
|
|
</expression>
|
|
|
</actions>
|
|
|
- <actions xsi:type="stext:Assignment" xmi:id="_ZdZgOBqLEeGkDZRZy8Mgeg" varRef="_ZdMr4hqLEeGkDZRZy8Mgeg">
|
|
|
- <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ZdZgORqLEeGkDZRZy8Mgeg">
|
|
|
- <value xsi:type="stext:BoolLiteral" xmi:id="_ZdZgOhqLEeGkDZRZy8Mgeg"/>
|
|
|
+ <actions xsi:type="stext:Assignment" xmi:id="_evwimBy4EeGr28QZw3InCQ" varRef="_evn_shy4EeGr28QZw3InCQ">
|
|
|
+ <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_evwimRy4EeGr28QZw3InCQ">
|
|
|
+ <value xsi:type="stext:BoolLiteral" xmi:id="_evwimhy4EeGr28QZw3InCQ"/>
|
|
|
</expression>
|
|
|
</actions>
|
|
|
- <actions xsi:type="stext:Assignment" xmi:id="_ZdZgOxqLEeGkDZRZy8Mgeg" varRef="_ZdMr4xqLEeGkDZRZy8Mgeg">
|
|
|
- <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ZdZgPBqLEeGkDZRZy8Mgeg">
|
|
|
- <value xsi:type="stext:BoolLiteral" xmi:id="_ZdZgPRqLEeGkDZRZy8Mgeg" value="true"/>
|
|
|
+ <actions xsi:type="stext:Assignment" xmi:id="_evwimxy4EeGr28QZw3InCQ" varRef="_evn_sxy4EeGr28QZw3InCQ">
|
|
|
+ <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_evwinBy4EeGr28QZw3InCQ">
|
|
|
+ <value xsi:type="stext:BoolLiteral" xmi:id="_evwinRy4EeGr28QZw3InCQ" value="true"/>
|
|
|
</expression>
|
|
|
</actions>
|
|
|
- <actions xsi:type="stext:Assignment" xmi:id="_ZdZgPhqLEeGkDZRZy8Mgeg" varRef="_ZdMr5hqLEeGkDZRZy8Mgeg">
|
|
|
- <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ZdZgPxqLEeGkDZRZy8Mgeg">
|
|
|
- <value xsi:type="stext:BoolLiteral" xmi:id="_ZdZgQBqLEeGkDZRZy8Mgeg" value="true"/>
|
|
|
+ <actions xsi:type="stext:Assignment" xmi:id="_evwinhy4EeGr28QZw3InCQ" varRef="_evn_thy4EeGr28QZw3InCQ">
|
|
|
+ <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_evwinxy4EeGr28QZw3InCQ">
|
|
|
+ <value xsi:type="stext:BoolLiteral" xmi:id="_evwioBy4EeGr28QZw3InCQ" value="true"/>
|
|
|
</expression>
|
|
|
</actions>
|
|
|
- <actions xsi:type="stext:Assignment" xmi:id="_ZdZgQRqLEeGkDZRZy8Mgeg" varRef="_ZdMr5xqLEeGkDZRZy8Mgeg">
|
|
|
- <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ZdZgQhqLEeGkDZRZy8Mgeg">
|
|
|
- <value xsi:type="stext:BoolLiteral" xmi:id="_ZdZgQxqLEeGkDZRZy8Mgeg"/>
|
|
|
+ <actions xsi:type="stext:Assignment" xmi:id="_evwioRy4EeGr28QZw3InCQ" varRef="_evn_txy4EeGr28QZw3InCQ">
|
|
|
+ <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_evwiohy4EeGr28QZw3InCQ">
|
|
|
+ <value xsi:type="stext:BoolLiteral" xmi:id="_evwioxy4EeGr28QZw3InCQ"/>
|
|
|
</expression>
|
|
|
</actions>
|
|
|
- <actions xsi:type="stext:Assignment" xmi:id="_ZdZgRBqLEeGkDZRZy8Mgeg" varRef="_ZdMr5RqLEeGkDZRZy8Mgeg">
|
|
|
- <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ZdZgRRqLEeGkDZRZy8Mgeg">
|
|
|
- <value xsi:type="stext:BoolLiteral" xmi:id="_ZdZgRhqLEeGkDZRZy8Mgeg"/>
|
|
|
+ <actions xsi:type="stext:Assignment" xmi:id="_evwipBy4EeGr28QZw3InCQ" varRef="_evn_tRy4EeGr28QZw3InCQ">
|
|
|
+ <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_evwipRy4EeGr28QZw3InCQ">
|
|
|
+ <value xsi:type="stext:BoolLiteral" xmi:id="_evwiphy4EeGr28QZw3InCQ"/>
|
|
|
</expression>
|
|
|
</actions>
|
|
|
</effect>
|
|
|
</declarations>
|
|
|
</scopes>
|
|
|
<outgoingTransitions xmi:id="_Lo2CEBBBEeGQ0KsLDV4EFg" expression="keypress1" target="_iAKe0BBAEeGQ0KsLDV4EFg">
|
|
|
- <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ZdnioBqLEeGkDZRZy8Mgeg">
|
|
|
- <triggers xsi:type="stext:RegularEventSpec" xmi:id="_ZdnioRqLEeGkDZRZy8Mgeg" event="_ZdMr6RqLEeGkDZRZy8Mgeg"/>
|
|
|
+ <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ev8v0By4EeGr28QZw3InCQ">
|
|
|
+ <triggers xsi:type="stext:RegularEventSpec" xmi:id="_ev8v0Ry4EeGr28QZw3InCQ" event="_evn_uRy4EeGr28QZw3InCQ"/>
|
|
|
</trigger>
|
|
|
</outgoingTransitions>
|
|
|
</vertices>
|
|
|
<vertices xsi:type="sgraph:State" xmi:id="_iAKe0BBAEeGQ0KsLDV4EFg" expression="exit / Pedestrian.request = false;" name="PedWaiting" incomingTransitions="_Lo2CEBBBEeGQ0KsLDV4EFg">
|
|
|
- <scopes xmi:id="_Zdql8BqLEeGkDZRZy8Mgeg">
|
|
|
- <declarations xsi:type="stext:LocalReaction" xmi:id="_Zdql8RqLEeGkDZRZy8Mgeg">
|
|
|
- <trigger xsi:type="stext:ReactionTrigger" xmi:id="_Zdql8hqLEeGkDZRZy8Mgeg">
|
|
|
- <triggers xsi:type="stext:ExitEvent" xmi:id="_Zdql8xqLEeGkDZRZy8Mgeg"/>
|
|
|
+ <scopes xmi:id="_ev_zIBy4EeGr28QZw3InCQ">
|
|
|
+ <declarations xsi:type="stext:LocalReaction" xmi:id="_ev_zIRy4EeGr28QZw3InCQ">
|
|
|
+ <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ev_zIhy4EeGr28QZw3InCQ">
|
|
|
+ <triggers xsi:type="stext:ExitEvent" xmi:id="_ev_zIxy4EeGr28QZw3InCQ"/>
|
|
|
</trigger>
|
|
|
- <effect xsi:type="stext:ReactionEffect" xmi:id="_Zdql9BqLEeGkDZRZy8Mgeg">
|
|
|
- <actions xsi:type="stext:Assignment" xmi:id="_Zdql9RqLEeGkDZRZy8Mgeg" varRef="_ZdMr5RqLEeGkDZRZy8Mgeg">
|
|
|
- <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_Zdql9hqLEeGkDZRZy8Mgeg">
|
|
|
- <value xsi:type="stext:BoolLiteral" xmi:id="_Zdql9xqLEeGkDZRZy8Mgeg"/>
|
|
|
+ <effect xsi:type="stext:ReactionEffect" xmi:id="_ev_zJBy4EeGr28QZw3InCQ">
|
|
|
+ <actions xsi:type="stext:Assignment" xmi:id="_ev_zJRy4EeGr28QZw3InCQ" varRef="_evn_tRy4EeGr28QZw3InCQ">
|
|
|
+ <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ev_zJhy4EeGr28QZw3InCQ">
|
|
|
+ <value xsi:type="stext:BoolLiteral" xmi:id="_ev_zJxy4EeGr28QZw3InCQ"/>
|
|
|
</expression>
|
|
|
</actions>
|
|
|
</effect>
|
|
|
</declarations>
|
|
|
</scopes>
|
|
|
<outgoingTransitions xmi:id="_LDXEgBBDEeGQ0KsLDV4EFg" expression="after 7s" target="_SKct4BBBEeGQ0KsLDV4EFg">
|
|
|
- <trigger xsi:type="stext:ReactionTrigger" xmi:id="_Zdu3YBqLEeGkDZRZy8Mgeg">
|
|
|
- <triggers xsi:type="stext:TimeEventSpec" xmi:id="_Zdu3YRqLEeGkDZRZy8Mgeg" value="7"/>
|
|
|
+ <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ewC2cBy4EeGr28QZw3InCQ">
|
|
|
+ <triggers xsi:type="stext:TimeEventSpec" xmi:id="_ewC2cRy4EeGr28QZw3InCQ" value="7"/>
|
|
|
</trigger>
|
|
|
</outgoingTransitions>
|
|
|
<subRegions xmi:id="_iAKe0hBAEeGQ0KsLDV4EFg" name="r1">
|
|
|
<vertices xsi:type="sgraph:State" xmi:id="_mjm00BBAEeGQ0KsLDV4EFg" expression="entry / 
Pedestrian.request = true;" name="waitOn" incomingTransitions="_wTHnEBBAEeGQ0KsLDV4EFg _OXpxsBBBEeGQ0KsLDV4EFg">
|
|
|
- <scopes xmi:id="_ZdvecBqLEeGkDZRZy8Mgeg">
|
|
|
- <declarations xsi:type="stext:LocalReaction" xmi:id="_ZdvecRqLEeGkDZRZy8Mgeg">
|
|
|
- <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ZdvechqLEeGkDZRZy8Mgeg">
|
|
|
- <triggers xsi:type="stext:EntryEvent" xmi:id="_ZdvecxqLEeGkDZRZy8Mgeg"/>
|
|
|
+ <scopes xmi:id="_ewC2chy4EeGr28QZw3InCQ">
|
|
|
+ <declarations xsi:type="stext:LocalReaction" xmi:id="_ewC2cxy4EeGr28QZw3InCQ">
|
|
|
+ <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ewC2dBy4EeGr28QZw3InCQ">
|
|
|
+ <triggers xsi:type="stext:EntryEvent" xmi:id="_ewC2dRy4EeGr28QZw3InCQ"/>
|
|
|
</trigger>
|
|
|
- <effect xsi:type="stext:ReactionEffect" xmi:id="_ZdvedBqLEeGkDZRZy8Mgeg">
|
|
|
- <actions xsi:type="stext:Assignment" xmi:id="_ZdvedRqLEeGkDZRZy8Mgeg" varRef="_ZdMr5RqLEeGkDZRZy8Mgeg">
|
|
|
- <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ZdvedhqLEeGkDZRZy8Mgeg">
|
|
|
- <value xsi:type="stext:BoolLiteral" xmi:id="_ZdvedxqLEeGkDZRZy8Mgeg" value="true"/>
|
|
|
+ <effect xsi:type="stext:ReactionEffect" xmi:id="_ewC2dhy4EeGr28QZw3InCQ">
|
|
|
+ <actions xsi:type="stext:Assignment" xmi:id="_ewC2dxy4EeGr28QZw3InCQ" varRef="_evn_tRy4EeGr28QZw3InCQ">
|
|
|
+ <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ewC2eBy4EeGr28QZw3InCQ">
|
|
|
+ <value xsi:type="stext:BoolLiteral" xmi:id="_ewC2eRy4EeGr28QZw3InCQ" value="true"/>
|
|
|
</expression>
|
|
|
</actions>
|
|
|
</effect>
|
|
|
</declarations>
|
|
|
</scopes>
|
|
|
<outgoingTransitions xmi:id="_6LZ60BBAEeGQ0KsLDV4EFg" expression="after 500ms" target="_n6DDUBBAEeGQ0KsLDV4EFg">
|
|
|
- <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ZdyhwBqLEeGkDZRZy8Mgeg">
|
|
|
- <triggers xsi:type="stext:TimeEventSpec" xmi:id="_ZdyhwRqLEeGkDZRZy8Mgeg" value="500" unit="ms"/>
|
|
|
+ <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ewF5wBy4EeGr28QZw3InCQ">
|
|
|
+ <triggers xsi:type="stext:TimeEventSpec" xmi:id="_ewF5wRy4EeGr28QZw3InCQ" value="500" unit="ms"/>
|
|
|
</trigger>
|
|
|
</outgoingTransitions>
|
|
|
</vertices>
|
|
|
<vertices xsi:type="sgraph:State" xmi:id="_n6DDUBBAEeGQ0KsLDV4EFg" expression="entry / 
Pedestrian.request = false;" name="waitOff" incomingTransitions="_6LZ60BBAEeGQ0KsLDV4EFg">
|
|
|
- <scopes xmi:id="_ZdzI0BqLEeGkDZRZy8Mgeg">
|
|
|
- <declarations xsi:type="stext:LocalReaction" xmi:id="_ZdzI0RqLEeGkDZRZy8Mgeg">
|
|
|
- <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ZdzI0hqLEeGkDZRZy8Mgeg">
|
|
|
- <triggers xsi:type="stext:EntryEvent" xmi:id="_ZdzI0xqLEeGkDZRZy8Mgeg"/>
|
|
|
+ <scopes xmi:id="_ewF5why4EeGr28QZw3InCQ">
|
|
|
+ <declarations xsi:type="stext:LocalReaction" xmi:id="_ewF5wxy4EeGr28QZw3InCQ">
|
|
|
+ <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ewF5xBy4EeGr28QZw3InCQ">
|
|
|
+ <triggers xsi:type="stext:EntryEvent" xmi:id="_ewF5xRy4EeGr28QZw3InCQ"/>
|
|
|
</trigger>
|
|
|
- <effect xsi:type="stext:ReactionEffect" xmi:id="_ZdzI1BqLEeGkDZRZy8Mgeg">
|
|
|
- <actions xsi:type="stext:Assignment" xmi:id="_ZdzI1RqLEeGkDZRZy8Mgeg" varRef="_ZdMr5RqLEeGkDZRZy8Mgeg">
|
|
|
- <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ZdzI1hqLEeGkDZRZy8Mgeg">
|
|
|
- <value xsi:type="stext:BoolLiteral" xmi:id="_ZdzI1xqLEeGkDZRZy8Mgeg"/>
|
|
|
+ <effect xsi:type="stext:ReactionEffect" xmi:id="_ewF5xhy4EeGr28QZw3InCQ">
|
|
|
+ <actions xsi:type="stext:Assignment" xmi:id="_ewF5xxy4EeGr28QZw3InCQ" varRef="_evn_tRy4EeGr28QZw3InCQ">
|
|
|
+ <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ewF5yBy4EeGr28QZw3InCQ">
|
|
|
+ <value xsi:type="stext:BoolLiteral" xmi:id="_ewF5yRy4EeGr28QZw3InCQ"/>
|
|
|
</expression>
|
|
|
</actions>
|
|
|
</effect>
|
|
|
</declarations>
|
|
|
</scopes>
|
|
|
<outgoingTransitions xmi:id="_OXpxsBBBEeGQ0KsLDV4EFg" expression="after 500ms" target="_mjm00BBAEeGQ0KsLDV4EFg">
|
|
|
- <trigger xsi:type="stext:ReactionTrigger" xmi:id="_Zd2zMBqLEeGkDZRZy8Mgeg">
|
|
|
- <triggers xsi:type="stext:TimeEventSpec" xmi:id="_Zd2zMRqLEeGkDZRZy8Mgeg" value="500" unit="ms"/>
|
|
|
+ <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ewI9EBy4EeGr28QZw3InCQ">
|
|
|
+ <triggers xsi:type="stext:TimeEventSpec" xmi:id="_ewI9ERy4EeGr28QZw3InCQ" value="500" unit="ms"/>
|
|
|
</trigger>
|
|
|
</outgoingTransitions>
|
|
|
</vertices>
|
|
@@ -148,147 +142,147 @@
|
|
|
</subRegions>
|
|
|
</vertices>
|
|
|
<vertices xsi:type="sgraph:State" xmi:id="_SKct4BBBEeGQ0KsLDV4EFg" expression="entry / TrafficLight.red = false;
	TrafficLight.yellow = true;
	TrafficLight.green = false;" name="StreetAttention" incomingTransitions="_LDXEgBBDEeGQ0KsLDV4EFg">
|
|
|
- <scopes xmi:id="_Zd3aQBqLEeGkDZRZy8Mgeg">
|
|
|
- <declarations xsi:type="stext:LocalReaction" xmi:id="_Zd3aQRqLEeGkDZRZy8Mgeg">
|
|
|
- <trigger xsi:type="stext:ReactionTrigger" xmi:id="_Zd3aQhqLEeGkDZRZy8Mgeg">
|
|
|
- <triggers xsi:type="stext:EntryEvent" xmi:id="_Zd3aQxqLEeGkDZRZy8Mgeg"/>
|
|
|
+ <scopes xmi:id="_ewJkIBy4EeGr28QZw3InCQ">
|
|
|
+ <declarations xsi:type="stext:LocalReaction" xmi:id="_ewJkIRy4EeGr28QZw3InCQ">
|
|
|
+ <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ewJkIhy4EeGr28QZw3InCQ">
|
|
|
+ <triggers xsi:type="stext:EntryEvent" xmi:id="_ewJkIxy4EeGr28QZw3InCQ"/>
|
|
|
</trigger>
|
|
|
- <effect xsi:type="stext:ReactionEffect" xmi:id="_Zd3aRBqLEeGkDZRZy8Mgeg">
|
|
|
- <actions xsi:type="stext:Assignment" xmi:id="_Zd3aRRqLEeGkDZRZy8Mgeg" varRef="_ZdMr4RqLEeGkDZRZy8Mgeg">
|
|
|
- <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_Zd3aRhqLEeGkDZRZy8Mgeg">
|
|
|
- <value xsi:type="stext:BoolLiteral" xmi:id="_Zd3aRxqLEeGkDZRZy8Mgeg"/>
|
|
|
+ <effect xsi:type="stext:ReactionEffect" xmi:id="_ewJkJBy4EeGr28QZw3InCQ">
|
|
|
+ <actions xsi:type="stext:Assignment" xmi:id="_ewJkJRy4EeGr28QZw3InCQ" varRef="_evn_sRy4EeGr28QZw3InCQ">
|
|
|
+ <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ewJkJhy4EeGr28QZw3InCQ">
|
|
|
+ <value xsi:type="stext:BoolLiteral" xmi:id="_ewJkJxy4EeGr28QZw3InCQ"/>
|
|
|
</expression>
|
|
|
</actions>
|
|
|
- <actions xsi:type="stext:Assignment" xmi:id="_Zd3aSBqLEeGkDZRZy8Mgeg" varRef="_ZdMr4hqLEeGkDZRZy8Mgeg">
|
|
|
- <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_Zd3aSRqLEeGkDZRZy8Mgeg">
|
|
|
- <value xsi:type="stext:BoolLiteral" xmi:id="_Zd3aShqLEeGkDZRZy8Mgeg" value="true"/>
|
|
|
+ <actions xsi:type="stext:Assignment" xmi:id="_ewJkKBy4EeGr28QZw3InCQ" varRef="_evn_shy4EeGr28QZw3InCQ">
|
|
|
+ <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ewJkKRy4EeGr28QZw3InCQ">
|
|
|
+ <value xsi:type="stext:BoolLiteral" xmi:id="_ewJkKhy4EeGr28QZw3InCQ" value="true"/>
|
|
|
</expression>
|
|
|
</actions>
|
|
|
- <actions xsi:type="stext:Assignment" xmi:id="_Zd3aSxqLEeGkDZRZy8Mgeg" varRef="_ZdMr4xqLEeGkDZRZy8Mgeg">
|
|
|
- <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_Zd3aTBqLEeGkDZRZy8Mgeg">
|
|
|
- <value xsi:type="stext:BoolLiteral" xmi:id="_Zd3aTRqLEeGkDZRZy8Mgeg"/>
|
|
|
+ <actions xsi:type="stext:Assignment" xmi:id="_ewJkKxy4EeGr28QZw3InCQ" varRef="_evn_sxy4EeGr28QZw3InCQ">
|
|
|
+ <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ewJkLBy4EeGr28QZw3InCQ">
|
|
|
+ <value xsi:type="stext:BoolLiteral" xmi:id="_ewJkLRy4EeGr28QZw3InCQ"/>
|
|
|
</expression>
|
|
|
</actions>
|
|
|
</effect>
|
|
|
</declarations>
|
|
|
</scopes>
|
|
|
<outgoingTransitions xmi:id="_fS31UBBEEeGQ0KsLDV4EFg" expression="after 2s" target="_fO-pQBBDEeGQ0KsLDV4EFg">
|
|
|
- <trigger xsi:type="stext:ReactionTrigger" xmi:id="_Zd_WEBqLEeGkDZRZy8Mgeg">
|
|
|
- <triggers xsi:type="stext:TimeEventSpec" xmi:id="_Zd_WERqLEeGkDZRZy8Mgeg" value="2"/>
|
|
|
+ <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ewQR0By4EeGr28QZw3InCQ">
|
|
|
+ <triggers xsi:type="stext:TimeEventSpec" xmi:id="_ewQR0Ry4EeGr28QZw3InCQ" value="2"/>
|
|
|
</trigger>
|
|
|
</outgoingTransitions>
|
|
|
</vertices>
|
|
|
<vertices xsi:type="sgraph:State" xmi:id="_fO-pQBBDEeGQ0KsLDV4EFg" expression="entry / TrafficLight.red = true;
TrafficLight.yellow = false;
TrafficLight.green = false;" name="StreetRed" incomingTransitions="_fS31UBBEEeGQ0KsLDV4EFg">
|
|
|
- <scopes xmi:id="_Zd_WEhqLEeGkDZRZy8Mgeg">
|
|
|
- <declarations xsi:type="stext:LocalReaction" xmi:id="_Zd_WExqLEeGkDZRZy8Mgeg">
|
|
|
- <trigger xsi:type="stext:ReactionTrigger" xmi:id="_Zd_9IBqLEeGkDZRZy8Mgeg">
|
|
|
- <triggers xsi:type="stext:EntryEvent" xmi:id="_Zd_9IRqLEeGkDZRZy8Mgeg"/>
|
|
|
+ <scopes xmi:id="_ewQR0hy4EeGr28QZw3InCQ">
|
|
|
+ <declarations xsi:type="stext:LocalReaction" xmi:id="_ewQR0xy4EeGr28QZw3InCQ">
|
|
|
+ <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ewQR1By4EeGr28QZw3InCQ">
|
|
|
+ <triggers xsi:type="stext:EntryEvent" xmi:id="_ewQR1Ry4EeGr28QZw3InCQ"/>
|
|
|
</trigger>
|
|
|
- <effect xsi:type="stext:ReactionEffect" xmi:id="_Zd_9IhqLEeGkDZRZy8Mgeg">
|
|
|
- <actions xsi:type="stext:Assignment" xmi:id="_Zd_9IxqLEeGkDZRZy8Mgeg" varRef="_ZdMr4RqLEeGkDZRZy8Mgeg">
|
|
|
- <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_Zd_9JBqLEeGkDZRZy8Mgeg">
|
|
|
- <value xsi:type="stext:BoolLiteral" xmi:id="_Zd_9JRqLEeGkDZRZy8Mgeg" value="true"/>
|
|
|
+ <effect xsi:type="stext:ReactionEffect" xmi:id="_ewQR1hy4EeGr28QZw3InCQ">
|
|
|
+ <actions xsi:type="stext:Assignment" xmi:id="_ewQR1xy4EeGr28QZw3InCQ" varRef="_evn_sRy4EeGr28QZw3InCQ">
|
|
|
+ <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ewQR2By4EeGr28QZw3InCQ">
|
|
|
+ <value xsi:type="stext:BoolLiteral" xmi:id="_ewQR2Ry4EeGr28QZw3InCQ" value="true"/>
|
|
|
</expression>
|
|
|
</actions>
|
|
|
- <actions xsi:type="stext:Assignment" xmi:id="_Zd_9JhqLEeGkDZRZy8Mgeg" varRef="_ZdMr4hqLEeGkDZRZy8Mgeg">
|
|
|
- <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_Zd_9JxqLEeGkDZRZy8Mgeg">
|
|
|
- <value xsi:type="stext:BoolLiteral" xmi:id="_Zd_9KBqLEeGkDZRZy8Mgeg"/>
|
|
|
+ <actions xsi:type="stext:Assignment" xmi:id="_ewQR2hy4EeGr28QZw3InCQ" varRef="_evn_shy4EeGr28QZw3InCQ">
|
|
|
+ <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ewQR2xy4EeGr28QZw3InCQ">
|
|
|
+ <value xsi:type="stext:BoolLiteral" xmi:id="_ewQR3By4EeGr28QZw3InCQ"/>
|
|
|
</expression>
|
|
|
</actions>
|
|
|
- <actions xsi:type="stext:Assignment" xmi:id="_Zd_9KRqLEeGkDZRZy8Mgeg" varRef="_ZdMr4xqLEeGkDZRZy8Mgeg">
|
|
|
- <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_Zd_9KhqLEeGkDZRZy8Mgeg">
|
|
|
- <value xsi:type="stext:BoolLiteral" xmi:id="_Zd_9KxqLEeGkDZRZy8Mgeg"/>
|
|
|
+ <actions xsi:type="stext:Assignment" xmi:id="_ewQR3Ry4EeGr28QZw3InCQ" varRef="_evn_sxy4EeGr28QZw3InCQ">
|
|
|
+ <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ewQR3hy4EeGr28QZw3InCQ">
|
|
|
+ <value xsi:type="stext:BoolLiteral" xmi:id="_ewQR3xy4EeGr28QZw3InCQ"/>
|
|
|
</expression>
|
|
|
</actions>
|
|
|
</effect>
|
|
|
</declarations>
|
|
|
</scopes>
|
|
|
<outgoingTransitions xmi:id="_g7TywBBEEeGQ0KsLDV4EFg" expression="after 2s" target="_12GAEBBDEeGQ0KsLDV4EFg">
|
|
|
- <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ZeHR4BqLEeGkDZRZy8Mgeg">
|
|
|
- <triggers xsi:type="stext:TimeEventSpec" xmi:id="_ZeHR4RqLEeGkDZRZy8Mgeg" value="2"/>
|
|
|
+ <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ewW_gBy4EeGr28QZw3InCQ">
|
|
|
+ <triggers xsi:type="stext:TimeEventSpec" xmi:id="_ewW_gRy4EeGr28QZw3InCQ" value="2"/>
|
|
|
</trigger>
|
|
|
</outgoingTransitions>
|
|
|
</vertices>
|
|
|
<vertices xsi:type="sgraph:State" xmi:id="_12GAEBBDEeGQ0KsLDV4EFg" expression="entry / Pedestrian.red = false;
Pedestrian.green = true;" name="PedestrianGreen" incomingTransitions="_g7TywBBEEeGQ0KsLDV4EFg">
|
|
|
- <scopes xmi:id="_ZeH48BqLEeGkDZRZy8Mgeg">
|
|
|
- <declarations xsi:type="stext:LocalReaction" xmi:id="_ZeH48RqLEeGkDZRZy8Mgeg">
|
|
|
- <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ZeH48hqLEeGkDZRZy8Mgeg">
|
|
|
- <triggers xsi:type="stext:EntryEvent" xmi:id="_ZeH48xqLEeGkDZRZy8Mgeg"/>
|
|
|
+ <scopes xmi:id="_ewXmkBy4EeGr28QZw3InCQ">
|
|
|
+ <declarations xsi:type="stext:LocalReaction" xmi:id="_ewXmkRy4EeGr28QZw3InCQ">
|
|
|
+ <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ewXmkhy4EeGr28QZw3InCQ">
|
|
|
+ <triggers xsi:type="stext:EntryEvent" xmi:id="_ewXmkxy4EeGr28QZw3InCQ"/>
|
|
|
</trigger>
|
|
|
- <effect xsi:type="stext:ReactionEffect" xmi:id="_ZeH49BqLEeGkDZRZy8Mgeg">
|
|
|
- <actions xsi:type="stext:Assignment" xmi:id="_ZeH49RqLEeGkDZRZy8Mgeg" varRef="_ZdMr5hqLEeGkDZRZy8Mgeg">
|
|
|
- <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ZeH49hqLEeGkDZRZy8Mgeg">
|
|
|
- <value xsi:type="stext:BoolLiteral" xmi:id="_ZeH49xqLEeGkDZRZy8Mgeg"/>
|
|
|
+ <effect xsi:type="stext:ReactionEffect" xmi:id="_ewXmlBy4EeGr28QZw3InCQ">
|
|
|
+ <actions xsi:type="stext:Assignment" xmi:id="_ewXmlRy4EeGr28QZw3InCQ" varRef="_evn_thy4EeGr28QZw3InCQ">
|
|
|
+ <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ewXmlhy4EeGr28QZw3InCQ">
|
|
|
+ <value xsi:type="stext:BoolLiteral" xmi:id="_ewXmlxy4EeGr28QZw3InCQ"/>
|
|
|
</expression>
|
|
|
</actions>
|
|
|
- <actions xsi:type="stext:Assignment" xmi:id="_ZeH4-BqLEeGkDZRZy8Mgeg" varRef="_ZdMr5xqLEeGkDZRZy8Mgeg">
|
|
|
- <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ZeH4-RqLEeGkDZRZy8Mgeg">
|
|
|
- <value xsi:type="stext:BoolLiteral" xmi:id="_ZeH4-hqLEeGkDZRZy8Mgeg" value="true"/>
|
|
|
+ <actions xsi:type="stext:Assignment" xmi:id="_ewXmmBy4EeGr28QZw3InCQ" varRef="_evn_txy4EeGr28QZw3InCQ">
|
|
|
+ <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ewXmmRy4EeGr28QZw3InCQ">
|
|
|
+ <value xsi:type="stext:BoolLiteral" xmi:id="_ewXmmhy4EeGr28QZw3InCQ" value="true"/>
|
|
|
</expression>
|
|
|
</actions>
|
|
|
</effect>
|
|
|
</declarations>
|
|
|
</scopes>
|
|
|
<outgoingTransitions xmi:id="_iZox8BBEEeGQ0KsLDV4EFg" expression="after 7s" target="_K-JX7RBEEeGQ0KsLDV4EFg">
|
|
|
- <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ZeNYgBqLEeGkDZRZy8Mgeg">
|
|
|
- <triggers xsi:type="stext:TimeEventSpec" xmi:id="_ZeNYgRqLEeGkDZRZy8Mgeg" value="7"/>
|
|
|
+ <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ewb4ABy4EeGr28QZw3InCQ">
|
|
|
+ <triggers xsi:type="stext:TimeEventSpec" xmi:id="_ewb4ARy4EeGr28QZw3InCQ" value="7"/>
|
|
|
</trigger>
|
|
|
</outgoingTransitions>
|
|
|
</vertices>
|
|
|
<vertices xsi:type="sgraph:State" xmi:id="_K-JX7RBEEeGQ0KsLDV4EFg" expression="entry / Pedestrian.red = true;
Pedestrian.green = false;" name="PedestrianRed" incomingTransitions="_iZox8BBEEeGQ0KsLDV4EFg">
|
|
|
- <scopes xmi:id="_ZeNYghqLEeGkDZRZy8Mgeg">
|
|
|
- <declarations xsi:type="stext:LocalReaction" xmi:id="_ZeNYgxqLEeGkDZRZy8Mgeg">
|
|
|
- <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ZeNYhBqLEeGkDZRZy8Mgeg">
|
|
|
- <triggers xsi:type="stext:EntryEvent" xmi:id="_ZeNYhRqLEeGkDZRZy8Mgeg"/>
|
|
|
+ <scopes xmi:id="_ewcfEBy4EeGr28QZw3InCQ">
|
|
|
+ <declarations xsi:type="stext:LocalReaction" xmi:id="_ewcfERy4EeGr28QZw3InCQ">
|
|
|
+ <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ewcfEhy4EeGr28QZw3InCQ">
|
|
|
+ <triggers xsi:type="stext:EntryEvent" xmi:id="_ewcfExy4EeGr28QZw3InCQ"/>
|
|
|
</trigger>
|
|
|
- <effect xsi:type="stext:ReactionEffect" xmi:id="_ZeNYhhqLEeGkDZRZy8Mgeg">
|
|
|
- <actions xsi:type="stext:Assignment" xmi:id="_ZeNYhxqLEeGkDZRZy8Mgeg" varRef="_ZdMr5hqLEeGkDZRZy8Mgeg">
|
|
|
- <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ZeNYiBqLEeGkDZRZy8Mgeg">
|
|
|
- <value xsi:type="stext:BoolLiteral" xmi:id="_ZeNYiRqLEeGkDZRZy8Mgeg" value="true"/>
|
|
|
+ <effect xsi:type="stext:ReactionEffect" xmi:id="_ewcfFBy4EeGr28QZw3InCQ">
|
|
|
+ <actions xsi:type="stext:Assignment" xmi:id="_ewcfFRy4EeGr28QZw3InCQ" varRef="_evn_thy4EeGr28QZw3InCQ">
|
|
|
+ <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ewcfFhy4EeGr28QZw3InCQ">
|
|
|
+ <value xsi:type="stext:BoolLiteral" xmi:id="_ewcfFxy4EeGr28QZw3InCQ" value="true"/>
|
|
|
</expression>
|
|
|
</actions>
|
|
|
- <actions xsi:type="stext:Assignment" xmi:id="_ZeNYihqLEeGkDZRZy8Mgeg" varRef="_ZdMr5xqLEeGkDZRZy8Mgeg">
|
|
|
- <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ZeNYixqLEeGkDZRZy8Mgeg">
|
|
|
- <value xsi:type="stext:BoolLiteral" xmi:id="_ZeNYjBqLEeGkDZRZy8Mgeg"/>
|
|
|
+ <actions xsi:type="stext:Assignment" xmi:id="_ewcfGBy4EeGr28QZw3InCQ" varRef="_evn_txy4EeGr28QZw3InCQ">
|
|
|
+ <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ewcfGRy4EeGr28QZw3InCQ">
|
|
|
+ <value xsi:type="stext:BoolLiteral" xmi:id="_ewcfGhy4EeGr28QZw3InCQ"/>
|
|
|
</expression>
|
|
|
</actions>
|
|
|
</effect>
|
|
|
</declarations>
|
|
|
</scopes>
|
|
|
- <outgoingTransitions xmi:id="_nVCU8BBEEeGQ0KsLDV4EFg" expression="after 3s" target="_TfjYTRBEEeGQ0KsLDV4EFg">
|
|
|
- <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ZeS4EBqLEeGkDZRZy8Mgeg">
|
|
|
- <triggers xsi:type="stext:TimeEventSpec" xmi:id="_ZeS4ERqLEeGkDZRZy8Mgeg" value="3"/>
|
|
|
+ <outgoingTransitions xmi:id="_nVCU8BBEEeGQ0KsLDV4EFg" expression="after 5s" target="_TfjYTRBEEeGQ0KsLDV4EFg">
|
|
|
+ <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ewhXkBy4EeGr28QZw3InCQ">
|
|
|
+ <triggers xsi:type="stext:TimeEventSpec" xmi:id="_ewhXkRy4EeGr28QZw3InCQ" value="5"/>
|
|
|
</trigger>
|
|
|
</outgoingTransitions>
|
|
|
</vertices>
|
|
|
<vertices xsi:type="sgraph:State" xmi:id="_TfjYTRBEEeGQ0KsLDV4EFg" expression="entry / TrafficLight.red = true;
	TrafficLight.yellow = true;
	TrafficLight.green = false;" name="StreetPrepare" incomingTransitions="_nVCU8BBEEeGQ0KsLDV4EFg">
|
|
|
- <scopes xmi:id="_ZeTfIBqLEeGkDZRZy8Mgeg">
|
|
|
- <declarations xsi:type="stext:LocalReaction" xmi:id="_ZeTfIRqLEeGkDZRZy8Mgeg">
|
|
|
- <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ZeTfIhqLEeGkDZRZy8Mgeg">
|
|
|
- <triggers xsi:type="stext:EntryEvent" xmi:id="_ZeTfIxqLEeGkDZRZy8Mgeg"/>
|
|
|
+ <scopes xmi:id="_ewh-oBy4EeGr28QZw3InCQ">
|
|
|
+ <declarations xsi:type="stext:LocalReaction" xmi:id="_ewh-oRy4EeGr28QZw3InCQ">
|
|
|
+ <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ewh-ohy4EeGr28QZw3InCQ">
|
|
|
+ <triggers xsi:type="stext:EntryEvent" xmi:id="_ewh-oxy4EeGr28QZw3InCQ"/>
|
|
|
</trigger>
|
|
|
- <effect xsi:type="stext:ReactionEffect" xmi:id="_ZeTfJBqLEeGkDZRZy8Mgeg">
|
|
|
- <actions xsi:type="stext:Assignment" xmi:id="_ZeTfJRqLEeGkDZRZy8Mgeg" varRef="_ZdMr4RqLEeGkDZRZy8Mgeg">
|
|
|
- <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ZeTfJhqLEeGkDZRZy8Mgeg">
|
|
|
- <value xsi:type="stext:BoolLiteral" xmi:id="_ZeTfJxqLEeGkDZRZy8Mgeg" value="true"/>
|
|
|
+ <effect xsi:type="stext:ReactionEffect" xmi:id="_ewh-pBy4EeGr28QZw3InCQ">
|
|
|
+ <actions xsi:type="stext:Assignment" xmi:id="_ewh-pRy4EeGr28QZw3InCQ" varRef="_evn_sRy4EeGr28QZw3InCQ">
|
|
|
+ <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ewh-phy4EeGr28QZw3InCQ">
|
|
|
+ <value xsi:type="stext:BoolLiteral" xmi:id="_ewh-pxy4EeGr28QZw3InCQ" value="true"/>
|
|
|
</expression>
|
|
|
</actions>
|
|
|
- <actions xsi:type="stext:Assignment" xmi:id="_ZeTfKBqLEeGkDZRZy8Mgeg" varRef="_ZdMr4hqLEeGkDZRZy8Mgeg">
|
|
|
- <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ZeTfKRqLEeGkDZRZy8Mgeg">
|
|
|
- <value xsi:type="stext:BoolLiteral" xmi:id="_ZeTfKhqLEeGkDZRZy8Mgeg" value="true"/>
|
|
|
+ <actions xsi:type="stext:Assignment" xmi:id="_ewh-qBy4EeGr28QZw3InCQ" varRef="_evn_shy4EeGr28QZw3InCQ">
|
|
|
+ <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ewh-qRy4EeGr28QZw3InCQ">
|
|
|
+ <value xsi:type="stext:BoolLiteral" xmi:id="_ewh-qhy4EeGr28QZw3InCQ" value="true"/>
|
|
|
</expression>
|
|
|
</actions>
|
|
|
- <actions xsi:type="stext:Assignment" xmi:id="_ZeTfKxqLEeGkDZRZy8Mgeg" varRef="_ZdMr4xqLEeGkDZRZy8Mgeg">
|
|
|
- <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ZeTfLBqLEeGkDZRZy8Mgeg">
|
|
|
- <value xsi:type="stext:BoolLiteral" xmi:id="_ZeTfLRqLEeGkDZRZy8Mgeg"/>
|
|
|
+ <actions xsi:type="stext:Assignment" xmi:id="_ewh-qxy4EeGr28QZw3InCQ" varRef="_evn_sxy4EeGr28QZw3InCQ">
|
|
|
+ <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ewh-rBy4EeGr28QZw3InCQ">
|
|
|
+ <value xsi:type="stext:BoolLiteral" xmi:id="_ewh-rRy4EeGr28QZw3InCQ"/>
|
|
|
</expression>
|
|
|
</actions>
|
|
|
</effect>
|
|
|
</declarations>
|
|
|
</scopes>
|
|
|
<outgoingTransitions xmi:id="_pddaABBEEeGQ0KsLDV4EFg" expression="after 2s" target="_w8meYBA_EeGQ0KsLDV4EFg">
|
|
|
- <trigger xsi:type="stext:ReactionTrigger" xmi:id="_Zeaz4BqLEeGkDZRZy8Mgeg">
|
|
|
- <triggers xsi:type="stext:TimeEventSpec" xmi:id="_Zeaz4RqLEeGkDZRZy8Mgeg" value="2"/>
|
|
|
+ <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ewoFQBy4EeGr28QZw3InCQ">
|
|
|
+ <triggers xsi:type="stext:TimeEventSpec" xmi:id="_ewoFQRy4EeGr28QZw3InCQ" value="2"/>
|
|
|
</trigger>
|
|
|
</outgoingTransitions>
|
|
|
</vertices>
|
|
@@ -297,72 +291,69 @@
|
|
|
</vertices>
|
|
|
</subRegions>
|
|
|
</vertices>
|
|
|
- <vertices xsi:type="sgraph:State" xmi:id="_7PkwwBBEEeGQ0KsLDV4EFg" name="freeze" incomingTransitions="_Av3wkBBFEeGQ0KsLDV4EFg">
|
|
|
- <scopes xmi:id="_Zeba8BqLEeGkDZRZy8Mgeg"/>
|
|
|
- <outgoingTransitions xmi:id="_6kP60BBPEeGQ0KsLDV4EFg" expression="keypress3" target="_NPjBmBA-EeGQ0KsLDV4EFg">
|
|
|
- <trigger xsi:type="stext:ReactionTrigger" xmi:id="_Zeba8RqLEeGkDZRZy8Mgeg">
|
|
|
- <triggers xsi:type="stext:RegularEventSpec" xmi:id="_Zeba8hqLEeGkDZRZy8Mgeg" event="_ZdMr6xqLEeGkDZRZy8Mgeg"/>
|
|
|
- </trigger>
|
|
|
- </outgoingTransitions>
|
|
|
- </vertices>
|
|
|
- <vertices xsi:type="sgraph:State" xmi:id="_MF4mkBBFEeGQ0KsLDV4EFg" expression="entry / TrafficLight.red = false;
	TrafficLight.green = false;
	TrafficLight.yellow = false;
	Pedestrian.red = true;" name="off" incomingTransitions="_XlIREBBFEeGQ0KsLDV4EFg">
|
|
|
- <scopes xmi:id="_ZefFUBqLEeGkDZRZy8Mgeg">
|
|
|
- <declarations xsi:type="stext:LocalReaction" xmi:id="_ZefFURqLEeGkDZRZy8Mgeg">
|
|
|
- <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ZefFUhqLEeGkDZRZy8Mgeg">
|
|
|
- <triggers xsi:type="stext:EntryEvent" xmi:id="_ZefFUxqLEeGkDZRZy8Mgeg"/>
|
|
|
+ <vertices xsi:type="sgraph:State" xmi:id="_MF4mkBBFEeGQ0KsLDV4EFg" expression="entry / TrafficLight.red = false;
	TrafficLight.green = false;
	TrafficLight.yellow = false;
	Pedestrian.red = false;
	Pedestrian.green = false;" name="off" incomingTransitions="_XlIREBBFEeGQ0KsLDV4EFg">
|
|
|
+ <scopes xmi:id="_ewpTYBy4EeGr28QZw3InCQ">
|
|
|
+ <declarations xsi:type="stext:LocalReaction" xmi:id="_ewpTYRy4EeGr28QZw3InCQ">
|
|
|
+ <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ewpTYhy4EeGr28QZw3InCQ">
|
|
|
+ <triggers xsi:type="stext:EntryEvent" xmi:id="_ewpTYxy4EeGr28QZw3InCQ"/>
|
|
|
</trigger>
|
|
|
- <effect xsi:type="stext:ReactionEffect" xmi:id="_ZefFVBqLEeGkDZRZy8Mgeg">
|
|
|
- <actions xsi:type="stext:Assignment" xmi:id="_ZefFVRqLEeGkDZRZy8Mgeg" varRef="_ZdMr4RqLEeGkDZRZy8Mgeg">
|
|
|
- <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ZefFVhqLEeGkDZRZy8Mgeg">
|
|
|
- <value xsi:type="stext:BoolLiteral" xmi:id="_ZefFVxqLEeGkDZRZy8Mgeg"/>
|
|
|
+ <effect xsi:type="stext:ReactionEffect" xmi:id="_ewpTZBy4EeGr28QZw3InCQ">
|
|
|
+ <actions xsi:type="stext:Assignment" xmi:id="_ewpTZRy4EeGr28QZw3InCQ" varRef="_evn_sRy4EeGr28QZw3InCQ">
|
|
|
+ <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ewpTZhy4EeGr28QZw3InCQ">
|
|
|
+ <value xsi:type="stext:BoolLiteral" xmi:id="_ewpTZxy4EeGr28QZw3InCQ"/>
|
|
|
+ </expression>
|
|
|
+ </actions>
|
|
|
+ <actions xsi:type="stext:Assignment" xmi:id="_ewpTaBy4EeGr28QZw3InCQ" varRef="_evn_sxy4EeGr28QZw3InCQ">
|
|
|
+ <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ewpTaRy4EeGr28QZw3InCQ">
|
|
|
+ <value xsi:type="stext:BoolLiteral" xmi:id="_ewpTahy4EeGr28QZw3InCQ"/>
|
|
|
</expression>
|
|
|
</actions>
|
|
|
- <actions xsi:type="stext:Assignment" xmi:id="_ZefFWBqLEeGkDZRZy8Mgeg" varRef="_ZdMr4xqLEeGkDZRZy8Mgeg">
|
|
|
- <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ZefFWRqLEeGkDZRZy8Mgeg">
|
|
|
- <value xsi:type="stext:BoolLiteral" xmi:id="_ZefFWhqLEeGkDZRZy8Mgeg"/>
|
|
|
+ <actions xsi:type="stext:Assignment" xmi:id="_ewpTaxy4EeGr28QZw3InCQ" varRef="_evn_shy4EeGr28QZw3InCQ">
|
|
|
+ <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ewpTbBy4EeGr28QZw3InCQ">
|
|
|
+ <value xsi:type="stext:BoolLiteral" xmi:id="_ewpTbRy4EeGr28QZw3InCQ"/>
|
|
|
</expression>
|
|
|
</actions>
|
|
|
- <actions xsi:type="stext:Assignment" xmi:id="_ZefFWxqLEeGkDZRZy8Mgeg" varRef="_ZdMr4hqLEeGkDZRZy8Mgeg">
|
|
|
- <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ZefFXBqLEeGkDZRZy8Mgeg">
|
|
|
- <value xsi:type="stext:BoolLiteral" xmi:id="_ZefFXRqLEeGkDZRZy8Mgeg"/>
|
|
|
+ <actions xsi:type="stext:Assignment" xmi:id="_ewpTbhy4EeGr28QZw3InCQ" varRef="_evn_thy4EeGr28QZw3InCQ">
|
|
|
+ <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ewpTbxy4EeGr28QZw3InCQ">
|
|
|
+ <value xsi:type="stext:BoolLiteral" xmi:id="_ewpTcBy4EeGr28QZw3InCQ"/>
|
|
|
</expression>
|
|
|
</actions>
|
|
|
- <actions xsi:type="stext:Assignment" xmi:id="_ZefFXhqLEeGkDZRZy8Mgeg" varRef="_ZdMr5hqLEeGkDZRZy8Mgeg">
|
|
|
- <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ZefFXxqLEeGkDZRZy8Mgeg">
|
|
|
- <value xsi:type="stext:BoolLiteral" xmi:id="_ZefFYBqLEeGkDZRZy8Mgeg" value="true"/>
|
|
|
+ <actions xsi:type="stext:Assignment" xmi:id="_ewpTcRy4EeGr28QZw3InCQ" varRef="_evn_txy4EeGr28QZw3InCQ">
|
|
|
+ <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ewpTchy4EeGr28QZw3InCQ">
|
|
|
+ <value xsi:type="stext:BoolLiteral" xmi:id="_ewpTcxy4EeGr28QZw3InCQ"/>
|
|
|
</expression>
|
|
|
</actions>
|
|
|
</effect>
|
|
|
</declarations>
|
|
|
</scopes>
|
|
|
<outgoingTransitions xmi:id="__OsQsBBPEeGQ0KsLDV4EFg" expression="keypress2" target="_NPjBmBA-EeGQ0KsLDV4EFg">
|
|
|
- <trigger xsi:type="stext:ReactionTrigger" xmi:id="_Zeo2UBqLEeGkDZRZy8Mgeg">
|
|
|
- <triggers xsi:type="stext:RegularEventSpec" xmi:id="_Zeo2URqLEeGkDZRZy8Mgeg" event="_ZdMr6hqLEeGkDZRZy8Mgeg"/>
|
|
|
+ <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ewzrcBy4EeGr28QZw3InCQ">
|
|
|
+ <triggers xsi:type="stext:RegularEventSpec" xmi:id="_ewzrcRy4EeGr28QZw3InCQ" event="_evn_uhy4EeGr28QZw3InCQ"/>
|
|
|
</trigger>
|
|
|
</outgoingTransitions>
|
|
|
<subRegions xmi:id="_xHG2gBBFEeGQ0KsLDV4EFg" name="r1">
|
|
|
<vertices xsi:type="sgraph:State" xmi:id="_BVnsgBBGEeGQ0KsLDV4EFg" expression="entry / 
	TrafficLight.yellow = true;
every 500ms / 
	TrafficLight.yellow = !TrafficLight.yellow;" name="BlinkYellow" incomingTransitions="_EwURwBBGEeGQ0KsLDV4EFg">
|
|
|
- <scopes xmi:id="_Zer5oBqLEeGkDZRZy8Mgeg">
|
|
|
- <declarations xsi:type="stext:LocalReaction" xmi:id="_Zer5oRqLEeGkDZRZy8Mgeg">
|
|
|
- <trigger xsi:type="stext:ReactionTrigger" xmi:id="_Zer5ohqLEeGkDZRZy8Mgeg">
|
|
|
- <triggers xsi:type="stext:EntryEvent" xmi:id="_Zer5oxqLEeGkDZRZy8Mgeg"/>
|
|
|
+ <scopes xmi:id="_ew2uwBy4EeGr28QZw3InCQ">
|
|
|
+ <declarations xsi:type="stext:LocalReaction" xmi:id="_ew2uwRy4EeGr28QZw3InCQ">
|
|
|
+ <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ew2uwhy4EeGr28QZw3InCQ">
|
|
|
+ <triggers xsi:type="stext:EntryEvent" xmi:id="_ew2uwxy4EeGr28QZw3InCQ"/>
|
|
|
</trigger>
|
|
|
- <effect xsi:type="stext:ReactionEffect" xmi:id="_Zer5pBqLEeGkDZRZy8Mgeg">
|
|
|
- <actions xsi:type="stext:Assignment" xmi:id="_Zer5pRqLEeGkDZRZy8Mgeg" varRef="_ZdMr4hqLEeGkDZRZy8Mgeg">
|
|
|
- <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_Zer5phqLEeGkDZRZy8Mgeg">
|
|
|
- <value xsi:type="stext:BoolLiteral" xmi:id="_Zer5pxqLEeGkDZRZy8Mgeg" value="true"/>
|
|
|
+ <effect xsi:type="stext:ReactionEffect" xmi:id="_ew2uxBy4EeGr28QZw3InCQ">
|
|
|
+ <actions xsi:type="stext:Assignment" xmi:id="_ew2uxRy4EeGr28QZw3InCQ" varRef="_evn_shy4EeGr28QZw3InCQ">
|
|
|
+ <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ew2uxhy4EeGr28QZw3InCQ">
|
|
|
+ <value xsi:type="stext:BoolLiteral" xmi:id="_ew2uxxy4EeGr28QZw3InCQ" value="true"/>
|
|
|
</expression>
|
|
|
</actions>
|
|
|
</effect>
|
|
|
</declarations>
|
|
|
- <declarations xsi:type="stext:LocalReaction" xmi:id="_Zer5qBqLEeGkDZRZy8Mgeg">
|
|
|
- <trigger xsi:type="stext:ReactionTrigger" xmi:id="_Zer5qRqLEeGkDZRZy8Mgeg">
|
|
|
- <triggers xsi:type="stext:TimeEventSpec" xmi:id="_Zer5qhqLEeGkDZRZy8Mgeg" type="every" value="500" unit="ms"/>
|
|
|
+ <declarations xsi:type="stext:LocalReaction" xmi:id="_ew2uyBy4EeGr28QZw3InCQ">
|
|
|
+ <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ew2uyRy4EeGr28QZw3InCQ">
|
|
|
+ <triggers xsi:type="stext:TimeEventSpec" xmi:id="_ew2uyhy4EeGr28QZw3InCQ" type="every" value="500" unit="ms"/>
|
|
|
</trigger>
|
|
|
- <effect xsi:type="stext:ReactionEffect" xmi:id="_Zer5qxqLEeGkDZRZy8Mgeg">
|
|
|
- <actions xsi:type="stext:Assignment" xmi:id="_Zer5rBqLEeGkDZRZy8Mgeg" varRef="_ZdMr4hqLEeGkDZRZy8Mgeg">
|
|
|
- <expression xsi:type="stext:LogicalNotExpression" xmi:id="_Zer5rRqLEeGkDZRZy8Mgeg">
|
|
|
- <operand xsi:type="stext:ElementReferenceExpression" xmi:id="_Zer5rhqLEeGkDZRZy8Mgeg" value="_ZdMr4hqLEeGkDZRZy8Mgeg"/>
|
|
|
+ <effect xsi:type="stext:ReactionEffect" xmi:id="_ew2uyxy4EeGr28QZw3InCQ">
|
|
|
+ <actions xsi:type="stext:Assignment" xmi:id="_ew2uzBy4EeGr28QZw3InCQ" varRef="_evn_shy4EeGr28QZw3InCQ">
|
|
|
+ <expression xsi:type="stext:LogicalNotExpression" xmi:id="_ew2uzRy4EeGr28QZw3InCQ">
|
|
|
+ <operand xsi:type="stext:ElementReferenceExpression" xmi:id="_ew2uzhy4EeGr28QZw3InCQ" value="_evn_shy4EeGr28QZw3InCQ"/>
|
|
|
</expression>
|
|
|
</actions>
|
|
|
</effect>
|
|
@@ -603,22 +594,6 @@
|
|
|
<styles xsi:type="notation:BooleanValueStyle" xmi:id="_NPsyhRA-EeGQ0KsLDV4EFg"/>
|
|
|
<layoutConstraint xsi:type="notation:Bounds" xmi:id="_NPsyhhA-EeGQ0KsLDV4EFg" x="4" y="43" width="856" height="696"/>
|
|
|
</children>
|
|
|
- <children xmi:id="_7P4SwBBEEeGQ0KsLDV4EFg" type="State" element="_7PkwwBBEEeGQ0KsLDV4EFg">
|
|
|
- <children xsi:type="notation:DecorationNode" xmi:id="_7P4SxBBEEeGQ0KsLDV4EFg" type="StateName">
|
|
|
- <styles xsi:type="notation:ShapeStyle" xmi:id="_7P4SxRBEEeGQ0KsLDV4EFg"/>
|
|
|
- <layoutConstraint xsi:type="notation:Location" xmi:id="_7P4SxhBEEeGQ0KsLDV4EFg"/>
|
|
|
- </children>
|
|
|
- <children xsi:type="notation:Compartment" xmi:id="_7P4SxxBEEeGQ0KsLDV4EFg" type="StateTextCompartment">
|
|
|
- <children xsi:type="notation:Shape" xmi:id="_7P4SyBBEEeGQ0KsLDV4EFg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
|
|
|
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_7P4SyRBEEeGQ0KsLDV4EFg"/>
|
|
|
- </children>
|
|
|
- </children>
|
|
|
- <children xsi:type="notation:Compartment" xmi:id="_7P4SyhBEEeGQ0KsLDV4EFg" type="StateFigureCompartment"/>
|
|
|
- <styles xsi:type="notation:ShapeStyle" xmi:id="_7P4SwRBEEeGQ0KsLDV4EFg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
|
|
|
- <styles xsi:type="notation:FontStyle" xmi:id="_7P4SwhBEEeGQ0KsLDV4EFg"/>
|
|
|
- <styles xsi:type="notation:BooleanValueStyle" xmi:id="_7P4SyxBEEeGQ0KsLDV4EFg"/>
|
|
|
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_7P4SwxBEEeGQ0KsLDV4EFg" x="1043" y="119"/>
|
|
|
- </children>
|
|
|
<children xmi:id="_MGCXkBBFEeGQ0KsLDV4EFg" type="State" element="_MF4mkBBFEeGQ0KsLDV4EFg">
|
|
|
<children xsi:type="notation:DecorationNode" xmi:id="_MGCXlBBFEeGQ0KsLDV4EFg" type="StateName">
|
|
|
<styles xsi:type="notation:ShapeStyle" xmi:id="_MGCXlRBFEeGQ0KsLDV4EFg"/>
|
|
@@ -662,7 +637,7 @@
|
|
|
<layoutConstraint xsi:type="notation:Bounds" xmi:id="_EUppdRBGEeGQ0KsLDV4EFg"/>
|
|
|
</children>
|
|
|
<styles xsi:type="notation:ShapeStyle" xmi:id="_EUppcRBGEeGQ0KsLDV4EFg" fontName="Verdana" lineColor="4210752"/>
|
|
|
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_EUppchBGEeGQ0KsLDV4EFg" x="112" y="2"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_EUppchBGEeGQ0KsLDV4EFg" x="139" y="8"/>
|
|
|
</children>
|
|
|
<layoutConstraint xsi:type="notation:Bounds" xmi:id="_xHQAdBBFEeGQ0KsLDV4EFg"/>
|
|
|
</children>
|
|
@@ -673,7 +648,7 @@
|
|
|
<styles xsi:type="notation:ShapeStyle" xmi:id="_MGCXkRBFEeGQ0KsLDV4EFg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
|
|
|
<styles xsi:type="notation:FontStyle" xmi:id="_MGCXkhBFEeGQ0KsLDV4EFg"/>
|
|
|
<styles xsi:type="notation:BooleanValueStyle" xmi:id="_MGMIlBBFEeGQ0KsLDV4EFg"/>
|
|
|
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_MGCXkxBFEeGQ0KsLDV4EFg" x="944" y="204" width="341" height="286"/>
|
|
|
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_MGCXkxBFEeGQ0KsLDV4EFg" x="945" y="194" width="341" height="302"/>
|
|
|
</children>
|
|
|
<layoutConstraint xsi:type="notation:Bounds" xmi:id="_NPjBixA-EeGQ0KsLDV4EFg"/>
|
|
|
</children>
|
|
@@ -809,17 +784,6 @@
|
|
|
<sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_peD28BBEEeGQ0KsLDV4EFg" id="(0.46320346320346323,0.05434782608695652)"/>
|
|
|
<targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_peD28RBEEeGQ0KsLDV4EFg" id="(0.0205761316872428,0.5328467153284672)"/>
|
|
|
</edges>
|
|
|
- <edges xmi:id="_Av3wkRBFEeGQ0KsLDV4EFg" type="Transition" element="_Av3wkBBFEeGQ0KsLDV4EFg" source="_NPjBmhA-EeGQ0KsLDV4EFg" target="_7P4SwBBEEeGQ0KsLDV4EFg">
|
|
|
- <children xsi:type="notation:DecorationNode" xmi:id="_Av3wlRBFEeGQ0KsLDV4EFg" type="TransitionExpression">
|
|
|
- <styles xsi:type="notation:ShapeStyle" xmi:id="_Av3wlhBFEeGQ0KsLDV4EFg"/>
|
|
|
- <layoutConstraint xsi:type="notation:Location" xmi:id="_Av3wlxBFEeGQ0KsLDV4EFg" x="4" y="-13"/>
|
|
|
- </children>
|
|
|
- <styles xsi:type="notation:ConnectorStyle" xmi:id="_Av3wkhBFEeGQ0KsLDV4EFg" lineColor="4210752"/>
|
|
|
- <styles xsi:type="notation:FontStyle" xmi:id="_Av3wlBBFEeGQ0KsLDV4EFg" fontName="Verdana"/>
|
|
|
- <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_Av3wkxBFEeGQ0KsLDV4EFg" points="[1, -1, -186, 15]$[184, -16, -3, 0]"/>
|
|
|
- <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_AweNgBBFEeGQ0KsLDV4EFg" id="(0.9964953271028038,0.12643678160919541)"/>
|
|
|
- <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_AweNgRBFEeGQ0KsLDV4EFg" id="(0.058823529411764705,0.16393442622950818)"/>
|
|
|
- </edges>
|
|
|
<edges xmi:id="_XlRbABBFEeGQ0KsLDV4EFg" type="Transition" element="_XlIREBBFEeGQ0KsLDV4EFg" source="_NPjBmhA-EeGQ0KsLDV4EFg" target="_MGCXkBBFEeGQ0KsLDV4EFg">
|
|
|
<children xsi:type="notation:DecorationNode" xmi:id="_XlRbBBBFEeGQ0KsLDV4EFg" type="TransitionExpression">
|
|
|
<styles xsi:type="notation:ShapeStyle" xmi:id="_XlRbBRBFEeGQ0KsLDV4EFg"/>
|
|
@@ -851,17 +815,6 @@
|
|
|
<bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_yY3NwhBPEeGQ0KsLDV4EFg" points="[7, 0, -124, -1]$[127, 0, -4, -1]"/>
|
|
|
<targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_yZT5sBBPEeGQ0KsLDV4EFg" id="(0.01646090534979424,0.35036496350364965)"/>
|
|
|
</edges>
|
|
|
- <edges xmi:id="_6kP60RBPEeGQ0KsLDV4EFg" type="Transition" element="_6kP60BBPEeGQ0KsLDV4EFg" source="_7P4SwBBEEeGQ0KsLDV4EFg" target="_NPjBmhA-EeGQ0KsLDV4EFg">
|
|
|
- <children xsi:type="notation:DecorationNode" xmi:id="_6kP61RBPEeGQ0KsLDV4EFg" type="TransitionExpression">
|
|
|
- <styles xsi:type="notation:ShapeStyle" xmi:id="_6kP61hBPEeGQ0KsLDV4EFg"/>
|
|
|
- <layoutConstraint xsi:type="notation:Location" xmi:id="_6kP61xBPEeGQ0KsLDV4EFg" x="-5" y="9"/>
|
|
|
- </children>
|
|
|
- <styles xsi:type="notation:ConnectorStyle" xmi:id="_6kP60hBPEeGQ0KsLDV4EFg" lineColor="4210752"/>
|
|
|
- <styles xsi:type="notation:FontStyle" xmi:id="_6kP61BBPEeGQ0KsLDV4EFg" fontName="Verdana"/>
|
|
|
- <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_6kP60xBPEeGQ0KsLDV4EFg" points="[-2, -4, 378, 0]$[-368, -11, 12, -7]"/>
|
|
|
- <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_6ksmwBBPEeGQ0KsLDV4EFg" id="(0.0196078431372549,0.7868852459016393)"/>
|
|
|
- <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_6ksmwRBPEeGQ0KsLDV4EFg" id="(0.9929906542056075,0.1752873563218391)"/>
|
|
|
- </edges>
|
|
|
<edges xmi:id="__O1aoBBPEeGQ0KsLDV4EFg" type="Transition" element="__OsQsBBPEeGQ0KsLDV4EFg" source="_MGCXkBBFEeGQ0KsLDV4EFg" target="_NPjBmhA-EeGQ0KsLDV4EFg">
|
|
|
<children xsi:type="notation:DecorationNode" xmi:id="__O1apBBPEeGQ0KsLDV4EFg" type="TransitionExpression">
|
|
|
<styles xsi:type="notation:ShapeStyle" xmi:id="__O1apRBPEeGQ0KsLDV4EFg"/>
|