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

Complete test case

parent ca2b99b7
......@@ -4,7 +4,7 @@ BEGIN
MyChoice ::= CHOICE {
a SEQUENCE {},
b SEQUENCE (SIZE (2)) OF SEQUENCE {},
c SEQUENCE {c BOOLEAN, d SEQUENCE {}}
c SEQUENCE {d BOOLEAN, e SEQUENCE {}}
}
END
......
......@@ -4,22 +4,34 @@ SYSTEM test;
use datamodel comment 'dataview.asn';
signal go(MyChoice);
signal response(MyChoice);
/* CIF ENDTEXT */
CHANNEL c
FROM ENV TO test WITH go;
FROM test TO ENV WITH response;
ENDCHANNEL;
BLOCK test;
SIGNALROUTE r
FROM ENV TO test WITH go;
FROM test TO ENV WITH response;
CONNECT c AND r;
/* CIF PROCESS (202, 142), (150, 75) */
PROCESS test;
/* CIF TEXT (262, 258), (287, 140) */
dcl blah mychoice;
/* CIF ENDTEXT */
/* CIF START (106, 48), (70, 35) */
START;
/* CIF NEXTSTATE (106, 98), (70, 35) */
NEXTSTATE wait;
/* CIF STATE (269, 45), (70, 35) */
/* CIF STATE (106, 98), (70, 35) */
STATE wait;
/* CIF INPUT (96, 153), (89, 35) */
INPUT go(blah);
/* CIF OUTPUT (76, 203), (129, 35) */
OUTPUT response(blah);
/* CIF NEXTSTATE (105, 253), (70, 35) */
NEXTSTATE -;
ENDSTATE;
ENDPROCESS test;
ENDBLOCK;
......
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