Skip to content

GitLab

Commit 6a6adb9f authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files

Save test file from the tool, replace manual code

parent a8d54281
Hide whitespace changes
Inline Side-by-side
tests/regression/test-provided1/og.pr
View file @ 6a6adb9f
...@@ -4,7 +4,6 @@ SYSTEM og; ...@@ -4,7 +4,6 @@ SYSTEM og;
signal telecommand(tc_type); signal telecommand(tc_type);
signal telemetry(tm_type); signal telemetry(tm_type);
/* CIF ENDTEXT */ /* CIF ENDTEXT */
CHANNEL c CHANNEL c
FROM ENV TO og WITH telecommand; FROM ENV TO og WITH telecommand;
...@@ -21,17 +20,17 @@ signal telemetry(tm_type); ...@@ -21,17 +20,17 @@ signal telemetry(tm_type);
SUBSTRUCTURE SUBSTRUCTURE
STATE mode_manager; STATE mode_manager;
SUBSTRUCTURE SUBSTRUCTURE
/* CIF START (180, 60), (70, 35) */ /* CIF START (359, 108), (70, 35) */
START; START;
/* CIF NEXTSTATE (159, 110), (111, 35) */ /* CIF NEXTSTATE (331, 158), (126, 35) */
NEXTSTATE wait_for_tc; NEXTSTATE wait_for_tc;
/* CIF STATE (159, 110), (111, 35) */ /* CIF STATE (331, 158), (126, 35) */
STATE wait_for_tc; STATE wait_for_tc;
/* CIF PROVIDED (143, 165), (144, 35) */ /* CIF PROVIDED (170, 213), (451, 35) */
provided got_tc=true and present(tc!content)=change_mode; PROVIDED got_tc=true and present(tc!content)=change_mode;
/* CIF PROCEDURECALL (123, 215), (184, 35) */ /* CIF PROCEDURECALL (282, 263), (226, 35) */
CALL writeln('Change Mode'); CALL writeln('Change Mode');
/* CIF NEXTSTATE (180, 265), (70, 35) */ /* CIF NEXTSTATE (360, 313), (70, 35) */
NEXTSTATE -; NEXTSTATE -;
ENDSTATE; ENDSTATE;
ENDSUBSTRUCTURE; ENDSUBSTRUCTURE;
...@@ -39,45 +38,45 @@ signal telemetry(tm_type); ...@@ -39,45 +38,45 @@ signal telemetry(tm_type);
SUBSTRUCTURE SUBSTRUCTURE
/* CIF START (144, 56), (70, 35) */ /* CIF START (144, 56), (70, 35) */
START; START;
/* CIF NEXTSTATE (126, 106), (106, 35) */ /* CIF NEXTSTATE (116, 106), (126, 35) */
NEXTSTATE wait_for_tc; NEXTSTATE wait_for_tc;
/* CIF STATE (126, 106), (106, 35) */ /* CIF STATE (116, 106), (126, 35) */
STATE wait_for_tc; STATE wait_for_tc;
/* CIF PROVIDED (107, 161), (144, 35) */ /* CIF INPUT (93, 161), (175, 35) */
INPUT telecommand(tc); INPUT telecommand(tc);
/* CIF TASK (117, 211), (123, 35) */ /* CIF TASK (107, 211), (146, 35) */
TASK got_tc := true; TASK got_tc := true;
/* CIF NEXTSTATE (144, 261), (70, 35) */ /* CIF NEXTSTATE (145, 261), (70, 35) */
NEXTSTATE -; NEXTSTATE -;
ENDSTATE; ENDSTATE;
ENDSUBSTRUCTURE; ENDSUBSTRUCTURE;
STATE memory_manager; STATE memory_manager;
SUBSTRUCTURE SUBSTRUCTURE
/* CIF START (165, 47), (70, 35) */ /* CIF START (259, 60), (70, 35) */
START; START;
/* CIF NEXTSTATE (147, 97), (106, 35) */ /* CIF NEXTSTATE (231, 110), (126, 35) */
NEXTSTATE wait_for_tc; NEXTSTATE wait_for_tc;
/* CIF STATE (147, 97), (106, 35) */ /* CIF STATE (231, 110), (126, 35) */
STATE wait_for_tc; STATE wait_for_tc;
/* CIF INPUT (128, 152), (144, 35) */ /* CIF PROVIDED (64, 165), (459, 35) */
provided got_tc=true and present(tc!content)=patch_memory; PROVIDED got_tc=true and present(tc!content)=patch_memory;
/* CIF PROCEDURECALL (87, 202), (226, 35) */ /* CIF PROCEDURECALL (178, 215), (231, 35) */
CALL writeln('Patch Memory'); CALL writeln('Patch Memory');
/* CIF NEXTSTATE (165, 252), (70, 35) */ /* CIF NEXTSTATE (258, 265), (70, 35) */
NEXTSTATE -; NEXTSTATE -;
ENDSTATE; ENDSTATE;
ENDSUBSTRUCTURE; ENDSUBSTRUCTURE;
/* CIF STATE (370, 97), (147, 35) */ /* CIF STATE (370, 97), (182, 35) */
STATE memory_manager; STATE memory_manager;
ENDSTATE; ENDSTATE;
/* CIF STATE (238, 111), (96, 35) */ /* CIF STATE (238, 111), (113, 35) */
STATE tc_router; STATE tc_router;
ENDSTATE; ENDSTATE;
/* CIF STATE (314, 191), (132, 35) */ /* CIF STATE (314, 191), (161, 35) */
STATE mode_manager; STATE mode_manager;
ENDSTATE; ENDSTATE;
ENDSUBSTRUCTURE; ENDSUBSTRUCTURE;
/* CIF TEXT (0, 310), (287, 140) */ /* CIF TEXT (0, 310), (327, 168) */
-- This system tests the provided clause -- This system tests the provided clause
-- (continuous signal) -- (continuous signal)
...@@ -87,13 +86,13 @@ dcl tm TM_type; ...@@ -87,13 +86,13 @@ dcl tm TM_type;
dcl got_tc Boolean_type; dcl got_tc Boolean_type;
/* CIF ENDTEXT */ /* CIF ENDTEXT */
/* CIF START (316, 297), (70, 35) */ /* CIF START (337, 297), (70, 35) */
START; START;
/* CIF NEXTSTATE (316, 347), (70, 35) */ /* CIF NEXTSTATE (337, 348), (70, 35) */
NEXTSTATE wait; NEXTSTATE wait;
/* CIF STATE (412, 344), (67, 35) */ /* CIF STATE (412, 344), (70, 35) */
STATE wait; STATE wait;
ENDSTATE; ENDSTATE;
ENDPROCESS og; ENDPROCESS og;
ENDBLOCK; ENDBLOCK;
ENDSYSTEM; ENDSYSTEM;
\ No newline at end of file
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment