Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
regression-suites
Commits
c276c23d
Commit
c276c23d
authored
Mar 22, 2019
by
Maxime Perrotin
Browse files
Fix bug in SDL model of testsuite
parent
94b38d55
Changes
1
Hide whitespace changes
Inline
Side-by-side
Demo-opengeode/orchestrator/orchestrator.pr
View file @
c276c23d
/* CIF PROCESS (250, 149), (150, 75) */
process orchestrator;
/* CIF TEXT (81, 252), (276, 283) */
-- You can manually declare an
-- external procedure:
-- procedure tototo;
-- fpar titi MyInteger;
-- external;
-- In that case you are responsible for
-- providing the body code.
-- toto is used to check that
-- the FPAR in myproc that also
-- has a param called toto does
-- not conflict.
dcl toto MySeqOf;
/* CIF ENDTEXT */
/* CIF TEXT (59, 8), (366, 195) */
-- This demo shows the main features
-- and syntax currently supported by
-- OpenGEODE
-- The description of the signal and
-- external procedures is in the file called
-- "system_structure.pr".
-- To open this model you must load both
-- files from the command line:
-- $ opengeode system_structure.pr orchestrator.pr
/* CIF ENDTEXT */
/* CIF TEXT (437, 19), (319, 382) */
/* CIF TEXT (437, 19), (319, 392) */
-- Some test data
DCL a MyInteger := 4;
...
...
@@ -56,6 +26,36 @@ process orchestrator;
dcl m MyChoice2;
/* CIF ENDTEXT */
/* CIF TEXT (59, 8), (366, 195) */
-- This demo shows the main features
-- and syntax currently supported by
-- OpenGEODE
-- The description of the signal and
-- external procedures is in the file called
-- "system_structure.pr".
-- To open this model you must load both
-- files from the command line:
-- $ opengeode system_structure.pr orchestrator.pr
/* CIF ENDTEXT */
/* CIF TEXT (81, 252), (276, 283) */
-- You can manually declare an
-- external procedure:
-- procedure tototo;
-- fpar titi MyInteger;
-- external;
-- In that case you are responsible for
-- providing the body code.
-- toto is used to check that
-- the FPAR in myproc that also
-- has a param called toto does
-- not conflict.
dcl toto MySeqOf;
/* CIF ENDTEXT */
/* CIF procedure (146, 614), (91, 50) */
procedure myproc;
/* CIF TEXT (409, 0), (197, 140) */
...
...
@@ -89,7 +89,7 @@ process orchestrator;
endprocedure;
/* CIF START (953, 3), (100, 50) */
START;
/* CIF task (796, 73), (413, 3
68
) */
/* CIF task (796, 73), (413, 3
92
) */
task a := 42 + 5 * 3 - 1,
b := { hello, world },
a := length(b),
...
...
@@ -100,7 +100,7 @@ e:=g,
e := a:TRUE,
b(1) := hello,
--h := {mantissa 1, base 2, exponent 5},
h := -
42.5
,
h := -
10.0
,
i := {},
i := { 1 },
a := length(i),
...
...
@@ -114,44 +114,44 @@ h := abs(-42.5),
h := abs(h),
i := {1, 2},
m := B:C:TRUE
/* CIF comment (1273, 2
37
), (16
0
, 40) */
/* CIF comment (1273, 2
49
), (16
7
, 40) */
comment 'This is a comment
A multiline one, I mean';
/* CIF task (939,
456
), (128, 5
3
) */
/* CIF task (939,
504
), (128, 5
6
) */
task for x in i:
call writeln(x);
endfor;
/* CIF PROCEDURECALL (875, 5
24
), (255, 50) */
/* CIF PROCEDURECALL (875, 5
78
), (255, 50) */
call writeln('Should show "5 42.5": ', a, h);
/* CIF decision (947,
589
), (112, 70) */
/* CIF decision (947,
643
), (112, 70) */
decision present(e);
/* CIF ANSWER (953,
679
), (100, 31) */
/* CIF ANSWER (953,
733
), (100, 31) */
(a):
/* CIF task (949, 7
29
), (108, 50) */
/* CIF task (949, 7
83
), (108, 50) */
task a := 37;
/* CIF ANSWER (1106,
679
), (100, 35) */
/* CIF ANSWER (1106,
733
), (100, 35) */
(b):
/* CIF task (1066, 7
29
), (179, 50) */
/* CIF task (1066, 7
83
), (179, 50) */
task a := 38;
/* CIF ANSWER (1256,
679
), (100, 35) */
/* CIF ANSWER (1256,
733
), (100, 35) */
ELSE:
enddecision;
/* CIF decision (953,
794
), (100, 70) */
/* CIF decision (953,
848
), (100, 70) */
decision e;
/* CIF ANSWER (840,
884
), (100, 35) */
/* CIF ANSWER (840,
938
), (100, 35) */
(a:TRUE):
/* CIF task (840, 9
3
9), (100, 50) */
/* CIF task (840, 99
3
), (100, 50) */
task a := 41;
/* CIF ANSWER (646,
884
), (100, 35) */
/* CIF ANSWER (646,
938
), (100, 35) */
(g):
/* CIF task (646, 9
3
9), (100, 50) */
/* CIF task (646, 99
3
), (100, 50) */
task a := 40;
/* CIF ANSWER (1077,
884
), (100, 35) */
/* CIF ANSWER (1077,
938
), (100, 35) */
ELSE:
/* CIF task (1077, 9
3
9), (100, 50) */
/* CIF task (1077, 99
3
), (100, 50) */
task a := 42;
enddecision;
/* CIF NEXTSTATE (956, 10
04
), (94, 38) */
/* CIF NEXTSTATE (956, 10
58
), (94, 38) */
NEXTSTATE Stopped;
/* CIF label (452, 491), (152, 50) */
connection Transition_to_Stop:
...
...
@@ -161,6 +161,22 @@ endfor;
NEXTSTATE Stopped;
/* CIF End Label */
endconnection;
/* CIF state (1503, 29), (100, 50) */
state Running;
/* CIF input (1503, 99), (100, 50) */
input pulse;
/* CIF task (1456, 164), (193, 50) */
task a := (a+1) mod 10;
/* CIF PROCEDURECALL (1450, 229), (205, 50) */
call writeln
('Calling GNC with value ', a);
/* CIF PROCEDURECALL (1474, 294), (158, 50) */
call computeGNC(a, a);
/* CIF output (1479, 359), (148, 50) */
output housekeeping(a);
/* CIF NEXTSTATE (1503, 424), (100, 50) */
NEXTSTATE Running;
endstate;
/* CIF state (2396, 617), (100, 50) */
state Running;
/* CIF input (2386, 687), (120, 50) */
...
...
@@ -203,23 +219,7 @@ endfor;
output housekeeping (1);
/* CIF NEXTSTATE (1750, 220), (91, 46) */
NEXTSTATE -
/* CIF comment (1909, 213), (1
53
, 50) */
/* CIF comment (1909, 213), (1
62
, 50) */
comment 'Stay in the same state';
endstate;
/* CIF state (1503, 29), (100, 50) */
state Running;
/* CIF input (1503, 99), (100, 50) */
input pulse;
/* CIF task (1456, 164), (193, 50) */
task a := (a+1) mod 10;
/* CIF PROCEDURECALL (1450, 229), (205, 50) */
call writeln
('Calling GNC with value ', a);
/* CIF PROCEDURECALL (1474, 294), (158, 50) */
call computeGNC(a, a);
/* CIF output (1479, 359), (148, 50) */
output housekeeping(a);
/* CIF NEXTSTATE (1503, 424), (100, 50) */
NEXTSTATE Running;
endstate;
endprocess orchestrator;
\ No newline at end of file
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment