| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990 |
- <?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="_bRxaMJ09Eeexs_XA1t2DVA" specification="interface:
var r:real = 3.4
var i:integer = 2" name="FloatModulo">
- <regions xmi:id="_bRzPYp09Eeexs_XA1t2DVA" name="main region">
- <vertices xsi:type="sgraph:Entry" xmi:id="_bR_coJ09Eeexs_XA1t2DVA">
- <outgoingTransitions xmi:id="_bSCf8Z09Eeexs_XA1t2DVA" target="_bSAqwZ09Eeexs_XA1t2DVA"/>
- </vertices>
- <vertices xsi:type="sgraph:State" xmi:id="_bSAqwZ09Eeexs_XA1t2DVA" specification="entry / 
r %=r; 
r = 3.4;
i = 2;

r = r % r;
r = 3.4;
i = 2;

i = i % i;
r = 3.4;
i = 2;

i %= i;
r = 3.4;
i = 2;

r = r % i;
r = 3.4;
i = 2;

r %= i;
r = 3.4;
i = 2;

r = i % r;
r = 3.4;
i = 2;

r = i % i
" name="StateA" incomingTransitions="_bSCf8Z09Eeexs_XA1t2DVA">
- <outgoingTransitions xmi:id="_6UFmQJ0-Eeexs_XA1t2DVA" specification="always" target="_5pnF4J0-Eeexs_XA1t2DVA"/>
- </vertices>
- <vertices xsi:type="sgraph:FinalState" xmi:id="_5pnF4J0-Eeexs_XA1t2DVA" incomingTransitions="_6UFmQJ0-Eeexs_XA1t2DVA"/>
- </regions>
- </sgraph:Statechart>
- <notation:Diagram xmi:id="_bRzPYJ09Eeexs_XA1t2DVA" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_bRxaMJ09Eeexs_XA1t2DVA" measurementUnit="Pixel">
- <children xmi:id="_bR25wJ09Eeexs_XA1t2DVA" type="Region" element="_bRzPYp09Eeexs_XA1t2DVA">
- <children xsi:type="notation:DecorationNode" xmi:id="_bR-OgJ09Eeexs_XA1t2DVA" type="RegionName">
- <styles xsi:type="notation:ShapeStyle" xmi:id="_bR-OgZ09Eeexs_XA1t2DVA"/>
- <layoutConstraint xsi:type="notation:Location" xmi:id="_bR-Ogp09Eeexs_XA1t2DVA"/>
- </children>
- <children xsi:type="notation:Shape" xmi:id="_bR-Og509Eeexs_XA1t2DVA" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
- <children xmi:id="_bR_coZ09Eeexs_XA1t2DVA" type="Entry" element="_bR_coJ09Eeexs_XA1t2DVA">
- <children xmi:id="_bSADsJ09Eeexs_XA1t2DVA" type="BorderItemLabelContainer">
- <children xsi:type="notation:DecorationNode" xmi:id="_bSADs509Eeexs_XA1t2DVA" type="BorderItemLabel">
- <styles xsi:type="notation:ShapeStyle" xmi:id="_bSADtJ09Eeexs_XA1t2DVA"/>
- <layoutConstraint xsi:type="notation:Location" xmi:id="_bSADtZ09Eeexs_XA1t2DVA"/>
- </children>
- <styles xsi:type="notation:ShapeStyle" xmi:id="_bSADsZ09Eeexs_XA1t2DVA" fontName="Verdana" lineColor="4210752"/>
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_bSADsp09Eeexs_XA1t2DVA"/>
- </children>
- <styles xsi:type="notation:ShapeStyle" xmi:id="_bR_cop09Eeexs_XA1t2DVA" fontName="Verdana" fillColor="0" lineColor="16777215"/>
- <styles xsi:type="notation:NamedStyle" xmi:id="_bR_co509Eeexs_XA1t2DVA" name="allowColors"/>
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_bSAqwJ09Eeexs_XA1t2DVA" x="70" y="20"/>
- </children>
- <children xmi:id="_bSAqxJ09Eeexs_XA1t2DVA" type="State" element="_bSAqwZ09Eeexs_XA1t2DVA">
- <children xsi:type="notation:DecorationNode" xmi:id="_bSBR0J09Eeexs_XA1t2DVA" type="StateName">
- <styles xsi:type="notation:ShapeStyle" xmi:id="_bSBR0Z09Eeexs_XA1t2DVA"/>
- <layoutConstraint xsi:type="notation:Location" xmi:id="_bSBR0p09Eeexs_XA1t2DVA"/>
- </children>
- <children xsi:type="notation:Compartment" xmi:id="_bSBR0509Eeexs_XA1t2DVA" type="StateTextCompartment">
- <children xsi:type="notation:Shape" xmi:id="_bSBR1J09Eeexs_XA1t2DVA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_bSBR1Z09Eeexs_XA1t2DVA"/>
- </children>
- </children>
- <children xsi:type="notation:Compartment" xmi:id="_bSB44J09Eeexs_XA1t2DVA" type="StateFigureCompartment"/>
- <styles xsi:type="notation:ShapeStyle" xmi:id="_bSAqxZ09Eeexs_XA1t2DVA" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
- <styles xsi:type="notation:FontStyle" xmi:id="_bSAqxp09Eeexs_XA1t2DVA"/>
- <styles xsi:type="notation:BooleanValueStyle" xmi:id="_bSB44Z09Eeexs_XA1t2DVA" name="isHorizontal" booleanValue="true"/>
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_bSCf8J09Eeexs_XA1t2DVA" x="40" y="80" width="81" height="465"/>
- </children>
- <children xsi:type="notation:Shape" xmi:id="_5ppiIJ0-Eeexs_XA1t2DVA" type="FinalState" element="_5pnF4J0-Eeexs_XA1t2DVA" fontName="Verdana" lineColor="4210752">
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_5ppiIZ0-Eeexs_XA1t2DVA" x="172" y="234"/>
- </children>
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_bR-OhJ09Eeexs_XA1t2DVA"/>
- </children>
- <styles xsi:type="notation:ShapeStyle" xmi:id="_bR25wZ09Eeexs_XA1t2DVA" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_bR-1kJ09Eeexs_XA1t2DVA" x="220" y="10" width="400" height="598"/>
- </children>
- <children xsi:type="notation:Shape" xmi:id="_bSEVI509Eeexs_XA1t2DVA" type="StatechartText" fontName="Verdana" lineColor="4210752">
- <children xsi:type="notation:DecorationNode" xmi:id="_bSE8MJ09Eeexs_XA1t2DVA" type="StatechartName">
- <styles xsi:type="notation:ShapeStyle" xmi:id="_bSE8MZ09Eeexs_XA1t2DVA"/>
- <layoutConstraint xsi:type="notation:Location" xmi:id="_bSE8Mp09Eeexs_XA1t2DVA"/>
- </children>
- <children xsi:type="notation:Shape" xmi:id="_bSE8M509Eeexs_XA1t2DVA" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_bSE8NJ09Eeexs_XA1t2DVA"/>
- </children>
- <layoutConstraint xsi:type="notation:Bounds" xmi:id="_bSFjQJ09Eeexs_XA1t2DVA" x="10" y="10" width="200" height="400"/>
- </children>
- <styles xsi:type="notation:DiagramStyle" xmi:id="_bRzPYZ09Eeexs_XA1t2DVA"/>
- <edges xmi:id="_bSDuEJ09Eeexs_XA1t2DVA" type="Transition" element="_bSCf8Z09Eeexs_XA1t2DVA" source="_bR_coZ09Eeexs_XA1t2DVA" target="_bSAqxJ09Eeexs_XA1t2DVA">
- <children xsi:type="notation:DecorationNode" xmi:id="_bSEVIJ09Eeexs_XA1t2DVA" type="TransitionExpression">
- <styles xsi:type="notation:ShapeStyle" xmi:id="_bSEVIZ09Eeexs_XA1t2DVA"/>
- <layoutConstraint xsi:type="notation:Location" xmi:id="_bSEVIp09Eeexs_XA1t2DVA" y="10"/>
- </children>
- <styles xsi:type="notation:ConnectorStyle" xmi:id="_bSDuEZ09Eeexs_XA1t2DVA" routing="Rectilinear" lineColor="4210752"/>
- <styles xsi:type="notation:FontStyle" xmi:id="_bSDuE509Eeexs_XA1t2DVA" fontName="Verdana"/>
- <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_bSDuEp09Eeexs_XA1t2DVA" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
- </edges>
- <edges xmi:id="_6UG0YJ0-Eeexs_XA1t2DVA" type="Transition" element="_6UFmQJ0-Eeexs_XA1t2DVA" source="_bSAqxJ09Eeexs_XA1t2DVA" target="_5ppiIJ0-Eeexs_XA1t2DVA">
- <children xsi:type="notation:DecorationNode" xmi:id="_6UHbcJ0-Eeexs_XA1t2DVA" type="TransitionExpression">
- <styles xsi:type="notation:ShapeStyle" xmi:id="_6UHbcZ0-Eeexs_XA1t2DVA"/>
- <layoutConstraint xsi:type="notation:Location" xmi:id="_6UHbcp0-Eeexs_XA1t2DVA" y="10"/>
- </children>
- <styles xsi:type="notation:ConnectorStyle" xmi:id="_6UG0YZ0-Eeexs_XA1t2DVA" routing="Rectilinear" lineColor="4210752"/>
- <styles xsi:type="notation:FontStyle" xmi:id="_6UG0Y50-Eeexs_XA1t2DVA" fontName="Verdana"/>
- <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_6UG0Yp0-Eeexs_XA1t2DVA" points="[6, 9, -60, -93]$[67, 109, 1, 7]"/>
- <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_6UIpkJ0-Eeexs_XA1t2DVA" id="(0.9285714285714286,0.23921568627450981)"/>
- </edges>
- </notation:Diagram>
- </xmi:XMI>
|
