-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathprefix.-sct
116 lines (116 loc) · 10.7 KB
/
prefix.-sct
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
<?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="_IPEiAI_CEeaE_NItBGtDFQ" specification="/* Blink LED3 EDU-CIA-NXP */

interface:

in event evTick

operation opLED(LEDNumber:integer,
	State:boolean)

//const LEDR: integer = 0
//const LEDG: integer = 1
//const LEDB: integer = 2
//const LED1: integer = 3
//const LED2: integer = 4
const LED3: integer = 5

const LED_ON: boolean = false
const LED_OFF: boolean = true

internal:
" name="prefix">
<regions xmi:id="_IPEiA4_CEeaE_NItBGtDFQ" name="main region">
<vertices xsi:type="sgraph:Entry" xmi:id="_IPEiDY_CEeaE_NItBGtDFQ">
<outgoingTransitions xmi:id="_XlKfgBMaEeevvbhLDk5fag" specification="" target="_EvYFTRMaEeevvbhLDk5fag"/>
</vertices>
<vertices xsi:type="sgraph:State" xmi:id="_EvYFTRMaEeevvbhLDk5fag" specification="entry / opLED(LED3, LED_OFF)" name="APAGADO" incomingTransitions="_-DYHbMuIEeaJzKf0Ssal0Q _XlKfgBMaEeevvbhLDk5fag">
<outgoingTransitions xmi:id="_-Dwh58uIEeaJzKf0Ssal0Q" specification="evTick" target="_GPX4bRMaEeevvbhLDk5fag"/>
</vertices>
<vertices xsi:type="sgraph:State" xmi:id="_GPX4bRMaEeevvbhLDk5fag" specification="entry / opLED(LED3, LED_ON)" name="ENCENDIDO" incomingTransitions="_-Dwh58uIEeaJzKf0Ssal0Q">
<outgoingTransitions xmi:id="_-DYHbMuIEeaJzKf0Ssal0Q" specification="evTick" target="_EvYFTRMaEeevvbhLDk5fag"/>
</vertices>
</regions>
</sgraph:Statechart>
<notation:Diagram xmi:id="_IPEiAY_CEeaE_NItBGtDFQ" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_IPEiAI_CEeaE_NItBGtDFQ" measurementUnit="Pixel">
<children xmi:id="_IPEiBI_CEeaE_NItBGtDFQ" type="Region" element="_IPEiA4_CEeaE_NItBGtDFQ">
<children xsi:type="notation:DecorationNode" xmi:id="_IPEiB4_CEeaE_NItBGtDFQ" type="RegionName">
<styles xsi:type="notation:ShapeStyle" xmi:id="_IPEiCI_CEeaE_NItBGtDFQ"/>
<layoutConstraint xsi:type="notation:Location" xmi:id="_IPEiCY_CEeaE_NItBGtDFQ"/>
</children>
<children xsi:type="notation:Shape" xmi:id="_IPEiCo_CEeaE_NItBGtDFQ" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
<children xmi:id="_IPEiDo_CEeaE_NItBGtDFQ" type="Entry" element="_IPEiDY_CEeaE_NItBGtDFQ">
<children xmi:id="_IPEiEY_CEeaE_NItBGtDFQ" type="BorderItemLabelContainer">
<children xsi:type="notation:DecorationNode" xmi:id="_IPEiFI_CEeaE_NItBGtDFQ" type="BorderItemLabel">
<styles xsi:type="notation:ShapeStyle" xmi:id="_IPEiFY_CEeaE_NItBGtDFQ"/>
<layoutConstraint xsi:type="notation:Location" xmi:id="_IPEiFo_CEeaE_NItBGtDFQ"/>
</children>
<styles xsi:type="notation:ShapeStyle" xmi:id="_IPEiEo_CEeaE_NItBGtDFQ" fontName="Verdana" lineColor="4210752"/>
<layoutConstraint xsi:type="notation:Bounds" xmi:id="_IPEiE4_CEeaE_NItBGtDFQ"/>
</children>
<styles xsi:type="notation:ShapeStyle" xmi:id="_IPEiD4_CEeaE_NItBGtDFQ" fontName="Verdana" lineColor="4210752"/>
<layoutConstraint xsi:type="notation:Bounds" xmi:id="_IPEiF4_CEeaE_NItBGtDFQ" x="24" width="15" height="15"/>
</children>
<children xmi:id="_EvYFQRMaEeevvbhLDk5fag" type="State" element="_EvYFTRMaEeevvbhLDk5fag">
<children xsi:type="notation:DecorationNode" xmi:id="_EvYFQhMaEeevvbhLDk5fag" type="StateName">
<styles xsi:type="notation:ShapeStyle" xmi:id="_EvYFQxMaEeevvbhLDk5fag"/>
<layoutConstraint xsi:type="notation:Location" xmi:id="_EvYFRBMaEeevvbhLDk5fag"/>
</children>
<children xsi:type="notation:Compartment" xmi:id="_EvYFRRMaEeevvbhLDk5fag" type="StateTextCompartment">
<children xsi:type="notation:Shape" xmi:id="_EvYFRhMaEeevvbhLDk5fag" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
<layoutConstraint xsi:type="notation:Bounds" xmi:id="_EvYFRxMaEeevvbhLDk5fag"/>
</children>
</children>
<children xsi:type="notation:Compartment" xmi:id="_EvYFSBMaEeevvbhLDk5fag" type="StateFigureCompartment"/>
<styles xsi:type="notation:ShapeStyle" xmi:id="_EvYFSRMaEeevvbhLDk5fag" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
<styles xsi:type="notation:FontStyle" xmi:id="_EvYFShMaEeevvbhLDk5fag"/>
<styles xsi:type="notation:BooleanValueStyle" xmi:id="_EvYFSxMaEeevvbhLDk5fag" name="isHorizontal" booleanValue="true"/>
<layoutConstraint xsi:type="notation:Bounds" xmi:id="_EvYFTBMaEeevvbhLDk5fag" x="79" y="-23" width="218" height="66"/>
</children>
<children xmi:id="_GPX4YRMaEeevvbhLDk5fag" type="State" element="_GPX4bRMaEeevvbhLDk5fag">
<children xsi:type="notation:DecorationNode" xmi:id="_GPX4YhMaEeevvbhLDk5fag" type="StateName">
<styles xsi:type="notation:ShapeStyle" xmi:id="_GPX4YxMaEeevvbhLDk5fag"/>
<layoutConstraint xsi:type="notation:Location" xmi:id="_GPX4ZBMaEeevvbhLDk5fag"/>
</children>
<children xsi:type="notation:Compartment" xmi:id="_GPX4ZRMaEeevvbhLDk5fag" type="StateTextCompartment">
<children xsi:type="notation:Shape" xmi:id="_GPX4ZhMaEeevvbhLDk5fag" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
<layoutConstraint xsi:type="notation:Bounds" xmi:id="_GPX4ZxMaEeevvbhLDk5fag"/>
</children>
</children>
<children xsi:type="notation:Compartment" xmi:id="_GPX4aBMaEeevvbhLDk5fag" type="StateFigureCompartment"/>
<styles xsi:type="notation:ShapeStyle" xmi:id="_GPX4aRMaEeevvbhLDk5fag" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
<styles xsi:type="notation:FontStyle" xmi:id="_GPX4ahMaEeevvbhLDk5fag"/>
<styles xsi:type="notation:BooleanValueStyle" xmi:id="_GPX4axMaEeevvbhLDk5fag" name="isHorizontal" booleanValue="true"/>
<layoutConstraint xsi:type="notation:Bounds" xmi:id="_GPX4bBMaEeevvbhLDk5fag" x="79" y="104" width="223" height="65"/>
</children>
<layoutConstraint xsi:type="notation:Bounds" xmi:id="_IPEiC4_CEeaE_NItBGtDFQ"/>
</children>
<styles xsi:type="notation:ShapeStyle" xmi:id="_IPEiBY_CEeaE_NItBGtDFQ" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
<layoutConstraint xsi:type="notation:Bounds" xmi:id="_IPEiDI_CEeaE_NItBGtDFQ" x="336" y="78" width="447" height="245"/>
</children>
<children xsi:type="notation:Shape" xmi:id="_IPEiMI_CEeaE_NItBGtDFQ" type="StatechartText" fontName="Verdana" lineColor="4210752">
<children xsi:type="notation:DecorationNode" xmi:id="_IPOTAI_CEeaE_NItBGtDFQ" type="StatechartName">
<styles xsi:type="notation:ShapeStyle" xmi:id="_IPOTAY_CEeaE_NItBGtDFQ"/>
<layoutConstraint xsi:type="notation:Location" xmi:id="_IPOTAo_CEeaE_NItBGtDFQ"/>
</children>
<children xsi:type="notation:Shape" xmi:id="_IPOTA4_CEeaE_NItBGtDFQ" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
<layoutConstraint xsi:type="notation:Bounds" xmi:id="_IPOTBI_CEeaE_NItBGtDFQ"/>
</children>
<layoutConstraint xsi:type="notation:Bounds" xmi:id="_IPOTBY_CEeaE_NItBGtDFQ" x="30" y="54" width="292" height="439"/>
</children>
<styles xsi:type="notation:DiagramStyle" xmi:id="_IPEiAo_CEeaE_NItBGtDFQ"/>
<edges xmi:id="_-DqbcsuIEeaJzKf0Ssal0Q" type="Transition" element="_-Dwh58uIEeaJzKf0Ssal0Q" source="_EvYFQRMaEeevvbhLDk5fag" target="_GPX4YRMaEeevvbhLDk5fag">
<children xsi:type="notation:DecorationNode" xmi:id="_-Dwh5MuIEeaJzKf0Ssal0Q" type="TransitionExpression">
<styles xsi:type="notation:ShapeStyle" xmi:id="_-Dwh5suIEeaJzKf0Ssal0Q"/>
<layoutConstraint xsi:type="notation:Location" xmi:id="_-Dwh5cuIEeaJzKf0Ssal0Q" x="-14" y="-31"/>
</children>
<styles xsi:type="notation:ConnectorStyle" xmi:id="_-Dwh48uIEeaJzKf0Ssal0Q" lineColor="4210752"/>
<styles xsi:type="notation:FontStyle" xmi:id="_-Dwh4suIEeaJzKf0Ssal0Q" fontName="Verdana"/>
<bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_-Dwh4cuIEeaJzKf0Ssal0Q" points="[-1, 4, 0, -46]$[-1, 47, 0, -3]"/>
<sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_-Dwh4MuIEeaJzKf0Ssal0Q" id="(0.11976047904191617,0.9545454545454546)"/>
<targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_-Dqbc8uIEeaJzKf0Ssal0Q" id="(0.08734939759036145,0.03076923076923077)"/>
</edges>
<edges xmi:id="_-DkUoMuIEeaJzKf0Ssal0Q" type="Transition" element="_-DYHbMuIEeaJzKf0Ssal0Q" source="_GPX4YRMaEeevvbhLDk5fag" target="_EvYFQRMaEeevvbhLDk5fag">
<children xsi:type="notation:DecorationNode" xmi:id="_-DkUocuIEeaJzKf0Ssal0Q" type="TransitionExpression">
<styles xsi:type="notation:ShapeStyle" xmi:id="_-DkUosuIEeaJzKf0Ssal0Q"/>
<layoutConstraint xsi:type="notation:Location" xmi:id="_-DkUo8uIEeaJzKf0Ssal0Q" x="-11" y="-34"/>
</children>
<styles xsi:type="notation:ConnectorStyle" xmi:id="_-DkUpMuIEeaJzKf0Ssal0Q" lineColor="4210752"/>
<styles xsi:type="notation:FontStyle" xmi:id="_-DkUpcuIEeaJzKf0Ssal0Q" fontName="Verdana"/>
<bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_-DkUpsuIEeaJzKf0Ssal0Q" points="[0, -2, -15, 67]$[15, -68, 0, 1]"/>
<sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_-DkUp8uIEeaJzKf0Ssal0Q" id="(0.9107142857142857,0.015384615384615385)"/>
<targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_-DkUqMuIEeaJzKf0Ssal0Q" id="(0.937125748502994,0.9848484848484849)"/>
</edges>
<edges xmi:id="_XlQmIBMaEeevvbhLDk5fag" type="Transition" element="_XlKfgBMaEeevvbhLDk5fag" source="_IPEiDo_CEeaE_NItBGtDFQ" target="_EvYFQRMaEeevvbhLDk5fag">
<children xsi:type="notation:DecorationNode" xmi:id="_XlQmJBMaEeevvbhLDk5fag" type="TransitionExpression">
<styles xsi:type="notation:ShapeStyle" xmi:id="_XlQmJRMaEeevvbhLDk5fag"/>
<layoutConstraint xsi:type="notation:Location" xmi:id="_XlQmJhMaEeevvbhLDk5fag" y="10"/>
</children>
<styles xsi:type="notation:ConnectorStyle" xmi:id="_XlQmIRMaEeevvbhLDk5fag" lineColor="4210752"/>
<styles xsi:type="notation:FontStyle" xmi:id="_XlQmIxMaEeevvbhLDk5fag" fontName="Verdana"/>
<bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_XlQmIhMaEeevvbhLDk5fag" points="[7, 0, -154, 12]$[162, 17, 1, 29]"/>
<targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_XlWswBMaEeevvbhLDk5fag" id="(0.005988023952095809,0.5303030303030303)"/>
</edges>
</notation:Diagram>
</xmi:XMI>