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

Update parse.out files and test status summary

parent 3400443f
Parse ./test10/challenge.pr : exit 1
Parse ./test10/system_structure.pr : exit 1
Parse ./test11/og.pr : exit 1
Parse ./test11/system_structure.pr : exit 0
Parse ./test12/system_structure.pr : exit 0
Parse ./test12/trafficlight.pr : exit 1
Parse ./test1/og.pr : exit 1
Parse ./test1/system_structure.pr : exit 0
Parse ./test2/orchestrator.pr : exit 1
Parse ./test2/system_structure.pr : exit 1
Parse ./test3/fce.pr : exit 1
Parse ./test3/system_structure.pr : exit 1
Parse ./test4/orchestrator.pr : exit 1
Parse ./test4/system_structure.pr : exit 1
Parse ./test5/function0.pr : exit 1
Parse ./test5/system_structure.pr : exit 1
Parse ./test6/myfunction.pr : exit 1
Parse ./test6/system_structure.pr : exit 0
Parse ./test7/orchestrator.pr : exit 1
Parse ./test7/system_structure.pr : exit 1
Parse ./test8/orchestrator.pr : exit 1
Parse ./test8/system_structure.pr : exit 1
Parse ./test9/challenge.pr : exit 1
Parse ./test9/system_structure.pr : exit 1
Parse ./test-aggregation1/challenge.pr : exit 1
Parse ./test-aggregation1/system_structure.pr : exit 1
Parse ./test-aggregation2/og.pr : exit 1
Parse ./test-aggregation3/challenge.pr : exit 1
Parse ./test-aggregation3/system_structure.pr : exit 1
Parse ./test-asn1constants/orchestrator.pr : exit 1
Parse ./test-asn1constants/system_structure.pr : exit 0
Parse ./test-battery/og.pr : exit 1
Parse ./test-branchcoverage2/myfunction.pr : exit 1
Parse ./test-branchcoverage2/system_structure.pr : exit 0
Parse ./test-branchcoverage/myfunction.pr : exit 1
Parse ./test-branchcoverage/system_structure.pr : exit 0
Parse ./test-choice/og.pr : exit 1
Parse ./test-controlflow/controlflow.pr : exit 1
Parse ./test-controlflow/system_structure.pr : exit 0
Parse ./test-debug/orchestrator.pr : exit 1
Parse ./test-debug/system_structure.pr : exit 0
Parse ./test-eds1/testsc.pr : exit 1
Parse ./test-eds2/demodevicedsap.pr : exit 1
Parse ./test-emptysequence2/test.pr : exit 1
Parse ./test-emptysequence/og.pr : exit 1
Parse ./test-equal/og.pr : exit 1
Parse ./test-equal/system_structure.pr : exit 0
Parse ./test-exitnested/challenge.pr : exit 0
Parse ./test-exitnested/system_structure.pr : exit 1
Parse ./test-expressions/expressions.pr : exit 1
Parse ./test-expressions/system_structure.pr : exit 0
Parse ./test-forloop/og.pr : exit 1
Parse ./test-ibk2/framemanager.pr : exit 1
Parse ./test-ibk2/system_structure.pr : exit 0
Parse ./test-ibk3/node.pr : exit 1
Parse ./test-ibk3/system_structure.pr : exit 0
Parse ./test-ibk/packetmanager.pr : exit 1
Parse ./test-ibk/system_structure.pr : exit 0
Parse ./test-instance/og.pr : exit 1
Parse ./test-instance/system_structure.pr : exit 0
Parse ./test-iterators/orchestrator.pr : exit 1
Parse ./test-llvm/orchestrator.pr : exit 1
Parse ./test-llvm/system_structure.pr : exit 0
Parse ./test-math/expressions.pr : exit 1
Parse ./test-math/system_structure.pr : exit 0
Parse ./test-nestedpriority/challenge.pr : exit 1
Parse ./test-nestedpriority/system_structure.pr : exit 1
Parse ./test-nocif2/DemoDeviceDSAP_fixed.pr : exit 1
Parse ./test-nocif/orchestrator.pr : exit 1
Parse ./test-nocif/system_structure.pr : exit 0
Parse ./test-noparam/og.pr : exit 1
Parse ./test-operators/operators.pr : exit 1
Parse ./test-operators/system_structure.pr : exit 0
Parse ./test-optionalfield/og.pr : exit 1
Parse ./test-procedure/og.pr : exit 1
Parse ./test-processfpar1/og.pr : exit 1
Parse ./test-processfpar2/og.pr : exit 1
Parse ./test-provided1/og.pr : exit 1
Parse ./test-provided2/og.pr : exit 1
Parse ./test-provided3/og.pr : exit 1
Parse ./test-pus/flight.pr : exit 0
Parse ./test-pus/system_structure.pr : exit 0
Parse ./test-recursion/og.pr : exit 1
Parse ./test-save/og.pr : exit 1
Parse ./test-sequenceof2/test.pr : exit 1
Parse ./test-sequenceof/test.pr : exit 1
Parse ./test-simu/orchestrator.pr : exit 1
Parse ./test-simu/system_structure.pr : exit 0
Parse ./test-standalone/og.pr : exit 1
Parse ./test-stateexclusion/test.pr : exit 1
Parse ./test-strings/og.pr : exit 1
Parse ./test-substrings/myfunction.pr : exit 1
Parse ./test-substrings/system_structure.pr : exit 0
Parse ./test-ternary/og.pr : exit 1
Parse ./test-typecheck/og.pr : exit 1
Parse ./test-types/DataView.pr : exit 1
Parse ./test-types/function1.pr : exit 1
Parse ./test-types/system_structure.pr : exit 0
Parsing model: ./test10/challenge.pr (6394 lines) [FAIL]
Parsing model: ./test10/system_structure.pr (552 lines) [FAIL]
Parsing model: ./test11/og.pr (6096 lines) [FAIL]
Parsing model: ./test11/system_structure.pr (506 lines) [OK]
Parsing model: ./test12/system_structure.pr (857 lines) [OK]
Parsing model: ./test12/trafficlight.pr (11951 lines) [FAIL]
Parsing model: ./test1/og.pr (8574 lines) [FAIL]
Parsing model: ./test1/system_structure.pr (483 lines) [OK]
Parsing model: ./test2/orchestrator.pr (4522 lines) [FAIL]
Parsing model: ./test2/system_structure.pr (1314 lines) [FAIL]
Parsing model: ./test3/fce.pr (18420 lines) [FAIL]
Parsing model: ./test3/system_structure.pr (1438 lines) [FAIL]
Parsing model: ./test4/orchestrator.pr (5724 lines) [FAIL]
Parsing model: ./test4/system_structure.pr (699 lines) [FAIL]
Parsing model: ./test5/function0.pr (986 lines) [FAIL]
Parsing model: ./test5/system_structure.pr (707 lines) [FAIL]
Parsing model: ./test6/myfunction.pr (7829 lines) [FAIL]
Parsing model: ./test6/system_structure.pr (579 lines) [OK]
Parsing model: ./test7/orchestrator.pr (8803 lines) [FAIL]
Parsing model: ./test7/system_structure.pr (1124 lines) [FAIL]
Parsing model: ./test8/orchestrator.pr (1718 lines) [FAIL]
Parsing model: ./test8/system_structure.pr (1124 lines) [FAIL]
Parsing model: ./test9/challenge.pr (1915 lines) [FAIL]
Parsing model: ./test9/system_structure.pr (431 lines) [FAIL]
Parsing model: ./test-aggregation1/challenge.pr (9994 lines) [FAIL]
Parsing model: ./test-aggregation1/system_structure.pr (552 lines) [FAIL]
Parsing model: ./test-aggregation2/og.pr (6637 lines) [FAIL]
Parsing model: ./test-aggregation3/challenge.pr (1537 lines) [FAIL]
Parsing model: ./test-aggregation3/system_structure.pr (552 lines) [FAIL]
Parsing model: ./test-asn1constants/orchestrator.pr (1070 lines) [FAIL]
Parsing model: ./test-asn1constants/system_structure.pr (481 lines) [OK]
Parsing model: ./test-battery/og.pr (3726 lines) [FAIL]
Parsing model: ./test-branchcoverage2/myfunction.pr (4738 lines) [FAIL]
Parsing model: ./test-branchcoverage2/system_structure.pr (579 lines) [OK]
Parsing model: ./test-branchcoverage/myfunction.pr (4752 lines) [FAIL]
Parsing model: ./test-branchcoverage/system_structure.pr (579 lines) [OK]
Parsing model: ./test-choice/og.pr (1837 lines) [FAIL]
Parsing model: ./test-controlflow/controlflow.pr (5101 lines) [FAIL]
Parsing model: ./test-controlflow/system_structure.pr (555 lines) [OK]
Parsing model: ./test-debug/orchestrator.pr (6350 lines) [FAIL]
Parsing model: ./test-debug/system_structure.pr (461 lines) [OK]
Parsing model: ./test-eds1/testsc.pr (1122 lines) [FAIL]
Parsing model: ./test-eds2/demodevicedsap.pr (1676 lines) [FAIL]
Parsing model: ./test-emptysequence2/test.pr (1218 lines) [FAIL]
Parsing model: ./test-emptysequence/og.pr (1912 lines) [FAIL]
Parsing model: ./test-equal/og.pr (8684 lines) [FAIL]
Parsing model: ./test-equal/system_structure.pr (483 lines) [OK]
Parsing model: ./test-exitnested/challenge.pr (3203 lines) [FAIL]
Parsing model: ./test-exitnested/system_structure.pr (555 lines) [FAIL]
Parsing model: ./test-expressions/expressions.pr (10460 lines) [FAIL]
Parsing model: ./test-expressions/system_structure.pr (405 lines) [OK]
Parsing model: ./test-forloop/og.pr (1237 lines) [FAIL]
Parsing model: ./test-ibk2/framemanager.pr (24050 lines) [FAIL]
Parsing model: ./test-ibk2/system_structure.pr (775 lines) [OK]
Parsing model: ./test-ibk3/node.pr (99533 lines) [FAIL]
Parsing model: ./test-ibk3/system_structure.pr (1337 lines) [OK]
Parsing model: ./test-ibk/packetmanager.pr (4992 lines) [FAIL]
Parsing model: ./test-ibk/system_structure.pr (1079 lines) [OK]
Parsing model: ./test-instance/og.pr (8340 lines) [FAIL]
Parsing model: ./test-instance/system_structure.pr (480 lines) [OK]
Parsing model: ./test-iterators/orchestrator.pr (3589 lines) [FAIL]
Parsing model: ./test-llvm/orchestrator.pr (2255 lines) [FAIL]
Parsing model: ./test-llvm/system_structure.pr (445 lines) [OK]
Parsing model: ./test-math/expressions.pr (912 lines) [FAIL]
Parsing model: ./test-math/system_structure.pr (405 lines) [OK]
Parsing model: ./test-nestedpriority/challenge.pr (3623 lines) [FAIL]
Parsing model: ./test-nestedpriority/system_structure.pr (555 lines) [FAIL]
Parsing model: ./test-nocif2/DemoDeviceDSAP_fixed.pr (3212 lines) [FAIL]
Parsing model: ./test-nocif/orchestrator.pr (2961 lines) [FAIL]
Parsing model: ./test-nocif/system_structure.pr (461 lines) [OK]
Parsing model: ./test-noparam/og.pr (833 lines) [FAIL]
Parsing model: ./test-operators/operators.pr (2562 lines) [FAIL]
Parsing model: ./test-operators/system_structure.pr (395 lines) [OK]
Parsing model: ./test-optionalfield/og.pr (2517 lines) [FAIL]
Parsing model: ./test-procedure/og.pr (3262 lines) [FAIL]
Parsing model: ./test-processfpar1/og.pr (3153 lines) [FAIL]
Parsing model: ./test-processfpar2/og.pr (1551 lines) [FAIL]
Parsing model: ./test-provided1/og.pr (5580 lines) [FAIL]
Parsing model: ./test-provided2/og.pr (8631 lines) [FAIL]
Parsing model: ./test-provided3/og.pr (5077 lines) [FAIL]
Parsing model: ./test-pus/flight.pr (961 lines) [FAIL]
Parsing model: ./test-pus/system_structure.pr (584 lines) [OK]
Parsing model: ./test-recursion/og.pr (3926 lines) [FAIL]
Parsing model: ./test-save/og.pr (4349 lines) [FAIL]
Parsing model: ./test-sequenceof2/test.pr (1964 lines) [FAIL]
Parsing model: ./test-sequenceof/test.pr (1966 lines) [FAIL]
Parsing model: ./test-simu/orchestrator.pr (5166 lines) [FAIL]
Parsing model: ./test-simu/system_structure.pr (847 lines) [OK]
Parsing model: ./test-standalone/og.pr (3104 lines) [FAIL]
Parsing model: ./test-stateexclusion/test.pr (1959 lines) [FAIL]
Parsing model: ./test-strings/og.pr (2050 lines) [FAIL]
Parsing model: ./test-substrings/myfunction.pr (7209 lines) [FAIL]
Parsing model: ./test-substrings/system_structure.pr (579 lines) [OK]
Parsing model: ./test-ternary/og.pr (3340 lines) [FAIL]
Parsing model: ./test-typecheck/og.pr (1264 lines) [FAIL]
Parsing model: ./test-types/DataView.pr (1008 lines) [FAIL]
Parsing model: ./test-types/function1.pr (1317 lines) [FAIL]
Parsing model: ./test-types/system_structure.pr (374 lines) [OK]
[INFO] Starting to parse model: test-aggregation1/challenge.pr
[INFO] Starting to parse model test-aggregation1/challenge.pr
[ERROR] Failed to parse model.
line 5:8 no viable alternative at input 'in'
org.antlr.v4.runtime.misc.ParseCancellationException: line 5:8 mismatched input 'in' expecting STATE
[INFO] Starting to parse model: test-aggregation1/system_structure.pr
[INFO] Starting to parse model test-aggregation1/system_structure.pr
[ERROR] Failed to parse model.
line 5:34 mismatched input ';' expecting '*/'
org.antlr.v4.runtime.misc.ParseCancellationException: line 5:34 mismatched input ';' expecting '*/'
[INFO] Starting to parse model: test-aggregation2/og.pr
[INFO] Starting to parse model test-aggregation2/og.pr
[ERROR] Failed to parse model.
line 140:61 extraneous input ')' expecting ';'
org.antlr.v4.runtime.misc.ParseCancellationException: line 140:61 extraneous input ')' expecting ';'
[INFO] Starting to parse model: test-aggregation3/challenge.pr
[INFO] Starting to parse model test-aggregation3/challenge.pr
[ERROR] Failed to parse model.
line 14:20 no viable alternative at input '/* CIF'
org.antlr.v4.runtime.misc.ParseCancellationException: line 14:20 mismatched input '/* CIF' expecting STATE
[INFO] Starting to parse model: test-aggregation3/system_structure.pr
[INFO] Starting to parse model test-aggregation3/system_structure.pr
[ERROR] Failed to parse model.
line 5:34 mismatched input ';' expecting '*/'
org.antlr.v4.runtime.misc.ParseCancellationException: line 5:34 mismatched input ';' expecting '*/'
[INFO] Starting to parse model: test-asn1constants/orchestrator.pr
[INFO] Starting to parse model test-asn1constants/orchestrator.pr
[ERROR] Failed to parse model.
line 6:4 mismatched input '-- Text area for declarations and comments\n\ndcl toto NamedInt := one;\n\ndcl tutu Enum_with_dash := first_one;\n\ndcl titi NamedInt_with_dash := second_value;\n /* CIF ENDTEXT */\n /* CIF START (530, 150), (80, 36) */\n START;\n /* CIF NEXTSTATE (512, 201), (116, 33) */\n NEXTSTATE Wait_for_GUI;\n /* CIF STATE (1063, 119), (116, 33) */\n STATE Wait_for_GUI;\n ENDSTATE;\n /* CIF STATE (512, 201), (116, 33) */\n STATE Wait_for_GUI;\n /* CIF INPUT (529, 254), (82, 35) */\n INPUT pulse(titi);\n /* CIF PROCEDURECALL (522, 309), (96, 35) */\n CALL writeln(titi);\n /* CIF OUTPUT (508, 359), (123, 35) */\n OUTPUT telemetry(tutu);\n /* CIF TASK (501, 414), (138, 35) */\n TASK tutu := second_one;\n /* CIF NEXTSTATE (535, 464), (70, 35) */\n NEXTSTATE -;\n ENDSTATE;\n' expecting PROCESS
org.antlr.v4.runtime.misc.ParseCancellationException: line 6:4 mismatched input '-- Text area for declarations and comments\n\ndcl toto NamedInt := one;\n\ndcl tutu Enum_with_dash := first_one;\n\ndcl titi NamedInt_with_dash := second_value;\n /* CIF ENDTEXT */\n /* CIF START (530, 150), (80, 36) */\n START;\n /* CIF NEXTSTATE (512, 201), (116, 33) */\n NEXTSTATE Wait_for_GUI;\n /* CIF STATE (1063, 119), (116, 33) */\n STATE Wait_for_GUI;\n ENDSTATE;\n /* CIF STATE (512, 201), (116, 33) */\n STATE Wait_for_GUI;\n /* CIF INPUT (529, 254), (82, 35) */\n INPUT pulse(titi);\n /* CIF PROCEDURECALL (522, 309), (96, 35) */\n CALL writeln(titi);\n /* CIF OUTPUT (508, 359), (123, 35) */\n OUTPUT telemetry(tutu);\n /* CIF TASK (501, 414), (138, 35) */\n TASK tutu := second_one;\n /* CIF NEXTSTATE (535, 464), (70, 35) */\n NEXTSTATE -;\n ENDSTATE;\n' expecting PROCESS
[INFO] Starting to parse model: test-asn1constants/system_structure.pr
[INFO] Starting to parse model test-asn1constants/system_structure.pr
System: Entity not processed: ee.ibk.sdl.parser.grammar.SDLParser$Entity_in_systemContext
System: Entity not processed: ee.ibk.sdl.parser.grammar.SDLParser$Entity_in_systemContext
[TODO] System: Should process signal pulse
[TODO] System: Should process signal telemetry
[INFO] Parsing completed
[INFO] Parse result: 102
[INFO] Output written to test-asn1constants/system_structure.xmi
[INFO] Starting to parse model: test-battery/og.pr
[INFO] Starting to parse model test-battery/og.pr
[ERROR] Failed to parse model.
line 3:4 no viable alternative at input '/* CIF TEXT (159, 221), (356, 248) */\n -- Text area for declarations and comments\n\nuse dv comment 'dataview-uniq.asn';\n\n--use dv2 comment 'dataview2.asn';\n\nsignal dd(MyInteger);\nsignal we(Some_Thing);\n\nprocedure hehe;\nfpar in/out a_param Type2;\nexternal;\n /* CIF ENDTEXT */\n CHANNEL c\n FROM ENV TO car WITH dd;\n FROM car TO ENV WITH we;\n ENDCHANNEL;\n BLOCK car;\n SIGNALROUTE r\n FROM ENV TO car WITH dd;\n FROM car TO ENV WITH we;\n CONNECT c AND r;\n /* CIF PROCESS (225, 49), (150, 75) */\n PROCESS car;\n STATE nominal;\n SUBSTRUCTURE\n out (battery_discharged);\n STATE battery;\n SUBSTRUCTURE\n out (battery_discharged);\n /* CIF TEXT (23, 47), (356, 39) */\n dcl charge myinteger := 100;\n /* CIF ENDTEXT */\n /* CIF START (174, 147), (70, 35) */\n START;\n /* CIF NEXTSTATE (152, 197), (114, 35) */\n NEXTSTATE discharge;\n /* CIF STATE (152, 197), (114, 35) */\n STATE discharge;\n /* CIF INPUT (215, 252), (108, 35) */\n INPUT dd(charge);\n /* CIF TASK (157, 302), (223, 35) */\n TASK charge := (charge + 1) mod 255;\n /* CIF NEXTSTATE (234, 352), (70, 35) */\n NEXTSTATE -;\n /* CIF PROVIDED (-13, 252), (121, 35) */\n PROVIDED charge = 0;\n /* CIF TASK (-4, 302), (104, 35) */\n TASK charge := 5;\n /* CIF RETURN (30, 352), (35, 35) */\n RETURN battery_discharged;\n /* CIF PROVIDED (390, 252), (101, 35) */\n PROVIDED charge > 5;\n /* CIF TASK (389, 302), (104, 35) */\n TASK charge := 0;\n /* CIF NEXTSTATE (406, 352), (70, 35) */\n NEXTSTATE -;\n ENDSTATE;\n ENDSUBSTRUCTURE;\n /* CIF START (315, 314), (70, 35) */\n START;\n /* CIF NEXTSTATE (307, 364), (85, 35) */\n NEXTSTATE battery;\n /* CIF STATE (564, 510), (98, 35) */\n STATE battery;\n /* CIF CONNECT (613, 565), (0, 35) */\n CONNECT battery_discharged;\n /* CIF RETURN (595, 615), (35, 35) */\n RETURN battery_discharged;\n ENDSTATE;\n ENDSUBSTRUCTURE;\n /* CIF START (155, 216), (70, 35) */\n START;\n /* CIF NEXTSTATE (140, 266), (100, 35) */\n NEXTSTATE nominal;\n /* CIF STATE (422, 480), (100, 35) */\n STATE nominal;\n /* CIF CONNECT (472, 535), (0, 35) */\n CONNECT battery_discharged;\n /* CIF NEXTSTATE (424, 585), (95, 35) */\n NEXTSTATE backup;\n ENDSTATE;\n /* CIF STATE (614, 272), (95, 35) */\n STATE backup;\n ENDSTATE;\n ENDPROCESS car;\n ENDBLOCK;\n'
org.antlr.v4.runtime.misc.ParseCancellationException: line 3:4 no viable alternative at input '/* CIF TEXT (159, 221), (356, 248) */\n -- Text area for declarations and comments\n\nuse dv comment 'dataview-uniq.asn';\n\n--use dv2 comment 'dataview2.asn';\n\nsignal dd(MyInteger);\nsignal we(Some_Thing);\n\nprocedure hehe;\nfpar in/out a_param Type2;\nexternal;\n /* CIF ENDTEXT */\n CHANNEL c\n FROM ENV TO car WITH dd;\n FROM car TO ENV WITH we;\n ENDCHANNEL;\n BLOCK car;\n SIGNALROUTE r\n FROM ENV TO car WITH dd;\n FROM car TO ENV WITH we;\n CONNECT c AND r;\n /* CIF PROCESS (225, 49), (150, 75) */\n PROCESS car;\n STATE nominal;\n SUBSTRUCTURE\n out (battery_discharged);\n STATE battery;\n SUBSTRUCTURE\n out (battery_discharged);\n /* CIF TEXT (23, 47), (356, 39) */\n dcl charge myinteger := 100;\n /* CIF ENDTEXT */\n /* CIF START (174, 147), (70, 35) */\n START;\n /* CIF NEXTSTATE (152, 197), (114, 35) */\n NEXTSTATE discharge;\n /* CIF STATE (152, 197), (114, 35) */\n STATE discharge;\n /* CIF INPUT (215, 252), (108, 35) */\n INPUT dd(charge);\n /* CIF TASK (157, 302), (223, 35) */\n TASK charge := (charge + 1) mod 255;\n /* CIF NEXTSTATE (234, 352), (70, 35) */\n NEXTSTATE -;\n /* CIF PROVIDED (-13, 252), (121, 35) */\n PROVIDED charge = 0;\n /* CIF TASK (-4, 302), (104, 35) */\n TASK charge := 5;\n /* CIF RETURN (30, 352), (35, 35) */\n RETURN battery_discharged;\n /* CIF PROVIDED (390, 252), (101, 35) */\n PROVIDED charge > 5;\n /* CIF TASK (389, 302), (104, 35) */\n TASK charge := 0;\n /* CIF NEXTSTATE (406, 352), (70, 35) */\n NEXTSTATE -;\n ENDSTATE;\n ENDSUBSTRUCTURE;\n /* CIF START (315, 314), (70, 35) */\n START;\n /* CIF NEXTSTATE (307, 364), (85, 35) */\n NEXTSTATE battery;\n /* CIF STATE (564, 510), (98, 35) */\n STATE battery;\n /* CIF CONNECT (613, 565), (0, 35) */\n CONNECT battery_discharged;\n /* CIF RETURN (595, 615), (35, 35) */\n RETURN battery_discharged;\n ENDSTATE;\n ENDSUBSTRUCTURE;\n /* CIF START (155, 216), (70, 35) */\n START;\n /* CIF NEXTSTATE (140, 266), (100, 35) */\n NEXTSTATE nominal;\n /* CIF STATE (422, 480), (100, 35) */\n STATE nominal;\n /* CIF CONNECT (472, 535), (0, 35) */\n CONNECT battery_discharged;\n /* CIF NEXTSTATE (424, 585), (95, 35) */\n NEXTSTATE backup;\n ENDSTATE;\n /* CIF STATE (614, 272), (95, 35) */\n STATE backup;\n ENDSTATE;\n ENDPROCESS car;\n ENDBLOCK;\n'
[INFO] Starting to parse model: test-branchcoverage/myfunction.pr
[INFO] Starting to parse model test-branchcoverage/myfunction.pr
[ERROR] Failed to parse model.
line 4:4 mismatched input '-- Test the branch coverage checker in decision answers\n /* CIF ENDTEXT */\n /* CIF TEXT (78, 142), (282, 268) */\n dcl var1 t_Int32 := 0;\n\ndcl var2 t_uint8 := 0;\n\ndcl var3 t_uInt8 := 0;\n\ndcl var4 mychoice := a: false;\n\ndcl var5 myenum := hello;\n\ndcl VAR5 mychoice;\n\ndcl var6 T_Real := 5.0;\n /* CIF ENDTEXT */\n /* CIF START (525, 71), (70, 35) */\n START;\n /* CIF DECISION (523, 121), (73, 50) */\n DECISION var1\n /* CIF COMMENT (615, 128), (234, 35) */\n COMMENT 'Check range overlapping';\n /* CIF ANSWER (366, 191), (108, 28) */\n (-500:500):\n /* CIF ANSWER (480, 191), (70, 28) */\n (=0):\n /* CIF ANSWER (570, 191), (70, 28) */\n (/=1):\n /* CIF ANSWER (660, 191), (70, 28) */\n (>0):\n ENDDECISION;\n /* CIF DECISION (523, 234), (73, 50) */\n DECISION var2\n /* CIF COMMENT (615, 235), (300, 35) */\n COMMENT 'Check unreachable branch check';\n /* CIF ANSWER (385, 304), (58, 33) */\n (<0):\n /* CIF ANSWER (467, 304), (78, 33) */\n (>300):\n /* CIF ANSWER (557, 304), (84, 33) */\n (-10:-5):\n /* CIF ANSWER (638, 304), (102, 28) */\n (256:300):\n ENDDECISION;\n /* CIF DECISION (523, 352), (73, 50) */\n DECISION var3;\n /* CIF ANSWER (466, 422), (82, 28) */\n (10:20):\n /* CIF ANSWER (570, 422), (75, 28) */\n (/=50):\n ENDDECISION;\n /* CIF DECISION (486, 465), (148, 50) */\n DECISION present(var4)\n /* CIF COMMENT (643, 460), (324, 35) */\n COMMENT 'Check coverage of CHOICE answers';\n /* CIF ANSWER (527, 535), (66, 34) */\n (a):\n ENDDECISION;\n /* CIF DECISION (523, 584), (74, 50) */\n DECISION var5\n /* CIF COMMENT (611, 570), (302, 50) */\n COMMENT 'Check duplicates and \ncoverage of ENUMERATED values';\n /* CIF ANSWER (390, 654), (76, 28) */\n (hello):\n /* CIF ANSWER (466, 654), (82, 28) */\n (world):\n /* CIF ANSWER (558, 654), (82, 28) */\n (world):\n /* CIF ANSWER (661, 654), (76, 28) */\n (hello):\n ENDDECISION;\n /* CIF DECISION (523, 697), (73, 50) */\n DECISION var5\n /* CIF COMMENT (615, 687), (280, 35) */\n COMMENT 'should be no error due to ELSE';\n /* CIF ANSWER (408, 767), (126, 28) */\n (howareyou):\n /* CIF ANSWER (608, 767), (71, 28) */\n else:\n ENDDECISION;\n /* CIF DECISION (523, 810), (73, 50) */\n DECISION var6\n /* CIF COMMENT (616, 817), (217, 35) */\n COMMENT 'check there is no error';\n /* CIF ANSWER (590, 880), (82, 28) */\n (<10.0):\n /* CIF ANSWER (440, 880), (92, 28) */\n (>=10.0):\n ENDDECISION;\n /* CIF TASK (483, 923), (153, 35) */\n TASK var4!uia:= true\n /* CIF COMMENT (839, 915), (199, 48) */\n COMMENT 'incorrect syntax and\nnon-existent field';\n /* CIF TASK (488, 973), (144, 35) */\n TASK var4!a := true\n /* CIF COMMENT (640, 947), (166, 40) */\n COMMENT 'incorrect syntax';\n /* CIF TASK (449, 1023), (222, 35) */\n TASK var5 := howareyou:true;\n /* CIF TASK (497, 1073), (126, 35) */\n TASK tutu!i!y := 5;\n /* CIF NEXTSTATE (525, 1123), (70, 35) */\n NEXTSTATE wait;\n /* CIF STATE (1125, 294), (112, 35) */\n STATE wait, toto;\n /* CIF INPUT (1089, 349), (218, 35) */\n INPUT start_something (var2);\n /* CIF NEXTSTATE (1163, 399), (70, 35) */\n NEXTSTATE -;\n ENDSTATE;\n /* CIF STATE (958, 325), (70, 35) */\n STATE *;\n /* CIF INPUT (901, 380), (214, 35) */\n INPUT start_something(var2);\n /* CIF NEXTSTATE (973, 430), (70, 35) */\n NEXTSTATE wait;\n ENDSTATE;\n /* CIF STATE (1215, 52), (70, 35) */\n STATE wait;\n /* CIF INPUT (1162, 107), (167, 48) */\n INPUT start_something\n(var2);\n /* CIF NEXTSTATE (1210, 170), (70, 35) */\n NEXTSTATE -;\n ENDSTATE;\n /* CIF STATE (1320, 193), (90, 35) */\n STATE *(wait);\n /* CIF INPUT (1273, 248), (214, 35) */\n INPUT start_something(var2);\n /* CIF NEXTSTATE (1345, 298), (70, 35) */\n NEXTSTATE -;\n ENDSTATE;\n' expecting PROCESS
org.antlr.v4.runtime.misc.ParseCancellationException: line 4:4 mismatched input '-- Test the branch coverage checker in decision answers\n /* CIF ENDTEXT */\n /* CIF TEXT (78, 142), (282, 268) */\n dcl var1 t_Int32 := 0;\n\ndcl var2 t_uint8 := 0;\n\ndcl var3 t_uInt8 := 0;\n\ndcl var4 mychoice := a: false;\n\ndcl var5 myenum := hello;\n\ndcl VAR5 mychoice;\n\ndcl var6 T_Real := 5.0;\n /* CIF ENDTEXT */\n /* CIF START (525, 71), (70, 35) */\n START;\n /* CIF DECISION (523, 121), (73, 50) */\n DECISION var1\n /* CIF COMMENT (615, 128), (234, 35) */\n COMMENT 'Check range overlapping';\n /* CIF ANSWER (366, 191), (108, 28) */\n (-500:500):\n /* CIF ANSWER (480, 191), (70, 28) */\n (=0):\n /* CIF ANSWER (570, 191), (70, 28) */\n (/=1):\n /* CIF ANSWER (660, 191), (70, 28) */\n (>0):\n ENDDECISION;\n /* CIF DECISION (523, 234), (73, 50) */\n DECISION var2\n /* CIF COMMENT (615, 235), (300, 35) */\n COMMENT 'Check unreachable branch check';\n /* CIF ANSWER (385, 304), (58, 33) */\n (<0):\n /* CIF ANSWER (467, 304), (78, 33) */\n (>300):\n /* CIF ANSWER (557, 304), (84, 33) */\n (-10:-5):\n /* CIF ANSWER (638, 304), (102, 28) */\n (256:300):\n ENDDECISION;\n /* CIF DECISION (523, 352), (73, 50) */\n DECISION var3;\n /* CIF ANSWER (466, 422), (82, 28) */\n (10:20):\n /* CIF ANSWER (570, 422), (75, 28) */\n (/=50):\n ENDDECISION;\n /* CIF DECISION (486, 465), (148, 50) */\n DECISION present(var4)\n /* CIF COMMENT (643, 460), (324, 35) */\n COMMENT 'Check coverage of CHOICE answers';\n /* CIF ANSWER (527, 535), (66, 34) */\n (a):\n ENDDECISION;\n /* CIF DECISION (523, 584), (74, 50) */\n DECISION var5\n /* CIF COMMENT (611, 570), (302, 50) */\n COMMENT 'Check duplicates and \ncoverage of ENUMERATED values';\n /* CIF ANSWER (390, 654), (76, 28) */\n (hello):\n /* CIF ANSWER (466, 654), (82, 28) */\n (world):\n /* CIF ANSWER (558, 654), (82, 28) */\n (world):\n /* CIF ANSWER (661, 654), (76, 28) */\n (hello):\n ENDDECISION;\n /* CIF DECISION (523, 697), (73, 50) */\n DECISION var5\n /* CIF COMMENT (615, 687), (280, 35) */\n COMMENT 'should be no error due to ELSE';\n /* CIF ANSWER (408, 767), (126, 28) */\n (howareyou):\n /* CIF ANSWER (608, 767), (71, 28) */\n else:\n ENDDECISION;\n /* CIF DECISION (523, 810), (73, 50) */\n DECISION var6\n /* CIF COMMENT (616, 817), (217, 35) */\n COMMENT 'check there is no error';\n /* CIF ANSWER (590, 880), (82, 28) */\n (<10.0):\n /* CIF ANSWER (440, 880), (92, 28) */\n (>=10.0):\n ENDDECISION;\n /* CIF TASK (483, 923), (153, 35) */\n TASK var4!uia:= true\n /* CIF COMMENT (839, 915), (199, 48) */\n COMMENT 'incorrect syntax and\nnon-existent field';\n /* CIF TASK (488, 973), (144, 35) */\n TASK var4!a := true\n /* CIF COMMENT (640, 947), (166, 40) */\n COMMENT 'incorrect syntax';\n /* CIF TASK (449, 1023), (222, 35) */\n TASK var5 := howareyou:true;\n /* CIF TASK (497, 1073), (126, 35) */\n TASK tutu!i!y := 5;\n /* CIF NEXTSTATE (525, 1123), (70, 35) */\n NEXTSTATE wait;\n /* CIF STATE (1125, 294), (112, 35) */\n STATE wait, toto;\n /* CIF INPUT (1089, 349), (218, 35) */\n INPUT start_something (var2);\n /* CIF NEXTSTATE (1163, 399), (70, 35) */\n NEXTSTATE -;\n ENDSTATE;\n /* CIF STATE (958, 325), (70, 35) */\n STATE *;\n /* CIF INPUT (901, 380), (214, 35) */\n INPUT start_something(var2);\n /* CIF NEXTSTATE (973, 430), (70, 35) */\n NEXTSTATE wait;\n ENDSTATE;\n /* CIF STATE (1215, 52), (70, 35) */\n STATE wait;\n /* CIF INPUT (1162, 107), (167, 48) */\n INPUT start_something\n(var2);\n /* CIF NEXTSTATE (1210, 170), (70, 35) */\n NEXTSTATE -;\n ENDSTATE;\n /* CIF STATE (1320, 193), (90, 35) */\n STATE *(wait);\n /* CIF INPUT (1273, 248), (214, 35) */\n INPUT start_something(var2);\n /* CIF NEXTSTATE (1345, 298), (70, 35) */\n NEXTSTATE -;\n ENDSTATE;\n' expecting PROCESS
[INFO] Starting to parse model: test-branchcoverage/system_structure.pr
[INFO] Starting to parse model test-branchcoverage/system_structure.pr
System: Entity not processed: ee.ibk.sdl.parser.grammar.SDLParser$Entity_in_systemContext
System: Entity not processed: ee.ibk.sdl.parser.grammar.SDLParser$Entity_in_systemContext
[TODO] System: Should process signal start_something
[TODO] System: Should process signal result_data
[INFO] Parsing completed
[INFO] Parse result: 102
[INFO] Output written to test-branchcoverage/system_structure.xmi
[INFO] Starting to parse model: test-branchcoverage2/myfunction.pr
[INFO] Starting to parse model test-branchcoverage2/myfunction.pr
[ERROR] Failed to parse model.
line 4:4 mismatched input '-- Test the branch coverage checker in decision answers\n /* CIF ENDTEXT */\n /* CIF TEXT (78, 142), (282, 268) */\n dcl var6 T_Real := 5.0;\n\ndcl varbool T_Boolean := false;\n /* CIF ENDTEXT */\n /* CIF START (525, 71), (70, 35) */\n START;\n /* CIF DECISION (511, 121), (98, 50) */\n DECISION varbool\n /* CIF COMMENT (629, 128), (262, 35) */\n COMMENT 'check branch false is missing';\n /* CIF ANSWER (484, 198), (73, 28) */\n (true):\n ENDDECISION;\n /* CIF DECISION (511, 241), (98, 50) */\n DECISION varbool\n /* CIF COMMENT (629, 248), (262, 35) */\n COMMENT 'check there is no error';\n /* CIF ANSWER (439, 318), (73, 28) */\n (true):\n /* CIF ANSWER (531, 311), (71, 28) */\n else:\n ENDDECISION;\n /* CIF DECISION (511, 375), (98, 50) */\n DECISION varbool\n /* CIF COMMENT (629, 382), (262, 35) */\n COMMENT 'check there is no error';\n /* CIF ANSWER (439, 452), (73, 28) */\n (true):\n /* CIF ANSWER (527, 445), (78, 28) */\n (false):\n ENDDECISION;\n /* CIF DECISION (511, 509), (98, 50) */\n DECISION varbool\n /* CIF COMMENT (629, 516), (322, 48) */\n COMMENT 'check else is missing\nand mix of true and varbool is not ok';\n /* CIF ANSWER (412, 579), (73, 28) */\n (true):\n /* CIF ANSWER (495, 579), (98, 28) */\n (varbool):\n ENDDECISION;\n /* CIF DECISION (511, 622), (98, 50) */\n DECISION varbool\n /* CIF COMMENT (629, 629), (322, 48) */\n COMMENT 'check else is missing\nand mix of true and varbool is not ok';\n /* CIF ANSWER (367, 692), (73, 28) */\n (true):\n /* CIF ANSWER (450, 692), (98, 28) */\n (varbool):\n /* CIF ANSWER (567, 692), (71, 28) */\n else:\n ENDDECISION;\n /* CIF DECISION (523, 735), (73, 50) */\n DECISION var6\n /* CIF COMMENT (616, 742), (217, 35) */\n COMMENT 'check there is no error';\n /* CIF ANSWER (590, 805), (82, 28) */\n (<10.0):\n /* CIF ANSWER (440, 805), (92, 28) */\n (>=10.0):\n ENDDECISION;\n /* CIF DECISION (523, 848), (73, 50) */\n DECISION var6\n /* CIF COMMENT (616, 855), (279, 35) */\n COMMENT 'check there is value 10 missing';\n /* CIF ANSWER (590, 918), (82, 28) */\n (<10.0):\n /* CIF ANSWER (440, 918), (92, 28) */\n (>10.0):\n ENDDECISION;\n /* CIF DECISION (523, 961), (73, 50) */\n DECISION var6\n /* CIF COMMENT (616, 968), (314, 35) */\n COMMENT 'check there is value 10 overlapping';\n /* CIF ANSWER (585, 1031), (92, 28) */\n (<=10.0):\n /* CIF ANSWER (440, 1031), (92, 28) */\n (>=10.0):\n ENDDECISION;\n /* CIF DECISION (523, 1074), (73, 50) */\n DECISION var6\n /* CIF COMMENT (616, 1081), (314, 35) */\n COMMENT 'check missing range ]10.0;10.5[';\n /* CIF ANSWER (585, 1144), (92, 28) */\n (<=10.0):\n /* CIF ANSWER (440, 1144), (92, 28) */\n (>=10.5):\n ENDDECISION;\n /* CIF DECISION (523, 1187), (73, 50) */\n DECISION var6\n /* CIF COMMENT (616, 1194), (324, 35) */\n COMMENT 'check there is no error (close range)';\n /* CIF ANSWER (496, 1257), (116, 28) */\n (-5.0:100.0):\n ENDDECISION;\n /* CIF DECISION (523, 1300), (73, 50) */\n DECISION var6\n /* CIF COMMENT (616, 1307), (390, 48) */\n COMMENT 'check unreachable branch and missing range';\n /* CIF ANSWER (585, 1370), (92, 28) */\n (>10.0):\n /* CIF ANSWER (427, 1370), (118, 28) */\n (-10.0:-5.0):\n ENDDECISION;\n /* CIF DECISION (523, 1413), (73, 50) */\n DECISION var6\n /* CIF COMMENT (615, 1421), (432, 48) */\n COMMENT 'check missing range 0:0.1 and unrechable 100:150';\n /* CIF ANSWER (576, 1483), (110, 28) */\n (0.1:150.0):\n /* CIF ANSWER (427, 1483), (118, 28) */\n (-5.0:0.0):\n ENDDECISION;\n /* CIF NEXTSTATE (525, 1526), (70, 35) */\n NEXTSTATE wait;\n /* CIF STATE (360, 356), (70, 35) */\n STATE wait;\n ENDSTATE;\n' expecting PROCESS
org.antlr.v4.runtime.misc.ParseCancellationException: line 4:4 mismatched input '-- Test the branch coverage checker in decision answers\n /* CIF ENDTEXT */\n /* CIF TEXT (78, 142), (282, 268) */\n dcl var6 T_Real := 5.0;\n\ndcl varbool T_Boolean := false;\n /* CIF ENDTEXT */\n /* CIF START (525, 71), (70, 35) */\n START;\n /* CIF DECISION (511, 121), (98, 50) */\n DECISION varbool\n /* CIF COMMENT (629, 128), (262, 35) */\n COMMENT 'check branch false is missing';\n /* CIF ANSWER (484, 198), (73, 28) */\n (true):\n ENDDECISION;\n /* CIF DECISION (511, 241), (98, 50) */\n DECISION varbool\n /* CIF COMMENT (629, 248), (262, 35) */\n COMMENT 'check there is no error';\n /* CIF ANSWER (439, 318), (73, 28) */\n (true):\n /* CIF ANSWER (531, 311), (71, 28) */\n else:\n ENDDECISION;\n /* CIF DECISION (511, 375), (98, 50) */\n DECISION varbool\n /* CIF COMMENT (629, 382), (262, 35) */\n COMMENT 'check there is no error';\n /* CIF ANSWER (439, 452), (73, 28) */\n (true):\n /* CIF ANSWER (527, 445), (78, 28) */\n (false):\n ENDDECISION;\n /* CIF DECISION (511, 509), (98, 50) */\n DECISION varbool\n /* CIF COMMENT (629, 516), (322, 48) */\n COMMENT 'check else is missing\nand mix of true and varbool is not ok';\n /* CIF ANSWER (412, 579), (73, 28) */\n (true):\n /* CIF ANSWER (495, 579), (98, 28) */\n (varbool):\n ENDDECISION;\n /* CIF DECISION (511, 622), (98, 50) */\n DECISION varbool\n /* CIF COMMENT (629, 629), (322, 48) */\n COMMENT 'check else is missing\nand mix of true and varbool is not ok';\n /* CIF ANSWER (367, 692), (73, 28) */\n (true):\n /* CIF ANSWER (450, 692), (98, 28) */\n (varbool):\n /* CIF ANSWER (567, 692), (71, 28) */\n else:\n ENDDECISION;\n /* CIF DECISION (523, 735), (73, 50) */\n DECISION var6\n /* CIF COMMENT (616, 742), (217, 35) */\n COMMENT 'check there is no error';\n /* CIF ANSWER (590, 805), (82, 28) */\n (<10.0):\n /* CIF ANSWER (440, 805), (92, 28) */\n (>=10.0):\n ENDDECISION;\n /* CIF DECISION (523, 848), (73, 50) */\n DECISION var6\n /* CIF COMMENT (616, 855), (279, 35) */\n COMMENT 'check there is value 10 missing';\n /* CIF ANSWER (590, 918), (82, 28) */\n (<10.0):\n /* CIF ANSWER (440, 918), (92, 28) */\n (>10.0):\n ENDDECISION;\n /* CIF DECISION (523, 961), (73, 50) */\n DECISION var6\n /* CIF COMMENT (616, 968), (314, 35) */\n COMMENT 'check there is value 10 overlapping';\n /* CIF ANSWER (585, 1031), (92, 28) */\n (<=10.0):\n /* CIF ANSWER (440, 1031), (92, 28) */\n (>=10.0):\n ENDDECISION;\n /* CIF DECISION (523, 1074), (73, 50) */\n DECISION var6\n /* CIF COMMENT (616, 1081), (314, 35) */\n COMMENT 'check missing range ]10.0;10.5[';\n /* CIF ANSWER (585, 1144), (92, 28) */\n (<=10.0):\n /* CIF ANSWER (440, 1144), (92, 28) */\n (>=10.5):\n ENDDECISION;\n /* CIF DECISION (523, 1187), (73, 50) */\n DECISION var6\n /* CIF COMMENT (616, 1194), (324, 35) */\n COMMENT 'check there is no error (close range)';\n /* CIF ANSWER (496, 1257), (116, 28) */\n (-5.0:100.0):\n ENDDECISION;\n /* CIF DECISION (523, 1300), (73, 50) */\n DECISION var6\n /* CIF COMMENT (616, 1307), (390, 48) */\n COMMENT 'check unreachable branch and missing range';\n /* CIF ANSWER (585, 1370), (92, 28) */\n (>10.0):\n /* CIF ANSWER (427, 1370), (118, 28) */\n (-10.0:-5.0):\n ENDDECISION;\n /* CIF DECISION (523, 1413), (73, 50) */\n DECISION var6\n /* CIF COMMENT (615, 1421), (432, 48) */\n COMMENT 'check missing range 0:0.1 and unrechable 100:150';\n /* CIF ANSWER (576, 1483), (110, 28) */\n (0.1:150.0):\n /* CIF ANSWER (427, 1483), (118, 28) */\n (-5.0:0.0):\n ENDDECISION;\n /* CIF NEXTSTATE (525, 1526), (70, 35) */\n NEXTSTATE wait;\n /* CIF STATE (360, 356), (70, 35) */\n STATE wait;\n ENDSTATE;\n' expecting PROCESS
[INFO] Starting to parse model: test-branchcoverage2/system_structure.pr
[INFO] Starting to parse model test-branchcoverage2/system_structure.pr
System: Entity not processed: ee.ibk.sdl.parser.grammar.SDLParser$Entity_in_systemContext
System: Entity not processed: ee.ibk.sdl.parser.grammar.SDLParser$Entity_in_systemContext
[TODO] System: Should process signal start_something
[TODO] System: Should process signal result_data
[INFO] Parsing completed
[INFO] Parse result: 102
[INFO] Output written to test-branchcoverage2/system_structure.xmi
[INFO] Starting to parse model: test-choice/og.pr
[INFO] Starting to parse model test-choice/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 dd;\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 (225, 50), (150, 75) */\n PROCESS og;\n /* CIF TEXT (70, 60), (337, 130) */\n -- Test choice assignments and access\n\ndcl ch ChoiceWithEmptySeq;\n\ndcl em EmptySeq := {};\n\ndcl eso SeqOf := {};\n /* CIF ENDTEXT */\n /* CIF START (174, 228), (70, 35) */\n START;\n /* CIF TASK (160, 278), (98, 35) */\n TASK ch := b: {};\n /* CIF TASK (166, 328), (85, 35) */\n TASK eso := {};\n /* CIF TASK (156, 378), (106, 35) */\n TASK em := ch!b\n /* CIF COMMENT (278, 376), (177, 40) */\n COMMENT 'This is ok, there should\nbe no warning raised';\n /* CIF TASK (145, 433), (127, 35) */\n TASK ch:= d: {a TRUE}\n /* CIF COMMENT (292, 433), (170, 38) */\n COMMENT 'No error, but\nch!d!a := TRUE would fail';\n /* CIF NEXTSTATE (174, 483), (70, 35) */\n NEXTSTATE wait;\n /* CIF STATE (474, 233), (70, 35) */\n STATE wait;\n /* CIF INPUT (467, 288), (84, 35) */\n INPUT dd;\n /* CIF OUTPUT (464, 338), (89, 35) */\n OUTPUT we;\n /* CIF NEXTSTATE (474, 388), (70, 35) */\n NEXTSTATE wait;\n ENDSTATE;\n ENDPROCESS og;\n ENDBLOCK;\n'
org.antlr.v4.runtime.misc.ParseCancellationException: 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 dd;\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 (225, 50), (150, 75) */\n PROCESS og;\n /* CIF TEXT (70, 60), (337, 130) */\n -- Test choice assignments and access\n\ndcl ch ChoiceWithEmptySeq;\n\ndcl em EmptySeq := {};\n\ndcl eso SeqOf := {};\n /* CIF ENDTEXT */\n /* CIF START (174, 228), (70, 35) */\n START;\n /* CIF TASK (160, 278), (98, 35) */\n TASK ch := b: {};\n /* CIF TASK (166, 328), (85, 35) */\n TASK eso := {};\n /* CIF TASK (156, 378), (106, 35) */\n TASK em := ch!b\n /* CIF COMMENT (278, 376), (177, 40) */\n COMMENT 'This is ok, there should\nbe no warning raised';\n /* CIF TASK (145, 433), (127, 35) */\n TASK ch:= d: {a TRUE}\n /* CIF COMMENT (292, 433), (170, 38) */\n COMMENT 'No error, but\nch!d!a := TRUE would fail';\n /* CIF NEXTSTATE (174, 483), (70, 35) */\n NEXTSTATE wait;\n /* CIF STATE (474, 233), (70, 35) */\n STATE wait;\n /* CIF INPUT (467, 288), (84, 35) */\n INPUT dd;\n /* CIF OUTPUT (464, 338), (89, 35) */\n OUTPUT we;\n /* CIF NEXTSTATE (474, 388), (70, 35) */\n NEXTSTATE wait;\n ENDSTATE;\n ENDPROCESS og;\n ENDBLOCK;\n'
[INFO] Starting to parse model: test-controlflow/system_structure.pr
[INFO] Starting to parse model test-controlflow/system_structure.pr
System: Entity not processed: ee.ibk.sdl.parser.grammar.SDLParser$Entity_in_systemContext
System: Entity not processed: ee.ibk.sdl.parser.grammar.SDLParser$Entity_in_systemContext
System: Entity not processed: ee.ibk.sdl.parser.grammar.SDLParser$Entity_in_systemContext
System: Entity not processed: ee.ibk.sdl.parser.grammar.SDLParser$Entity_in_systemContext
[TODO] System: Should process signal run
[INFO] Parsing completed
[INFO] Parse result: 102
[INFO] Output written to test-controlflow/system_structure.xmi
[INFO] Starting to parse model: test-debug/system_structure.pr
[INFO] Starting to parse model test-debug/system_structure.pr
System: Entity not processed: ee.ibk.sdl.parser.grammar.SDLParser$Entity_in_systemContext
System: Entity not processed: ee.ibk.sdl.parser.grammar.SDLParser$Entity_in_systemContext
[TODO] System: Should process signal pulse
[TODO] System: Should process signal telemetry
[INFO] Parsing completed
[INFO] Parse result: 102
[INFO] Output written to test-debug/system_structure.xmi
[INFO] Starting to parse model: test-eds1/testsc.pr
[INFO] Starting to parse model test-eds1/testsc.pr
[ERROR] Failed to parse model.
line 17:12 no viable alternative at input '/* CIF TEXT (259, 125), (367, 218) */\n -- Text area for declarations and comments\n\ndcl foo ExtendedModeUnionTypeT := {\n queryCount 10,\n typeKeyword mode,\n mode 255\n};\n /* CIF ENDTEXT */\n /* CIF START (644, 84), (70, 35) */\n START;\n /* CIF NEXTSTATE (644, 139), (70, 35) */\n NEXTSTATE wait;\n /* CIF STATE (644, 139), (70, 35) */\n STATE wait;\n /* CIF INPUT (636, 194), (86, 35) */\n INPUT hello(foo);\n /* CIF NEXTSTATE (644, 249), (70, 35) */\n NEXTSTATE -;\n ENDSTATE;\n ENDPROCESS testsc;\n ENDBLOCK;\n'
org.antlr.v4.runtime.misc.ParseCancellationException: line 17:12 no viable alternative at input '/* CIF TEXT (259, 125), (367, 218) */\n -- Text area for declarations and comments\n\ndcl foo ExtendedModeUnionTypeT := {\n queryCount 10,\n typeKeyword mode,\n mode 255\n};\n /* CIF ENDTEXT */\n /* CIF START (644, 84), (70, 35) */\n START;\n /* CIF NEXTSTATE (644, 139), (70, 35) */\n NEXTSTATE wait;\n /* CIF STATE (644, 139), (70, 35) */\n STATE wait;\n /* CIF INPUT (636, 194), (86, 35) */\n INPUT hello(foo);\n /* CIF NEXTSTATE (644, 249), (70, 35) */\n NEXTSTATE -;\n ENDSTATE;\n ENDPROCESS testsc;\n ENDBLOCK;\n'
[INFO] Starting to parse model: test-eds2/demodevicedsap.pr
[INFO] Starting to parse model test-eds2/demodevicedsap.pr
[ERROR] Failed to parse model.
line 3:4 no viable alternative at input '/* CIF TEXT (232, 287), (445, 278) */\n -- Text area for data model reference\n USE DataModel comment 'CCSDS_SOIS_Subnetwork.asn';\n USE DataModel comment 'Demo.asn';\n\n USE DataModel comment 'CCSDS_SOIS_Subnetwork_interfaces.asn';\n USE DataModel comment 'Demo_interfaces.asn';\n\n\n\n -- declare signals\n SIGNAL DeviceInterface_IN;\n SIGNAL DeviceInterface_OUT;\n /* CIF ENDTEXT */\n CHANNEL c\n FROM ENV TO DemoDeviceDSAP WITH DeviceInterface_IN;\n FROM DemoDeviceDSAP TO ENV WITH DeviceInterface_OUT;\n ENDCHANNEL;\n BLOCK DemoDeviceDSAP;\n SIGNALROUTE r\n FROM ENV TO DemoDeviceDSAP WITH DeviceInterface_IN;\n FROM DemoDeviceDSAP TO ENV WITH DeviceInterface_OUT;\n CONNECT c AND r;\n /* CIF PROCESS (383, 110), (150, 75) */\n PROCESS DemoDeviceDSAP;\n /* CIF TEXT (32, 108), (374, 83) */\n DCL subnetworkMASVar MASInterfaceTypeClientType;\n DCL commandAddress MemoryAddressTypeT := 100;\n DCL memoryID MemoryIDTypeT := 0;\n /* CIF ENDTEXT */\n /* CIF START (526, 128), (76, 36) */\n START;\n /* CIF TASK (418, 184), (292, 113) */\n TASK subnetworkMASVar!outputData := \n sendCommand:\n write: {\n memoryID memoryID,\n memoryAddress commandAddress,\n data ReadStatus\n };\n /* CIF NEXTSTATE (529, 327), (70, 35) */\n NEXTSTATE test;\n /* CIF STATE (669, 130), (62, 35) */\n STATE test;\n ENDSTATE;\n ENDPROCESS DemoDeviceDSAP;\n ENDBLOCK;\n'
org.antlr.v4.runtime.misc.ParseCancellationException: line 3:4 no viable alternative at input '/* CIF TEXT (232, 287), (445, 278) */\n -- Text area for data model reference\n USE DataModel comment 'CCSDS_SOIS_Subnetwork.asn';\n USE DataModel comment 'Demo.asn';\n\n USE DataModel comment 'CCSDS_SOIS_Subnetwork_interfaces.asn';\n USE DataModel comment 'Demo_interfaces.asn';\n\n\n\n -- declare signals\n SIGNAL DeviceInterface_IN;\n SIGNAL DeviceInterface_OUT;\n /* CIF ENDTEXT */\n CHANNEL c\n FROM ENV TO DemoDeviceDSAP WITH DeviceInterface_IN;\n FROM DemoDeviceDSAP TO ENV WITH DeviceInterface_OUT;\n ENDCHANNEL;\n BLOCK DemoDeviceDSAP;\n SIGNALROUTE r\n FROM ENV TO DemoDeviceDSAP WITH DeviceInterface_IN;\n FROM DemoDeviceDSAP TO ENV WITH DeviceInterface_OUT;\n CONNECT c AND r;\n /* CIF PROCESS (383, 110), (150, 75) */\n PROCESS DemoDeviceDSAP;\n /* CIF TEXT (32, 108), (374, 83) */\n DCL subnetworkMASVar MASInterfaceTypeClientType;\n DCL commandAddress MemoryAddressTypeT := 100;\n DCL memoryID MemoryIDTypeT := 0;\n /* CIF ENDTEXT */\n /* CIF START (526, 128), (76, 36) */\n START;\n /* CIF TASK (418, 184), (292, 113) */\n TASK subnetworkMASVar!outputData := \n sendCommand:\n write: {\n memoryID memoryID,\n memoryAddress commandAddress,\n data ReadStatus\n };\n /* CIF NEXTSTATE (529, 327), (70, 35) */\n NEXTSTATE test;\n /* CIF STATE (669, 130), (62, 35) */\n STATE test;\n ENDSTATE;\n ENDPROCESS DemoDeviceDSAP;\n ENDBLOCK;\n'
[INFO] Starting to parse model: test-emptysequence/og.pr
[INFO] Starting to parse model test-emptysequence/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 dd;\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 (225, 49), (150, 75) */\n PROCESS og;\n /* CIF TEXT (79, 58), (337, 130) */\n -- Test support for empty sequences and NULL type\n\ndcl empty1 EmptySeq := c1;\n\ndcl null1 NullType;\n\ndcl choice1 ChoiceWithEmptySeq := a: n1;\n /* CIF ENDTEXT */\n /* CIF START (182, 226), (70, 35) */\n START;\n /* CIF TASK (160, 276), (115, 35) */\n TASK empty1 := c1\n /* CIF COMMENT (294, 276), (139, 35) */\n COMMENT 'Using a constant';\n /* CIF TASK (161, 326), (112, 35) */\n TASK empty1 := {}\n /* CIF COMMENT (292, 326), (135, 35) */\n COMMENT 'Classic notation';\n /* CIF TASK (152, 376), (130, 35) */\n TASK choice1 := b: c1;\n /* CIF TASK (154, 426), (126, 35) */\n TASK choice1 := b: {};\n /* CIF TASK (167, 476), (100, 35) */\n TASK null1 := n1;\n /* CIF NEXTSTATE (182, 526), (70, 35) */\n NEXTSTATE wait;\n /* CIF STATE (446, 231), (70, 35) */\n STATE wait;\n /* CIF INPUT (439, 286), (84, 35) */\n INPUT dd;\n /* CIF OUTPUT (437, 336), (89, 35) */\n OUTPUT we;\n /* CIF NEXTSTATE (446, 386), (70, 35) */\n NEXTSTATE wait;\n ENDSTATE;\n ENDPROCESS og;\n ENDBLOCK;\n'
org.antlr.v4.runtime.misc.ParseCancellationException: 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 dd;\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 (225, 49), (150, 75) */\n PROCESS og;\n /* CIF TEXT (79, 58), (337, 130) */\n -- Test support for empty sequences and NULL type\n\ndcl empty1 EmptySeq := c1;\n\ndcl null1 NullType;\n\ndcl choice1 ChoiceWithEmptySeq := a: n1;\n /* CIF ENDTEXT */\n /* CIF START (182, 226), (70, 35) */\n START;\n /* CIF TASK (160, 276), (115, 35) */\n TASK empty1 := c1\n /* CIF COMMENT (294, 276), (139, 35) */\n COMMENT 'Using a constant';\n /* CIF TASK (161, 326), (112, 35) */\n TASK empty1 := {}\n /* CIF COMMENT (292, 326), (135, 35) */\n COMMENT 'Classic notation';\n /* CIF TASK (152, 376), (130, 35) */\n TASK choice1 := b: c1;\n /* CIF TASK (154, 426), (126, 35) */\n TASK choice1 := b: {};\n /* CIF TASK (167, 476), (100, 35) */\n TASK null1 := n1;\n /* CIF NEXTSTATE (182, 526), (70, 35) */\n NEXTSTATE wait;\n /* CIF STATE (446, 231), (70, 35) */\n STATE wait;\n /* CIF INPUT (439, 286), (84, 35) */\n INPUT dd;\n /* CIF OUTPUT (437, 336), (89, 35) */\n OUTPUT we;\n /* CIF NEXTSTATE (446, 386), (70, 35) */\n NEXTSTATE wait;\n ENDSTATE;\n ENDPROCESS og;\n ENDBLOCK;\n'
[INFO] Starting to parse model: test-emptysequence2/test.pr
[INFO] Starting to parse model test-emptysequence2/test.pr
[ERROR] Failed to parse model.
line 3:4 no viable alternative at input '/* CIF TEXT (164, 303), (287, 140) */\n -- Text area for declarations and comments\n\nuse datamodel comment 'dataview.asn';\nsignal go(MyChoice);\nsignal response(MyChoice);\n /* CIF ENDTEXT */\n CHANNEL c\n FROM ENV TO test WITH go;\n FROM test TO ENV WITH response;\n ENDCHANNEL;\n BLOCK test;\n SIGNALROUTE r\n FROM ENV TO test WITH go;\n FROM test TO ENV WITH response;\n CONNECT c AND r;\n /* CIF PROCESS (202, 142), (150, 75) */\n PROCESS test;\n /* CIF TEXT (262, 258), (287, 140) */\n dcl 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 (106, 98), (70, 35) */\n STATE wait;\n /* CIF INPUT (96, 153), (89, 35) */\n INPUT go(blah);\n /* CIF OUTPUT (76, 203), (129, 35) */\n OUTPUT response(blah);\n /* CIF NEXTSTATE (105, 253), (70, 35) */\n NEXTSTATE -;\n ENDSTATE;\n ENDPROCESS test;\n ENDBLOCK;\n'
org.antlr.v4.runtime.misc.ParseCancellationException: line 3:4 no viable alternative at input '/* CIF TEXT (164, 303), (287, 140) */\n -- Text area for declarations and comments\n\nuse datamodel comment 'dataview.asn';\nsignal go(MyChoice);\nsignal response(MyChoice);\n /* CIF ENDTEXT */\n CHANNEL c\n FROM ENV TO test WITH go;\n FROM test TO ENV WITH response;\n ENDCHANNEL;\n BLOCK test;\n SIGNALROUTE r\n FROM ENV TO test WITH go;\n FROM test TO ENV WITH response;\n CONNECT c AND r;\n /* CIF PROCESS (202, 142), (150, 75) */\n PROCESS test;\n /* CIF TEXT (262, 258), (287, 140) */\n dcl 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 (106, 98), (70, 35) */\n STATE wait;\n /* CIF INPUT (96, 153), (89, 35) */\n INPUT go(blah);\n /* CIF OUTPUT (76, 203), (129, 35) */\n OUTPUT response(blah);\n /* CIF NEXTSTATE (105, 253), (70, 35) */\n NEXTSTATE -;\n ENDSTATE;\n ENDPROCESS test;\n ENDBLOCK;\n'
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