Commit fde3cf2b authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files

Test Case for Expr := Not Expr

parent e5432245
......@@ -8,6 +8,8 @@ TASTE-Peek-id-list ::= SEQUENCE (SIZE (1..10)) OF TASTE-Peek-id
VariableString ::= OCTET STRING (SIZE (1..10))
FixedString ::= OCTET STRING (SIZE (5))
SeqBool ::= SEQUENCE (SIZE(1..5)) OF BOOLEAN
END
......
......@@ -8,24 +8,36 @@ COMMENT 'Hello';
dcl fixed FixedString := 'Hello';
dcl variable VariableString := 'Hello';
dcl seqboolean SeqBool := { true, false };
/* CIF ENDTEXT */
/* CIF START (428, 223), (100, 45) */
START;
/* CIF TASK (415, 283), (126, 38) */
/* CIF TASK (397, 283), (162, 53) */
TASK for x in seqboolean:
call writeln(x);
endfor;
/* CIF TASK (367, 351), (222, 35) */
TASK seqboolean := not seqboolean;
/* CIF TASK (397, 401), (162, 53) */
TASK for x in seqboolean:
call writeln(x);
endfor;
/* CIF TASK (415, 469), (126, 38) */
TASK fixed := 'hello';
/* CIF TASK (403, 336), (149, 35) */
/* CIF TASK (403, 522), (149, 35) */
TASK variable := 'HELLO';
/* CIF PROCEDURECALL (390, 386), (176, 35) */
/* CIF PROCEDURECALL (390, 572), (176, 35) */
CALL writeln(variable // '!!!');
/* CIF PROCEDURECALL (342, 436), (272, 35) */
/* CIF PROCEDURECALL (342, 622), (272, 35) */
CALL writeln(variable // variable // variable);
/* CIF TASK (432, 486), (91, 35) */
/* CIF TASK (432, 672), (91, 35) */
TASK seq := {1};
/* CIF TASK (401, 536), (153, 35) */
/* CIF TASK (401, 722), (153, 35) */
TASK seq := {1} // {2} // {3};
/* CIF TASK (392, 586), (172, 35) */
/* CIF TASK (392, 772), (172, 35) */
TASK seq := seq // {2} // {1};
/* CIF NEXTSTATE (419, 636), (118, 50) */
/* CIF NEXTSTATE (419, 822), (118, 50) */
NEXTSTATE Wait_for_GUI;
/* CIF STATE (423, 163), (118, 50) */
STATE Wait_for_GUI;
......
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