Skip to content

GitLab

Commit 1495f878 authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files

Reformat test diagram

parent 43326498
Hide whitespace changes
Inline Side-by-side
tests/regression/test-equal/og.pr
View file @ 1495f878
/* CIF PROCESS (149, 150), (150, 75) */
PROCESS og;
/* CIF TEXT (0, 0), (539, 348) */
/* CIF TEXT (97, 0), (427, 348) */
-- A Demo to test the generation of _Equal functions from ASN1SCC
dcl V1 My_OctStr := 'Hello';
......@@ -18,102 +18,102 @@ dcl V6 Toto := { elem_1 'Hello', elem_2 {'Ola', 'TheWorld'} };
dcl V7 AChoice := a: TRUE;
dcl V8 ACHoice := b: {'Hello', 'World!'};
/* CIF ENDTEXT */
/* CIF START (1109, 72), (60, 30) */
/* CIF START (1065, 26), (60, 30) */
START;
/* CIF TASK (1050, 118), (177, 35) */
/* CIF TASK (1007, 72), (177, 35) */
TASK v8 := b: {'hello', 'world'};
/* CIF LABEL (1104, 168), (70, 35) */
/* CIF LABEL (1060, 122), (70, 35) */
one:
/* CIF DECISION (1090, 218), (98, 50) */
/* CIF DECISION (1046, 172), (98, 50) */
DECISION V1 = V2;
/* CIF ANSWER (962, 288), (73, 28) */
/* CIF ANSWER (669, 242), (73, 28) */
(true):
/* CIF TASK (937, 331), (123, 35) */
/* CIF TASK (644, 285), (123, 35) */
TASK fail := false;
/* CIF PROCEDURECALL (923, 381), (150, 38) */
/* CIF PROCEDURECALL (653, 335), (106, 38) */
CALL writeln('2');
/* CIF LABEL (963, 434), (70, 35) */
/* CIF LABEL (671, 388), (70, 35) */
two:
/* CIF DECISION (949, 484), (98, 50) */
/* CIF DECISION (657, 438), (98, 50) */
DECISION V3 = V4;
/* CIF ANSWER (616, 554), (73, 28) */
/* CIF ANSWER (452, 508), (73, 28) */
(true):
/* CIF TASK (591, 597), (123, 35) */
/* CIF TASK (427, 551), (123, 35) */
TASK fail := false;
/* CIF PROCEDURECALL (577, 647), (150, 38) */
/* CIF PROCEDURECALL (436, 601), (106, 38) */
CALL writeln('4');
/* CIF LABEL (611, 700), (82, 35) */
/* CIF LABEL (448, 654), (82, 35) */
three:
/* CIF DECISION (574, 750), (156, 95) */
/* CIF DECISION (411, 704), (156, 95) */
DECISION V5 /= V6
and V7 /= V8;
/* CIF ANSWER (540, 865), (73, 28) */
/* CIF ANSWER (376, 819), (73, 28) */
(true):
/* CIF PROCEDURECALL (501, 908), (150, 38) */
/* CIF PROCEDURECALL (360, 862), (106, 38) */
CALL writeln('5');
/* CIF TASK (487, 961), (179, 48) */
/* CIF TASK (323, 915), (179, 48) */
TASK V5 := V6,
V7 := b: {'Hello', 'World'};
/* CIF TASK (464, 1024), (225, 35) */
/* CIF TASK (323, 978), (180, 35) */
TASK V8 := b: {'Hello', 'world' };
/* CIF JOIN (559, 1074), (35, 35) */
/* CIF JOIN (395, 1028), (35, 35) */
JOIN three;
/* CIF ANSWER (745, 865), (78, 28) */
/* CIF ANSWER (581, 819), (78, 28) */
(false):
/* CIF PROCEDURECALL (709, 908), (150, 38) */
/* CIF PROCEDURECALL (567, 862), (106, 38) */
CALL writeln('6');
/* CIF NEXTSTATE (749, 961), (70, 35) */
/* CIF NEXTSTATE (585, 915), (70, 35) */
NEXTSTATE wait;
ENDDECISION;
/* CIF ANSWER (1530, 554), (78, 28) */
/* CIF ANSWER (962, 508), (78, 28) */
(false):
/* CIF DECISION (1530, 597), (78, 50) */
/* CIF DECISION (962, 551), (78, 50) */
DECISION fail;
/* CIF ANSWER (1423, 667), (73, 28) */
/* CIF ANSWER (855, 621), (73, 28) */
(true):
/* CIF PROCEDURECALL (1233, 710), (452, 38) */
/* CIF PROCEDURECALL (742, 664), (299, 38) */
CALL writeln('FAIL: V3 = V4 reports FALSE, but...');
/* CIF PROCEDURECALL (1190, 763), (539, 35) */
/* CIF PROCEDURECALL (683, 717), (417, 35) */
CALL writeln('Length of V3(1) =', Length(V3(1)), ' and Value = ', V3(1));
/* CIF PROCEDURECALL (1185, 813), (549, 35) */
/* CIF PROCEDURECALL (683, 767), (417, 35) */
CALL writeln('Length of V4(1) =', Length(V4(1)), ' and Value = ', V4(1));
/* CIF NEXTSTATE (1424, 863), (70, 35) */
/* CIF NEXTSTATE (857, 817), (70, 35) */
NEXTSTATE wait;
/* CIF ANSWER (1803, 667), (78, 28) */
/* CIF ANSWER (1145, 621), (78, 28) */
(false):
/* CIF PROCEDURECALL (1767, 710), (150, 38) */
/* CIF PROCEDURECALL (1131, 664), (106, 38) */
CALL writeln('3');
/* CIF TASK (1744, 763), (196, 35) */
/* CIF TASK (1113, 717), (141, 35) */
TASK V3(1) := V4(1)(0,4);
/* CIF TASK (1783, 813), (118, 35) */
/* CIF TASK (1133, 767), (101, 35) */
TASK fail := true;
/* CIF JOIN (1824, 863), (35, 35) */
/* CIF JOIN (1166, 817), (35, 35) */
JOIN two;
ENDDECISION;
ENDDECISION;
/* CIF ANSWER (2032, 288), (78, 28) */
/* CIF ANSWER (1331, 242), (78, 28) */
(false):
/* CIF DECISION (2032, 331), (78, 50) */
/* CIF DECISION (1331, 285), (78, 50) */
DECISION fail;
/* CIF ANSWER (1990, 401), (73, 28) */
/* CIF ANSWER (1289, 355), (73, 28) */
(true):
/* CIF PROCEDURECALL (1950, 444), (153, 38) */
/* CIF PROCEDURECALL (1264, 398), (122, 38) */
CALL writeln('FAIL');
/* CIF NEXTSTATE (1991, 497), (70, 35) */
/* CIF NEXTSTATE (1290, 451), (70, 35) */
NEXTSTATE wait;
/* CIF ANSWER (2150, 401), (78, 28) */
/* CIF ANSWER (1449, 355), (78, 28) */
(false):
/* CIF PROCEDURECALL (2114, 444), (150, 38) */
/* CIF PROCEDURECALL (1435, 398), (106, 38) */
CALL writeln('1');
/* CIF TASK (2135, 497), (108, 35) */
/* CIF TASK (1445, 451), (86, 35) */
TASK V2 := V1;
/* CIF TASK (2130, 547), (118, 35) */
/* CIF TASK (1437, 501), (101, 35) */
TASK fail := true;
/* CIF JOIN (2171, 597), (35, 35) */
/* CIF JOIN (1470, 551), (35, 35) */
JOIN one;
ENDDECISION;
ENDDECISION;
/* CIF STATE (130, 407), (70, 35) */
/* CIF STATE (534, 53), (70, 35) */
STATE wait;
ENDSTATE;
ENDPROCESS og;
\ No newline at end of file
Markdown is supported
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