Skip to Content

Changes for page Examples (sct)

Last modified by Alexander Schulz-Rosengarten on 2023/09/11 16:17
From version 13.1
edited by ssm
on 2016/04/18 15:24
Change comment: There is no comment for this version
To version 12.1
edited by ssm
on 2015/06/23 16:55
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -1,4 +1,4 @@
1 -[[~[~[image:attach:SCCharts@download.png~]~]>>url:http://rtsys.informatik.uni-kiel.de/confluence/display/KIELER/SCCharts#SCCharts-Downloads||shape="rect"]] [[~[~[image:attach:SCCharts@onlinecompiler.png~]~]>>url:http://www.sccharts.com||shape="rect"]] (% class="confluence-link" %)[[image:attach:Command Line Compiler@commandlinecompiler2.png]][[doc:Command Line Compiler]](%%) [[image:attach:SCCharts@quickstart.png]][[doc:Quick Start Guide (pre 0\.13)]]
1 +[[~[~[image:attach:SCCharts@download.png~]~]>>url:http://rtsys.informatik.uni-kiel.de/confluence/display/KIELER/SCCharts#SCCharts-Downloads||shape="rect"]] [[~[~[image:attach:SCCharts@onlinecompiler.png~]~]>>url:http://www.sccharts.com||shape="rect"]] (% class="confluence-link" %)[[image:attach:Command Line Compiler@commandlinecompiler2.png]][[doc:Command Line Compiler]](%%) [[image:attach:SCCharts@quickstart.png]][[doc:Quick Start Guide]]
2 2  
3 3  = SCCharts Examples =
4 4  
... ... @@ -16,43 +16,6 @@
16 16  )))
17 17  |(% colspan="1" %)(% colspan="1" %)
18 18  (((
19 -= ABO =
20 -)))|(% colspan="1" %)(% colspan="1" %)
21 -(((
22 -
23 -)))|(% colspan="1" %)(% colspan="1" %)
24 -(((
25 -[[image:attach:abo.png]]
26 -)))|(% colspan="1" %)(% colspan="1" %)
27 -(((
28 -{{code title="ABO.sct"}}
29 -@VHLayout
30 -scchart ABO {
31 - input output bool A;
32 - input output bool B;
33 - output bool O1;
34 - output bool O2;
35 - region:
36 -
37 - initial state Init
38 - --> WaitAB immediate with / O1 = false; O2 = false;
39 - state WaitAB {
40 - region HandleA:
41 - initial state WaitA
42 - --> DoneA immediate with A / B = true; O1 = true;
43 - final state DoneA;
44 - region HandleB:
45 - initial state WaitB
46 - --> DoneB with B / O1 = true;
47 - final state DoneB;
48 - }
49 - >-> GotAB with / O1 = false; O2 = true;
50 - state GotAB;
51 -}
52 -{{/code}}
53 -)))
54 -|(% colspan="1" %)(% colspan="1" %)
55 -(((
56 56  = clock =
57 57  
58 58  (Referenced SCCharts Example)
... ... @@ -72,7 +72,7 @@
72 72  [[image:attach:clock2h.png]]
73 73  )))|(% colspan="1" %)(% colspan="1" %)
74 74  (((
75 -{{code language="sct" title="shifter3.sct"}}
38 +{{code title="shifter3.sct" language="sct"}}
76 76  scchart delay {
77 77   input int ticksToWait;
78 78   input bool clock;
... ... @@ -86,7 +86,7 @@
86 86  }
87 87  {{/code}}
88 88  
89 -{{code language="sct" title="shifter3.sct"}}
52 +{{code title="shifter3.sct" language="sct"}}
90 90  scchart emitter {
91 91   input bool clock;
92 92   input bool delay;
... ... @@ -105,7 +105,7 @@
105 105  }
106 106  {{/code}}
107 107  
108 -{{code language="sct" title="shifter3.sct"}}
71 +{{code title="shifter3.sct" language="sct"}}
109 109  scchart clock {
110 110   input bool msClock;
111 111   output bool second;
... ... @@ -166,7 +166,7 @@
166 166  [[image:attach:PLDI'14 Artifact on SCCharts@shifter3.png]]
167 167  )))|(% colspan="1" %)(% colspan="1" %)
168 168  (((
169 -{{code language="sct" title="shifter3.sct"}}
132 +{{code title="shifter3.sct" language="sct"}}
170 170  scchart shifter3 {
171 171   input signal int I = 1;
172 172   signal int S0;
... ... @@ -192,7 +192,7 @@
192 192  [[image:attach:PLDI'14 Artifact on SCCharts@reincarnation.png]]
193 193  )))|(% colspan="1" %)(% colspan="1" %)
194 194  (((
195 -{{code language="sct" title="reincarnation.sct"}}
158 +{{code title="reincarnation.sct" language="sct"}}
196 196  scchart reincarnation {
197 197   input signal A;
198 198   output signal gotS;
... ... @@ -222,7 +222,7 @@
222 222  [[image:attach:PLDI'14 Artifact on SCCharts@cabin.png]]
223 223  )))|(% colspan="1" %)(% colspan="1" %)
224 224  (((
225 -{{code language="sct" title="cabin.sct"}}
188 +{{code title="cabin.sct" language="sct"}}
226 226  scchart Cabin {
227 227   input signal Stop;
228 228   input signal CabinStopped;
... ... @@ -270,7 +270,7 @@
270 270  [[image:attach:PLDI'14 Artifact on SCCharts@reactor-control.png]]
271 271  )))|(% colspan="1" %)(% colspan="1" %)
272 272  (((
273 -{{code language="sct" title="reactor-control.sct"}}
236 +{{code title="reactor-control.sct" language="sct"}}
274 274  scchart Module_ReactorControl {
275 275   output signal PullOutRods;
276 276   output signal PushInRods;
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -52723792
1 +16810196
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/52723792/Examples
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/16810196/Examples