Commit 3400443f authored by Andres Toom's avatar Andres Toom Committed by Daniel Tuulik
Browse files

Commit initial parse.out files and test status summary

The out files were generated using a command like:

  find -name "*.pr" -print -exec sh -c "qgen-sdl-parse {} > {}-parse.out" \;

Where qgen-sdl-parse is a helper script that calls the
AntLR 4/Java parser with a command like:

  JAR_DIR=<some dir>
  java -jar ${JAR_DIR}ee.ibk.sdl.parser.jar $@

and also logs status
parent 1300298d
[INFO] Starting to parse model: test-noparam/og.pr
[ERROR] Failed to parse model.
line 3:4 no viable alternative at input '/* CIF TEXT (159, 221), (287, 188) */\n -- Text area for declarations and comments\n\nsignal dd;\n\n /* CIF ENDTEXT */\n CHANNEL c\n FROM ENV TO og WITH dd;\n ENDCHANNEL;\n BLOCK og;\n SIGNALROUTE r\n FROM ENV TO og WITH dd;\n CONNECT c AND r;\n /* CIF PROCESS (225, 49), (150, 75) */\n PROCESS og;\n /* CIF START (155, 216), (70, 35) */\n START;\n /* CIF NEXTSTATE (155, 266), (70, 35) */\n NEXTSTATE wait;\n /* CIF STATE (155, 266), (70, 35) */\n STATE wait;\n /* CIF INPUT (155, 321), (70, 35) */\n INPUT dd;\n /* CIF NEXTSTATE (155, 371), (70, 35) */\n NEXTSTATE -;\n ENDSTATE;\n ENDPROCESS og;\n ENDBLOCK;\n'
[INFO] Starting to parse model: test-operators/system_structure.pr
[INFO] Parsing completed
[INFO] Parse result: 102
[INFO] Starting to parse model: test-optionalfield/og.pr
[ERROR] Failed to parse model.
line 3:4 no viable alternative at input '/* CIF TEXT (159, 221), (289, 188) */\n -- Text area for declarations and comments\n \n use dv comment 'dataview.asn';\n \n signal run;\n \n signal we;\n /* CIF ENDTEXT */\n CHANNEL c\n FROM ENV TO og WITH run;\n FROM og TO ENV WITH we;\n ENDCHANNEL;\n BLOCK og;\n SIGNALROUTE r\n FROM ENV TO og WITH run;\n FROM og TO ENV WITH we;\n CONNECT c AND r;\n /* CIF PROCESS (225, 50), (150, 75) */\n PROCESS og;\n /* CIF TEXT (531, 266), (448, 158) */\n dcl s1 Seq := { a TRUE };\n \n dcl s2 Seq;\n \n -- Sequence containing DEFAULT values\n -- When not initialized by the user, the fields should anyway\n -- be set to their default (call to _Initialize should be done when declared!)\n dcl def SeqDef;\n \n dcl def2 SeqDef := { b 19, c 42 };\n /* CIF ENDTEXT */\n /* CIF START (269, 259), (70, 35) */\n START;\n /* CIF TASK (239, 309), (130, 35) */\n TASK s2 := { a FALSE};\n /* CIF TASK (247, 359), (114, 35) */\n TASK s2.a := TRUE;\n /* CIF TASK (234, 409), (139, 35) */\n TASK s2.b.b_c := TRUE;\n /* CIF TASK (224, 459), (159, 35) */\n TASK s2 :={ b { b_c TRUE }};\n /* CIF PROCEDURECALL (244, 514), (119, 35) */\n CALL writeln (def.b)\n /* CIF COMMENT (383, 514), (201, 35) */\n COMMENT 'Uninitialized, expect garbage';\n /* CIF PROCEDURECALL (244, 569), (120, 35) */\n CALL writeln (def2.b)\n /* CIF COMMENT (384, 569), (145, 35) */\n COMMENT 'Should display 19';\n /* CIF TASK (258, 624), (92, 35) */\n TASK def2.b := 16;\n /* CIF PROCEDURECALL (244, 674), (120, 35) */\n CALL writeln (def2.b)\n /* CIF COMMENT (384, 674), (145, 35) */\n COMMENT 'Should display 16';\n /* CIF NEXTSTATE (269, 724), (70, 35) */\n NEXTSTATE wait;\n /* CIF STATE (269, 724), (70, 35) */\n STATE wait;\n /* CIF INPUT (261, 779), (84, 35) */\n INPUT run;\n /* CIF NEXTSTATE (259, 829), (88, 35) */\n NEXTSTATE wait;\n ENDSTATE;\n ENDPROCESS og;\n ENDBLOCK;\n'
[INFO] Starting to parse model: test-procedure/og.pr
[ERROR] Failed to parse model.
line 3:4 no viable alternative at input '/* CIF TEXT (159, 221), (304, 212) */\n -- Text area for declarations and comments\n\nuse dv comment 'dataview-uniq.asn';\n\n--use dv2 comment 'dataview2.asn';\n\nsignal dd(Type2);\nsignal we(Some_Thing);\n\nprocedure hehe;\nfpar in/out a_param Type2;\nexternal;\n /* CIF ENDTEXT */\n CHANNEL c\n FROM ENV TO og WITH dd;\n FROM og TO ENV WITH we;\n ENDCHANNEL;\n BLOCK og;\n SIGNALROUTE r\n FROM ENV TO og WITH dd;\n FROM og TO ENV WITH we;\n CONNECT c AND r;\n /* CIF PROCESS (227, 28), (150, 73) */\n PROCESS og;\n /* CIF TEXT (57, 58), (304, 195) */\n -- Text area for declarations and comments\n\ndcl haha SeqOf;\n\ndcl hihi type2;\n\ndcl test Some_Thing := 4;\n\nprocedure hehe;\nfpar in toto SeqOf;\nendprocedure;\n /* CIF ENDTEXT */\n /* CIF PROCEDURE (451, 228), (73, 35) */\n PROCEDURE aProc;\n /* CIF TEXT (542, 127), (287, 140) */\n dcl tmp Some_Thing := 1;\n /* CIF ENDTEXT */\n /* CIF START (164, 113), (70, 35) */\n START;\n /* CIF OUTPUT (154, 163), (89, 35) */\n OUTPUT we(test);\n /* CIF OUTPUT (155, 213), (88, 35) */\n OUTPUT we(tmp)\n /* CIF COMMENT (263, 213), (280, 35) */\n COMMENT 'check that local variables can be sent';\n /* CIF RETURN (181, 263), (35, 35) */\n RETURN ;\n ENDPROCEDURE;\n /* CIF PROCEDURE (246, 309), (70, 35) */\n PROCEDURE haha\n /* CIF COMMENT (336, 309), (188, 35) */\n COMMENT 'same name as a variable';\n ENDPROCEDURE;\n /* CIF PROCEDURE (184, 353), (124, 35) */\n PROCEDURE default_seqof\n /* CIF COMMENT (328, 353), (196, 35) */\n COMMENT 'same name as a constant';\n ENDPROCEDURE;\n /* CIF PROCEDURE (209, 404), (78, 35) */\n PROCEDURE enum1\n /* CIF COMMENT (307, 404), (217, 35) */\n COMMENT 'same name as an enum item';\n ENDPROCEDURE;\n /* CIF PROCEDURE (129, 401), (70, 35) */\n PROCEDURE hehe;\n ENDPROCEDURE;\n /* CIF START (371, 216), (70, 35) */\n START;\n /* CIF NEXTSTATE (371, 266), (70, 35) */\n NEXTSTATE wait;\n /* CIF STATE (561, 231), (70, 35) */\n STATE wait;\n /* CIF INPUT (554, 286), (84, 35) */\n INPUT dd(hihi);\n /* CIF PROCEDURECALL (546, 336), (100, 35) */\n CALL hehe(hihi);\n /* CIF OUTPUT (551, 386), (89, 35) */\n OUTPUT we(test);\n /* CIF PROCEDURECALL (561, 436), (70, 35) */\n CALL haha;\n /* CIF PROCEDURECALL (534, 486), (124, 35) */\n CALL default_seqof;\n /* CIF PROCEDURECALL (557, 536), (78, 35) */\n CALL enum1;\n /* CIF NEXTSTATE (561, 586), (70, 35) */\n NEXTSTATE wait;\n ENDSTATE;\n ENDPROCESS og;\n ENDBLOCK;\n'
[INFO] Starting to parse model: test-provided1/og.pr
[ERROR] Failed to parse model.
line 119:42 extraneous input ')' expecting ';'
[INFO] Starting to parse model: test-provided2/og.pr
[ERROR] Failed to parse model.
line 170:53 extraneous input ')' expecting ';'
[INFO] Starting to parse model: test-provided3/og.pr
[ERROR] Failed to parse model.
line 80:36 mismatched input 'NEXTSTATE' expecting PROCEDURE
[INFO] Starting to parse model: test-pus/flight.pr
[INFO] Parsing completed
[INFO] Parse result: null
[INFO] Starting to parse model: test-pus/system_structure.pr
[INFO] Parsing completed
[INFO] Parse result: 102
[INFO] Starting to parse model: test-recursion/og.pr
[ERROR] Failed to parse model.
line 3:4 no viable alternative at input '/* CIF TEXT (313, 221), (287, 188) */\n -- Text area for declarations and comments\n\nuse dv comment 'dataview-uniq.asn';\n\nsignal dd(Tree);\nsignal we;\n /* CIF ENDTEXT */\n CHANNEL c\n FROM ENV TO og WITH dd;\n FROM og TO ENV WITH we;\n ENDCHANNEL;\n BLOCK og;\n SIGNALROUTE r\n FROM ENV TO og WITH dd;\n FROM og TO ENV WITH we;\n CONNECT c AND r;\n /* CIF PROCESS (308, 80), (138, 75) */\n PROCESS og;\n /* CIF TEXT (57, 58), (287, 140) */\n -- Text area for declarations and comments\n\ndcl my_tree Tree;\n\ndcl res path;\n /* CIF ENDTEXT */\n /* CIF PROCEDURE (574, 209), (75, 35) */\n PROCEDURE findpath;\n /* CIF TEXT (107, 140), (329, 53) */\n dcl result, best_path Path := { cost 0, elem {} };\n\ndcl elem Path_elem := {};\n /* CIF ENDTEXT */\n /* CIF TEXT (104, 47), (183, 68) */\n fpar\n in startnode letter,\n in endnode letter;\nreturns Path;\n /* CIF ENDTEXT */\n /* CIF START (626, 64), (70, 35) */\n START;\n /* CIF TASK (584, 119), (153, 23) */\n TASK best_path.cost := 100;\n /* CIF DECISION (585, 162), (151, 50) */\n DECISION startnode = endnode;\n /* CIF ANSWER (431, 232), (70, 23) */\n (true):\n /* CIF TASK (398, 275), (136, 23) */\n TASK best_path.cost :=0;\n /* CIF ANSWER (820, 232), (70, 23) */\n (false):\n /* CIF DECISION (742, 275), (226, 50) */\n DECISION length(my_tree(num(startnode)))\n= 0;\n /* CIF ANSWER (547, 345), (70, 23) */\n (true):\n /* CIF ANSWER (918, 345), (70, 23) */\n (false):\n /* CIF TASK (708, 388), (490, 128) */\n TASK for each in my_tree(num(startnode)):\n result := findpath(each.son, endnode)\n elem := result.elem\n result.cost := result.cost + each.cost\n elem := { each.son } // elem\n result.elem := elem\n best_path := if result.cost < best_path.cost then result else best_path fi\nendfor;\n ENDDECISION;\n ENDDECISION;\n /* CIF RETURN (643, 546), (35, 35) */\n RETURN best_path;\n ENDPROCEDURE;\n /* CIF START (237, 232), (70, 35) */\n START;\n /* CIF TASK (60, 287), (424, 128) */\n TASK my_tree(Letter_a) := {{ cost 3, son b}, {cost 4, son c}},\nmy_tree(Letter_b) := {{cost 2, son d}},\nmy_tree(Letter_c) := {{ cost 1, son d}, {cost 1, son e}, {cost 6, son f}},\nmy_tree(Letter_d) := {{cost 1, son h}},\nmy_tree(Letter_e) := {{cost 7, son h}},\nmy_tree(Letter_f) := {{cost 1, son g}},\nmy_tree(Letter_g) := {},\nmy_tree(Letter_h) := {{cost 5, son g}};\n /* CIF TASK (202, 435), (139, 35) */\n TASK res := findpath(a, g);\n /* CIF PROCEDURECALL (172, 485), (200, 35) */\n CALL writeln('best cost:', res.cost);\n /* CIF PROCEDURECALL (199, 540), (145, 35) */\n CALL write('best path: [ ');\n /* CIF TASK (196, 590), (151, 53) */\n TASK for each in res.elem:\n call write(each, ' ');\nendfor;\n /* CIF PROCEDURECALL (211, 663), (122, 35) */\n CALL writeln(']');\n /* CIF NEXTSTATE (237, 713), (70, 35) */\n NEXTSTATE wait;\n /* CIF STATE (494, 231), (70, 35) */\n STATE wait;\n ENDSTATE;\n ENDPROCESS og;\n ENDBLOCK;\n'
[INFO] Starting to parse model: test-save/og.pr
[ERROR] Failed to parse model.
line 3:4 no viable alternative at input '/* CIF TEXT (159, 221), (289, 188) */\n -- Text area for declarations and comments\n\nuse dv comment 'dataview.asn';\n\nsignal run;\nsignal saved_signal(BoolType);\nsignal we;\n /* CIF ENDTEXT */\n CHANNEL c\n FROM ENV TO og WITH run,\nsaved_signal;\n FROM og TO ENV WITH we;\n ENDCHANNEL;\n BLOCK og;\n SIGNALROUTE r\n FROM ENV TO og WITH run,\nsaved_signal;\n FROM og TO ENV WITH we;\n CONNECT c AND r;\n /* CIF PROCESS (225, 50), (150, 75) */\n PROCESS og;\n /* CIF TEXT (150, 75), (396, 136) */\n -- Demonstrate how to simulate the behaviour of the SAVE\n-- signal. The actual SAVE implies dynamic memory allocation.\n-- But using a controlled-size array and a continuous signal it\n-- is easy to reproduce the same behaviour.\n\ndcl save_buffer SeqOf;\n\ndcl param BoolType;\n /* CIF ENDTEXT */\n /* CIF PROCEDURE (0, 106), (120, 35) */\n PROCEDURE SAVE_PARAM;\n /* CIF TEXT (1, 27), (289, 140) */\n fpar in param BoolType;\n /* CIF ENDTEXT */\n /* CIF START (146, 192), (70, 28) */\n START;\n /* CIF DECISION (100, 238), (161, 50) */\n DECISION length(save_buffer);\n /* CIF ANSWER (58, 308), (60, 34) */\n (<10):\n /* CIF TASK (0, 357), (177, 50) */\n TASK save_buffer :=\nsave_buffer // {param};\n /* CIF ANSWER (262, 308), (53, 34) */\n (10):\n /* CIF PROCEDURECALL (187, 357), (202, 38) */\n CALL writeln('Buffer Overflow!');\n ENDDECISION;\n /* CIF RETURN (163, 422), (35, 35) */\n RETURN ;\n ENDPROCEDURE;\n /* CIF PROCEDURE (5, 163), (113, 35) */\n PROCEDURE GET_PARAM;\n /* CIF TEXT (341, 385), (289, 140) */\n -- Text area for declarations and comments\n\ndcl idx myinteger := 0;\n /* CIF ENDTEXT */\n /* CIF START (153, 81), (70, 35) */\n START;\n /* CIF TASK (94, 131), (188, 35) */\n TASK param := save_buffer(0);\n /* CIF TASK (80, 181), (215, 35) */\n TASK idx := length (save_buffer) - 1;\n /* CIF TASK (46, 231), (282, 56) */\n TASK save_buffer := if length(save_buffer) > 1\nthen save_buffer(1, idx) else {} fi;\n /* CIF RETURN (170, 302), (35, 35) */\n RETURN ;\n ENDPROCEDURE;\n /* CIF START (97, 224), (70, 35) */\n START;\n /* CIF NEXTSTATE (97, 274), (70, 35) */\n NEXTSTATE wait;\n /* CIF STATE (479, 236), (88, 35) */\n STATE Running;\n /* CIF INPUT (588, 291), (70, 35) */\n INPUT Run;\n /* CIF PROCEDURECALL (525, 341), (194, 35) */\n CALL writeln('Already running');\n /* CIF NEXTSTATE (588, 391), (70, 35) */\n NEXTSTATE -;\n /* CIF PROVIDED (324, 291), (181, 35) */\n PROVIDED length(save_buffer) > 0;\n /* CIF PROCEDURECALL (358, 341), (113, 35) */\n CALL GET_PARAM;\n /* CIF PROCEDURECALL (314, 391), (200, 35) */\n CALL writeln('Running: ', param);\n /* CIF NEXTSTATE (370, 441), (88, 35) */\n NEXTSTATE Running;\n ENDSTATE;\n /* CIF STATE (97, 274), (70, 35) */\n STATE wait;\n /* CIF INPUT (7, 329), (84, 35) */\n INPUT run;\n /* CIF NEXTSTATE (5, 379), (88, 35) */\n NEXTSTATE Running;\n /* CIF INPUT (103, 329), (162, 35) */\n INPUT saved_signal(param);\n /* CIF PROCEDURECALL (100, 379), (168, 35) */\n CALL SAVE_PARAM(param);\n /* CIF NEXTSTATE (149, 429), (70, 35) */\n NEXTSTATE wait;\n ENDSTATE;\n ENDPROCESS og;\n ENDBLOCK;\n'
[INFO] Starting to parse model: test-sequenceof/test.pr
[ERROR] Failed to parse model.
line 3:4 no viable alternative at input '/* CIF TEXT (164, 303), (356, 219) */\n -- Text area for declarations and comments\n\nuse datamodel comment 'dataview.asn';\nsignal seqof1(MySeqOf);\nsignal seqof2(MySeqOf2);\nsignal seqof3(MySeqOf3);\nsignal res1(MySeqof);\nsignal res2(MySeqof2);\nsignal res3(MySeqof3);\n /* CIF ENDTEXT */\n CHANNEL c\n FROM ENV TO test WITH seqof1,\nseqof2,\nseqof3;\n FROM test TO ENV WITH res1,\nres2,\nres3;\n ENDCHANNEL;\n BLOCK test;\n SIGNALROUTE r\n FROM ENV TO test WITH seqof1,\nseqof2,\nseqof3;\n FROM test TO ENV WITH res1,\nres2,\nres3;\n CONNECT c AND r;\n /* CIF PROCESS (202, 142), (150, 75) */\n PROCESS test;\n /* CIF TEXT (435, 258), (287, 140) */\n dcl s1 MySeqof,\n s2 MySeqOf2,\n s3 MySeqOf3;\n /* CIF ENDTEXT */\n /* CIF START (198, 56), (70, 35) */\n START;\n /* CIF NEXTSTATE (198, 106), (70, 35) */\n NEXTSTATE wait;\n /* CIF STATE (198, 106), (70, 35) */\n STATE wait;\n /* CIF INPUT (-21, 161), (123, 35) */\n INPUT seqof1(s1);\n /* CIF OUTPUT (-11, 211), (103, 38) */\n OUTPUT res1(s1);\n /* CIF NEXTSTATE (5, 267), (70, 35) */\n NEXTSTATE -;\n /* CIF INPUT (145, 161), (123, 35) */\n INPUT seqof2(s2);\n /* CIF OUTPUT (155, 211), (103, 38) */\n OUTPUT res2(s2);\n /* CIF NEXTSTATE (171, 264), (70, 35) */\n NEXTSTATE wait;\n /* CIF INPUT (311, 161), (123, 35) */\n INPUT seqof3(s3);\n /* CIF OUTPUT (321, 211), (103, 38) */\n OUTPUT res3(s3);\n /* CIF NEXTSTATE (337, 264), (70, 35) */\n NEXTSTATE wait;\n ENDSTATE;\n ENDPROCESS test;\n ENDBLOCK;\n'
[INFO] Starting to parse model: test-sequenceof2/test.pr
[ERROR] Failed to parse model.
line 3:4 no viable alternative at input '/* CIF TEXT (164, 303), (356, 219) */\n -- Text area for declarations and comments\n \n use datamodel comment 'dataview.asn';\n signal seqof1(MySeqOf);\n /* CIF ENDTEXT */\n channel c\n from env to test with seqof1;\n endchannel;\n block test;\n signalroute r\n from env to test with seqof1;\n connect c and r;\n /* CIF PROCESS (202, 142), (150, 75) */\n process test;\n /* CIF TEXT (438, 271), (287, 140) */\n dcl s1, s2 MySeqof;\n dcl boo MyBoolean;\n /* CIF ENDTEXT */\n /* CIF START (198, 56), (70, 35) */\n START;\n /* CIF task (132, 111), (201, 35) */\n task s2 := { true, true, false, true };\n /* CIF PROCEDURECALL (157, 161), (152, 35) */\n call writeln ( length (s1) )\n /* CIF comment (329, 161), (189, 35) */\n comment 'Uninitialized => will return 0';\n /* CIF task (183, 216), (99, 35) */\n task s1 := s2 (1,3)\n /* CIF comment (302, 216), (284, 38) */\n comment 'Minimum size\ns1 (1, 3) := { true, false, true} provokes a bug';\n /* CIF PROCEDURECALL (157, 271), (152, 35) */\n call writeln ( length (s1) );\n /* CIF task (149, 326), (167, 35) */\n task s1 := s1 // { false };\n /* CIF PROCEDURECALL (157, 381), (152, 35) */\n call writeln ( length (s1) );\n /* CIF task (170, 436), (126, 35) */\n task s1 := s1 // {boo};\n /* CIF PROCEDURECALL (157, 491), (152, 35) */\n call writeln ( length (s1) );\n /* CIF NEXTSTATE (198, 541), (70, 35) */\n NEXTSTATE wait;\n /* CIF state (596, 470), (70, 35) */\n state wait;\n endstate;\n endprocess test;\n endblock;\n'
[INFO] Starting to parse model: test-simu/system_structure.pr
[INFO] Parsing completed
[INFO] Parse result: 102
[INFO] Starting to parse model: test-stateexclusion/test.pr
[ERROR] Failed to parse model.
line 3:4 no viable alternative at input '/* CIF TEXT (164, 303), (356, 140) */\n -- Text area for declarations and comments\n\nuse datamodel comment 'dataview.asn';\nsignal go;\nsignal go2;\n\n /* CIF ENDTEXT */\n CHANNEL c\n FROM ENV TO test WITH go,\ngo2;\n ENDCHANNEL;\n BLOCK test;\n SIGNALROUTE r\n FROM ENV TO test WITH go,\ngo2;\n CONNECT c AND r;\n /* CIF PROCESS (202, 142), (150, 75) */\n PROCESS test;\n /* CIF TEXT (342, 419), (450, 140) */\n -- Check that using star in a state with exclusion\n-- works well, indepently from the casing. Same\n-- for input.\n\n\ndcl blah mychoice;\n /* CIF ENDTEXT */\n /* CIF START (106, 48), (70, 35) */\n START;\n /* CIF NEXTSTATE (106, 98), (70, 35) */\n NEXTSTATE wait;\n /* CIF STATE (613, 114), (78, 38) */\n STATE Hello;\n /* CIF INPUT (595, 172), (113, 35) */\n INPUT go2;\n /* CIF NEXTSTATE (617, 222), (70, 35) */\n NEXTSTATE -;\n ENDSTATE;\n /* CIF STATE (106, 98), (70, 35) */\n STATE wait;\n /* CIF INPUT (96, 153), (103, 35) */\n INPUT go;\n /* CIF NEXTSTATE (112, 203), (70, 35) */\n NEXTSTATE -;\n ENDSTATE;\n /* CIF STATE (425, 81), (146, 35) */\n STATE *(wait, hEllo);\n /* CIF INPUT (441, 136), (113, 35) */\n INPUT go2;\n /* CIF NEXTSTATE (463, 186), (70, 35) */\n NEXTSTATE -;\n ENDSTATE;\n /* CIF STATE (254, 82), (145, 35) */\n STATE *(WAIT, Hello);\n /* CIF INPUT (275, 137), (103, 35) */\n INPUT go;\n /* CIF NEXTSTATE (291, 187), (70, 35) */\n NEXTSTATE -;\n ENDSTATE;\n ENDPROCESS test;\n ENDBLOCK;\n'
[INFO] Starting to parse model: test-substrings/system_structure.pr
[INFO] Parsing completed
[INFO] Parse result: 102
[INFO] Starting to parse model: test-ternary/og.pr
[ERROR] Failed to parse model.
line 3:4 no viable alternative at input '/* CIF TEXT (159, 221), (289, 188) */\n -- Text area for declarations and comments\n\nuse dv comment 'dataview.asn';\n\nsignal run;\nsignal saved_signal(BoolType);\nsignal we;\n /* CIF ENDTEXT */\n CHANNEL c\n FROM ENV TO og WITH run,\nsaved_signal;\n FROM og TO ENV WITH we;\n ENDCHANNEL;\n BLOCK og;\n SIGNALROUTE r\n FROM ENV TO og WITH run,\nsaved_signal;\n FROM og TO ENV WITH we;\n CONNECT c AND r;\n /* CIF PROCESS (225, 50), (150, 75) */\n PROCESS og;\n /* CIF TEXT (335, 58), (396, 136) */\n -- Various tests of the ternary operator\n-- (PrimConditional)\ndcl save_buffer SeqOf;\n\ndcl param BoolType;\n /* CIF ENDTEXT */\n /* CIF START (0, 226), (70, 35) */\n START;\n /* CIF NEXTSTATE (0, 276), (70, 35) */\n NEXTSTATE wait;\n /* CIF STATE (291, 227), (70, 35) */\n STATE wait;\n /* CIF INPUT (296, 282), (162, 35) */\n INPUT saved_signal(param);\n /* CIF DECISION (296, 332), (161, 50) */\n DECISION length(save_buffer);\n /* CIF ANSWER (253, 402), (60, 34) */\n (<10):\n /* CIF TASK (194, 451), (177, 50) */\n TASK save_buffer :=\nsave_buffer // {param};\n /* CIF ANSWER (457, 402), (53, 34) */\n (10):\n /* CIF PROCEDURECALL (382, 451), (202, 38) */\n CALL writeln('Buffer Overflow!');\n ENDDECISION;\n /* CIF NEXTSTATE (342, 516), (70, 35) */\n NEXTSTATE wait;\n /* CIF INPUT (91, 282), (84, 35) */\n INPUT run;\n /* CIF NEXTSTATE (79, 332), (107, 35) */\n NEXTSTATE Running;\n ENDSTATE;\n /* CIF STATE (929, 221), (88, 35) */\n STATE Running;\n /* CIF PROVIDED (718, 276), (181, 35) */\n PROVIDED length(save_buffer) > 0;\n /* CIF TASK (714, 326), (188, 35) */\n TASK param := save_buffer(0);\n /* CIF TASK (633, 376), (350, 34) */\n TASK save_buffer := save_buffer(1, length(save_buffer));\n /* CIF TASK (647, 425), (323, 56) */\n TASK save_buffer := if length(save_buffer) > 1\nthen {true} else save_buffer // {false } fi;\n /* CIF TASK (650, 496), (316, 56) */\n TASK save_buffer := if length(save_buffer) > 1\nthen save_buffer(1, length(save_buffer))\nelse {} fi;\n /* CIF PROCEDURECALL (708, 567), (200, 35) */\n CALL writeln('Running: ', param);\n /* CIF NEXTSTATE (764, 617), (88, 35) */\n NEXTSTATE Running;\n /* CIF INPUT (1053, 276), (70, 35) */\n INPUT Run;\n /* CIF PROCEDURECALL (990, 326), (194, 35) */\n CALL writeln('Already running');\n /* CIF NEXTSTATE (1053, 376), (70, 35) */\n NEXTSTATE -;\n ENDSTATE;\n ENDPROCESS og;\n ENDBLOCK;\n'
[INFO] Starting to parse model: test-typecheck/og.pr
[ERROR] Failed to parse model.
line 3:4 no viable alternative at input '/* CIF TEXT (57, 40), (406, 38) */\n -- the type checker must detect all type errors\n-- the code generator must complain that there is no START symbol\n /* CIF ENDTEXT */\n /* CIF TEXT (40, 256), (304, 53) */\n USE DataModel comment 'dataview-uniq.asn';\n\nSIGNAL MyIn(TotoT1);\n /* CIF ENDTEXT */\n CHANNEL c\n FROM ENV TO NpalDsap WITH MyIn;\n ENDCHANNEL;\n BLOCK NpalDsap;\n SIGNALROUTE r\n FROM ENV TO NpalDsap WITH MyIn;\n CONNECT c AND r;\n /* CIF PROCESS (202, 149), (150, 75) */\n PROCESS NpalDsap;\n /* CIF TEXT (0, 0), (380, 156) */\n dcl test1 TotoT1;\n\ndcl test2 TotoT2;\n\ndcl toto TotoT1;\n /* CIF ENDTEXT */\n /* CIF STATE (497, 17), (83, 35) */\n STATE TestState;\n /* CIF PROVIDED (510, 72), (58, 23) */\n PROVIDED TRUE;\n /* CIF TASK (476, 115), (127, 35) */\n TASK test1 := { a toto };\n /* CIF TASK (474, 170), (131, 35) */\n TASK test1 := { a test2 };\n /* CIF NEXTSTATE (504, 225), (70, 35) */\n NEXTSTATE -;\n ENDSTATE;\n ENDPROCESS NpalDsap;\n ENDBLOCK;\n'
[INFO] Starting to parse model: test-types/DataView.pr
[ERROR] Failed to parse model.
line 1:0 mismatched input 'Datamodel' expecting {'/* CIF', PROCESS, SYSTEM, USE}
[INFO] Starting to parse model: test-types/system_structure.pr
[INFO] Parsing completed
[INFO] Parse result: 102
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