commit 0f9d922c720b43710eac82a2170dccb23563181b parent 5823cba67da7464101750beb767e0743d9bf48c3 Author: Martin Kloeckner <mjkloeckner@gmail.com> Date: Sat, 18 Apr 2026 13:05:15 -0300 Update statecharts in `tps/1/statechart/*` Diffstat:
| M | tps/1/statechart/statechart.png | | | 0 | |
| M | tps/1/statechart/statechart.ysc | | | 28 | ++++++++++++++-------------- |
2 files changed, 14 insertions(+), 14 deletions(-) diff --git a/tps/1/statechart/statechart.png b/tps/1/statechart/statechart.png Binary files differ. diff --git a/tps/1/statechart/statechart.ysc b/tps/1/statechart/statechart.ysc @@ -1,27 +1,27 @@ <?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/sgraph/2.0.0"> - <sgraph:Statechart xmi:id="_gi9EEDh5EfG1qtRGopny_Q" specification="// Use the event driven execution model.
// Switch to cycle based behavior
// by specifying '@CycleBased(200)'.
@EventDriven

// Use @SuperSteps(yes) to enable
// super step semantics.
@SuperSteps(no)

interface:
	// Define events and variables here. 
	// Use CTRL + Space for content assist.
	in event myEvent

internal:
 var RED_TIME_MS: integer = 30000
 var YEL_TIME_MS: integer = 3000
 var GRE_TIME_MS: integer = 30000
" name="Statechart"> + <sgraph:Statechart xmi:id="_gi9EEDh5EfG1qtRGopny_Q" specification="// Use the event driven execution model.
// Switch to cycle based behavior
// by specifying '@CycleBased(200)'.
@EventDriven

// Use @SuperSteps(yes) to enable
// super step semantics.
@SuperSteps(no)

interface:
	// Define events and variables here. 
	// Use CTRL + Space for content assist.
	in event myEvent

internal:
 var RED_GREEN_S: integer = 30
 var YELLOW_S: integer = 3
" name="Statechart"> <regions xmi:id="_gjDKszh5EfG1qtRGopny_Q" name="main region"> <vertices xsi:type="sgraph:Entry" xmi:id="_gjDKtDh5EfG1qtRGopny_Q"> <outgoingTransitions xmi:id="_R00mQDh6EfG1qtRGopny_Q" specification="" target="_Kij5kDh6EfG1qtRGopny_Q"/> </vertices> - <vertices xsi:type="sgraph:State" xmi:id="_gjGOAzh5EfG1qtRGopny_Q" name="state_1" incomingTransitions="_TPUOUDh6EfG1qtRGopny_Q"> - <outgoingTransitions xmi:id="_Upvk8Dh6EfG1qtRGopny_Q" specification="after YEL_TIME_MS ms" target="_JDQqADh6EfG1qtRGopny_Q"/> + <vertices xsi:type="sgraph:State" xmi:id="_gjGOAzh5EfG1qtRGopny_Q" name="state_1r_2y" incomingTransitions="_TPUOUDh6EfG1qtRGopny_Q"> + <outgoingTransitions xmi:id="_Upvk8Dh6EfG1qtRGopny_Q" specification="after YELLOW_S s" target="_JDQqADh6EfG1qtRGopny_Q"/> </vertices> - <vertices xsi:type="sgraph:State" xmi:id="_JDQqADh6EfG1qtRGopny_Q" name="state_2" incomingTransitions="_Upvk8Dh6EfG1qtRGopny_Q"> - <outgoingTransitions xmi:id="_uN0VYDqZEfG2H8hrWiFWzA" specification="after YEL_TIME_MS ms" target="_rUIygDqZEfG2H8hrWiFWzA"/> + <vertices xsi:type="sgraph:State" xmi:id="_JDQqADh6EfG1qtRGopny_Q" name="state_1ry_2r" incomingTransitions="_Upvk8Dh6EfG1qtRGopny_Q"> + <outgoingTransitions xmi:id="_uN0VYDqZEfG2H8hrWiFWzA" specification="after YELLOW_S s" target="_rUIygDqZEfG2H8hrWiFWzA"/> </vertices> - <vertices xsi:type="sgraph:State" xmi:id="_Kij5kDh6EfG1qtRGopny_Q" name="state_0" incomingTransitions="_R00mQDh6EfG1qtRGopny_Q _vbaw8DqZEfG2H8hrWiFWzA"> - <outgoingTransitions xmi:id="_TPUOUDh6EfG1qtRGopny_Q" specification="after RED_TIME_MS ms" target="_gjGOAzh5EfG1qtRGopny_Q"/> + <vertices xsi:type="sgraph:State" xmi:id="_Kij5kDh6EfG1qtRGopny_Q" name="state_1r_2g" incomingTransitions="_R00mQDh6EfG1qtRGopny_Q _vbaw8DqZEfG2H8hrWiFWzA"> + <outgoingTransitions xmi:id="_TPUOUDh6EfG1qtRGopny_Q" specification="after RED_GREEN_S s" target="_gjGOAzh5EfG1qtRGopny_Q"/> </vertices> - <vertices xsi:type="sgraph:State" xmi:id="_qmJrLDqZEfG2H8hrWiFWzA" name="state_4" incomingTransitions="_u6z-QDqZEfG2H8hrWiFWzA"> - <outgoingTransitions xmi:id="_VMV_gDqaEfG2H8hrWiFWzA" specification="after YEL_TIME_MS ms" target="_qmK5QDqZEfG2H8hrWiFWzA"/> + <vertices xsi:type="sgraph:State" xmi:id="_qmJrLDqZEfG2H8hrWiFWzA" name="state_1y_2r" incomingTransitions="_u6z-QDqZEfG2H8hrWiFWzA"> + <outgoingTransitions xmi:id="_VMV_gDqaEfG2H8hrWiFWzA" specification="after YELLOW_S s" target="_qmK5QDqZEfG2H8hrWiFWzA"/> </vertices> - <vertices xsi:type="sgraph:State" xmi:id="_qmK5QDqZEfG2H8hrWiFWzA" name="state_5" incomingTransitions="_VMV_gDqaEfG2H8hrWiFWzA"> - <outgoingTransitions xmi:id="_vbaw8DqZEfG2H8hrWiFWzA" specification="after YEL_TIME_MS ms" target="_Kij5kDh6EfG1qtRGopny_Q"/> + <vertices xsi:type="sgraph:State" xmi:id="_qmK5QDqZEfG2H8hrWiFWzA" name="state_1r_2ry" incomingTransitions="_VMV_gDqaEfG2H8hrWiFWzA"> + <outgoingTransitions xmi:id="_vbaw8DqZEfG2H8hrWiFWzA" specification="after YELLOW_S s" target="_Kij5kDh6EfG1qtRGopny_Q"/> </vertices> - <vertices xsi:type="sgraph:State" xmi:id="_rUIygDqZEfG2H8hrWiFWzA" name="state_3" incomingTransitions="_uN0VYDqZEfG2H8hrWiFWzA"> - <outgoingTransitions xmi:id="_u6z-QDqZEfG2H8hrWiFWzA" specification="after GRE_TIME_MS ms" target="_qmJrLDqZEfG2H8hrWiFWzA"/> + <vertices xsi:type="sgraph:State" xmi:id="_rUIygDqZEfG2H8hrWiFWzA" name="state_1g_2r" incomingTransitions="_uN0VYDqZEfG2H8hrWiFWzA"> + <outgoingTransitions xmi:id="_u6z-QDqZEfG2H8hrWiFWzA" specification="after RED_GREEN_S s" target="_qmJrLDqZEfG2H8hrWiFWzA"/> </vertices> </regions> </sgraph:Statechart> @@ -172,7 +172,7 @@ <edges xmi:id="_TPWqkDh6EfG1qtRGopny_Q" type="Transition" element="_TPUOUDh6EfG1qtRGopny_Q" source="_KijSgDh6EfG1qtRGopny_Q" target="_gjIqXDh5EfG1qtRGopny_Q"> <children xsi:type="notation:DecorationNode" xmi:id="_TPXRoTh6EfG1qtRGopny_Q" type="TransitionExpression"> <styles xsi:type="notation:ShapeStyle" xmi:id="_TPXRojh6EfG1qtRGopny_Q" fontName="Monospace" fontHeight="8"/> - <layoutConstraint xsi:type="notation:Location" xmi:id="_TPX4sDh6EfG1qtRGopny_Q" x="-2" y="-24"/> + <layoutConstraint xsi:type="notation:Location" xmi:id="_TPX4sDh6EfG1qtRGopny_Q" x="-5" y="-18"/> </children> <styles xsi:type="notation:ConnectorStyle" xmi:id="_TPWqkTh6EfG1qtRGopny_Q" routing="Rectilinear" lineColor="4210752"/> <styles xsi:type="notation:FontStyle" xmi:id="_TPXRoDh6EfG1qtRGopny_Q" fontName="Verdana"/>
