123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102 |
- <?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="_t8csgEKGEeGR5uXS9urEyQ" name="TestExpressions" specification="namespace validexp
internal :

operation localOperation(integer, integer):integer
var varA : boolean = true
var varB : integer = 100
var varC : real = 3.14
var varD : string = "text"
var varE : integer

event evA
event evB : boolean = true
event evC : integer = 100
event evD : real = 3.14
event evE : string = "text"
event evF = evB || evC

interface A:
var varA : boolean = true
var varB : integer = 100
var varC : real = 3.14
var varD : string = "text"

in event evA
in event evB : boolean = true
out event evC : integer = 100
out event evD : real = 3.14
out event evE : string = "text"

entrypoint entryA

exitpoint exitA" namespace="validexp">
- <regions xmi:id="_t8d6okKGEeGR5uXS9urEyQ" name="main region">
- <vertices xsi:type="sgraph:Entry" xmi:id="_t8vncUKGEeGR5uXS9urEyQ">
- <outgoingTransitions xmi:id="_t8xcoUKGEeGR5uXS9urEyQ" target="_t8wOhEKGEeGR5uXS9urEyQ"/>
- </vertices>
- <vertices xsi:type="sgraph:State" xmi:id="_t8wOhEKGEeGR5uXS9urEyQ" specification="entry / varC=5.0; raise A.evE;
oncycle / A.varB += 1;
after 100 ms / raise evA;
exit / varA = false;" name="State A" incomingTransitions="_t8xcoUKGEeGR5uXS9urEyQ">
- <outgoingTransitions xmi:id="_x2k_wEKGEeGR5uXS9urEyQ" specification="evA, A.evA [varA && A.evC == 100] / raise A.evD;" target="_wTuF4EKGEeGR5uXS9urEyQ"/>
- </vertices>
- <vertices xsi:type="sgraph:State" xmi:id="_wTuF4EKGEeGR5uXS9urEyQ" specification="entry / varB *=2; varB/=2; varB = (varB+100)*varE;" name="State B" incomingTransitions="_x2k_wEKGEeGR5uXS9urEyQ"/>
- </regions>
- </sgraph:Statechart>
- <notation:Diagram xmi:id="_t8d6oEKGEeGR5uXS9urEyQ" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_t8csgEKGEeGR5uXS9urEyQ" measurementUnit="Pixel">
- <children xmi:id="_t8gW4EKGEeGR5uXS9urEyQ" type="Region" element="_t8d6okKGEeGR5uXS9urEyQ">
- <children xsi:type="notation:DecorationNode" xmi:id="_t8vAYEKGEeGR5uXS9urEyQ" type="RegionName">
- <styles xsi:type="notation:ShapeStyle" xmi:id="_t8vAYUKGEeGR5uXS9urEyQ"/>
- <layoutConstraint xsi:type="notation:Location" xmi:id="_t8vAYkKGEeGR5uXS9urEyQ"/>
- </children>
- <children xsi:type="notation:Shape" xmi:id="_t8vAY0KGEeGR5uXS9urEyQ" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
- <children xmi:id="_t8vnckKGEeGR5uXS9urEyQ" type="Entry" element="_t8vncUKGEeGR5uXS9urEyQ">
- <children xmi:id="_t8vndUKGEeGR5uXS9urEyQ" type="BorderItemLabelContainer">
- <children xsi:type="notation:DecorationNode" xmi:id="_t8wOgEKGEeGR5uXS9urEyQ" type="BorderItemLabel">
- <styles xsi:type="notation:ShapeStyle" xmi:id="_t8wOgUKGEeGR5uXS9urEyQ"/>
- <layoutConstraint xsi:type="notation:Location" xmi:id="_t8wOgkKGEeGR5uXS9urEyQ"/>
- </children>
- <styles xsi:type="notation:ShapeStyle" xmi:id="_t8vndkKGEeGR5uXS9urEyQ" fontName="Verdana" lineColor="4210752"/>
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_t8vnd0KGEeGR5uXS9urEyQ"/>
- </children>
- <styles xsi:type="notation:ShapeStyle" xmi:id="_t8vnc0KGEeGR5uXS9urEyQ" fontName="Verdana" lineColor="4210752"/>
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_t8wOg0KGEeGR5uXS9urEyQ" x="93" y="19"/>
- </children>
- <children xmi:id="_t8wOhkKGEeGR5uXS9urEyQ" type="State" element="_t8wOhEKGEeGR5uXS9urEyQ">
- <children xsi:type="notation:DecorationNode" xmi:id="_t8w1kEKGEeGR5uXS9urEyQ" type="StateName">
- <styles xsi:type="notation:ShapeStyle" xmi:id="_t8w1kUKGEeGR5uXS9urEyQ"/>
- <layoutConstraint xsi:type="notation:Location" xmi:id="_t8w1kkKGEeGR5uXS9urEyQ"/>
- </children>
- <children xsi:type="notation:Compartment" xmi:id="_t8w1k0KGEeGR5uXS9urEyQ" type="StateTextCompartment">
- <children xsi:type="notation:Shape" xmi:id="_t8w1lEKGEeGR5uXS9urEyQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_t8w1lUKGEeGR5uXS9urEyQ"/>
- </children>
- </children>
- <children xsi:type="notation:Compartment" xmi:id="_t8w1lkKGEeGR5uXS9urEyQ" type="StateFigureCompartment"/>
- <styles xsi:type="notation:ShapeStyle" xmi:id="_t8wOh0KGEeGR5uXS9urEyQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
- <styles xsi:type="notation:FontStyle" xmi:id="_t8wOiEKGEeGR5uXS9urEyQ"/>
- <styles xsi:type="notation:BooleanValueStyle" xmi:id="_t8w1l0KGEeGR5uXS9urEyQ"/>
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_t8xcoEKGEeGR5uXS9urEyQ" x="53" y="75" width="262"/>
- </children>
- <children xmi:id="_wT5FAEKGEeGR5uXS9urEyQ" type="State" element="_wTuF4EKGEeGR5uXS9urEyQ">
- <children xsi:type="notation:DecorationNode" xmi:id="_wT5sEEKGEeGR5uXS9urEyQ" type="StateName">
- <styles xsi:type="notation:ShapeStyle" xmi:id="_wT5sEUKGEeGR5uXS9urEyQ"/>
- <layoutConstraint xsi:type="notation:Location" xmi:id="_wT5sEkKGEeGR5uXS9urEyQ"/>
- </children>
- <children xsi:type="notation:Compartment" xmi:id="_wT5sE0KGEeGR5uXS9urEyQ" type="StateTextCompartment">
- <children xsi:type="notation:Shape" xmi:id="_wT5sFEKGEeGR5uXS9urEyQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_wT5sFUKGEeGR5uXS9urEyQ"/>
- </children>
- </children>
- <children xsi:type="notation:Compartment" xmi:id="_wT5sFkKGEeGR5uXS9urEyQ" type="StateFigureCompartment"/>
- <styles xsi:type="notation:ShapeStyle" xmi:id="_wT5FAUKGEeGR5uXS9urEyQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
- <styles xsi:type="notation:FontStyle" xmi:id="_wT5FAkKGEeGR5uXS9urEyQ"/>
- <styles xsi:type="notation:BooleanValueStyle" xmi:id="_wT5sF0KGEeGR5uXS9urEyQ"/>
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_wT5FA0KGEeGR5uXS9urEyQ" x="53" y="223" width="262"/>
- </children>
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_t8vAZEKGEeGR5uXS9urEyQ"/>
- </children>
- <styles xsi:type="notation:ShapeStyle" xmi:id="_t8gW4UKGEeGR5uXS9urEyQ" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_t8vncEKGEeGR5uXS9urEyQ" x="216" y="10" width="701" height="400"/>
- </children>
- <children xsi:type="notation:Shape" xmi:id="_t8yqw0KGEeGR5uXS9urEyQ" type="StatechartText" fontName="Verdana" lineColor="4210752">
- <children xsi:type="notation:DecorationNode" xmi:id="_t8yqxUKGEeGR5uXS9urEyQ" type="StatechartName">
- <styles xsi:type="notation:ShapeStyle" xmi:id="_t8yqxkKGEeGR5uXS9urEyQ"/>
- <layoutConstraint xsi:type="notation:Location" xmi:id="_t8yqx0KGEeGR5uXS9urEyQ"/>
- </children>
- <children xsi:type="notation:Shape" xmi:id="_t8yqyEKGEeGR5uXS9urEyQ" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_t8yqyUKGEeGR5uXS9urEyQ"/>
- </children>
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_t8zR0EKGEeGR5uXS9urEyQ" x="10" y="10" width="200" height="400"/>
- </children>
- <styles xsi:type="notation:DiagramStyle" xmi:id="_t8d6oUKGEeGR5uXS9urEyQ"/>
- <edges xmi:id="_t8yDsEKGEeGR5uXS9urEyQ" type="Transition" element="_t8xcoUKGEeGR5uXS9urEyQ" source="_t8vnckKGEeGR5uXS9urEyQ" target="_t8wOhkKGEeGR5uXS9urEyQ">
- <children xsi:type="notation:DecorationNode" xmi:id="_t8yqwEKGEeGR5uXS9urEyQ" type="TransitionExpression">
- <styles xsi:type="notation:ShapeStyle" xmi:id="_t8yqwUKGEeGR5uXS9urEyQ"/>
- <layoutConstraint xsi:type="notation:Location" xmi:id="_t8yqwkKGEeGR5uXS9urEyQ" y="10"/>
- </children>
- <styles xsi:type="notation:ConnectorStyle" xmi:id="_t8yDsUKGEeGR5uXS9urEyQ" lineColor="4210752"/>
- <styles xsi:type="notation:FontStyle" xmi:id="_t8yDs0KGEeGR5uXS9urEyQ" fontName="Verdana"/>
- <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_t8yDskKGEeGR5uXS9urEyQ" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
- </edges>
- <edges xmi:id="_x2pRMEKGEeGR5uXS9urEyQ" type="Transition" element="_x2k_wEKGEeGR5uXS9urEyQ" source="_t8wOhkKGEeGR5uXS9urEyQ" target="_wT5FAEKGEeGR5uXS9urEyQ">
- <children xsi:type="notation:DecorationNode" xmi:id="_x2p4QUKGEeGR5uXS9urEyQ" type="TransitionExpression">
- <styles xsi:type="notation:ShapeStyle" xmi:id="_x2p4QkKGEeGR5uXS9urEyQ"/>
- <layoutConstraint xsi:type="notation:Location" xmi:id="_x2p4Q0KGEeGR5uXS9urEyQ" x="-2" y="-157"/>
- </children>
- <styles xsi:type="notation:ConnectorStyle" xmi:id="_x2pRMUKGEeGR5uXS9urEyQ" lineColor="4210752"/>
- <styles xsi:type="notation:FontStyle" xmi:id="_x2p4QEKGEeGR5uXS9urEyQ" fontName="Verdana"/>
- <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_x2pRMkKGEeGR5uXS9urEyQ" points="[8, 12, 7, -93]$[26, 105, 25, 0]"/>
- <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_x2s7kEKGEeGR5uXS9urEyQ" id="(0.4909090909090909,0.7719298245614035)"/>
- </edges>
- </notation:Diagram>
- </xmi:XMI>
|