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

Update out files and statuses after refining the grammar

Fixed STRING and COMMENT2 rules
parent 7e1798d0
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: ./test10/system_structure.pr (552 lines) [OK]
Parsing model: ./test11/og.pr (6096 lines) [OK]
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/og.pr (8574 lines) [OK]
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: ./test2/orchestrator.pr (4522 lines) [OK]
Parsing model: ./test2/system_structure.pr (1314 lines) [OK]
Parsing model: ./test3/fce.pr (18420 lines) [OK]
Parsing model: ./test3/system_structure.pr (1438 lines) [OK]
Parsing model: ./test4/orchestrator.pr (5724 lines) [OK]
Parsing model: ./test4/system_structure.pr (699 lines) [OK]
Parsing model: ./test5/function0.pr (986 lines) [OK]
Parsing model: ./test5/system_structure.pr (707 lines) [OK]
Parsing model: ./test6/myfunction.pr (7829 lines) [OK]
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: ./test7/orchestrator.pr (8803 lines) [OK]
Parsing model: ./test7/system_structure.pr (1124 lines) [OK]
Parsing model: ./test8/orchestrator.pr (1718 lines) [OK]
Parsing model: ./test8/system_structure.pr (1124 lines) [OK]
Parsing model: ./test9/challenge.pr (1915 lines) [OK]
Parsing model: ./test9/system_structure.pr (431 lines) [OK]
Parsing model: ./test-aggregation1/challenge.pr (9994 lines) [FAIL]
Parsing model: ./test-aggregation1/system_structure.pr (552 lines) [FAIL]
Parsing model: ./test-aggregation1/system_structure.pr (552 lines) [OK]
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-aggregation3/system_structure.pr (552 lines) [OK]
Parsing model: ./test-asn1constants/orchestrator.pr (1070 lines) [OK]
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/myfunction.pr (4738 lines) [OK]
Parsing model: ./test-branchcoverage2/system_structure.pr (579 lines) [OK]
Parsing model: ./test-branchcoverage/myfunction.pr (4752 lines) [FAIL]
Parsing model: ./test-branchcoverage/myfunction.pr (4752 lines) [OK]
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-choice/og.pr (1837 lines) [OK]
Parsing model: ./test-controlflow/controlflow.pr (5101 lines) [OK]
Parsing model: ./test-controlflow/system_structure.pr (555 lines) [OK]
Parsing model: ./test-debug/orchestrator.pr (6350 lines) [FAIL]
Parsing model: ./test-debug/orchestrator.pr (6350 lines) [OK]
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-eds1/testsc.pr (1122 lines) [OK]
Parsing model: ./test-eds2/demodevicedsap.pr (1676 lines) [OK]
Parsing model: ./test-emptysequence2/test.pr (1218 lines) [OK]
Parsing model: ./test-emptysequence/og.pr (1912 lines) [OK]
Parsing model: ./test-equal/og.pr (8684 lines) [OK]
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-exitnested/challenge.pr (3203 lines) [OK]
Parsing model: ./test-exitnested/system_structure.pr (555 lines) [OK]
Parsing model: ./test-expressions/expressions.pr (10460 lines) [OK]
Parsing model: ./test-expressions/system_structure.pr (405 lines) [OK]
Parsing model: ./test-forloop/og.pr (1237 lines) [FAIL]
Parsing model: ./test-forloop/og.pr (1237 lines) [OK]
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/og.pr (8340 lines) [OK]
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-iterators/orchestrator.pr (3589 lines) [OK]
Parsing model: ./test-llvm/orchestrator.pr (2255 lines) [OK]
Parsing model: ./test-llvm/system_structure.pr (445 lines) [OK]
Parsing model: ./test-math/expressions.pr (912 lines) [FAIL]
Parsing model: ./test-math/expressions.pr (912 lines) [OK]
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-nestedpriority/challenge.pr (3623 lines) [OK]
Parsing model: ./test-nestedpriority/system_structure.pr (555 lines) [OK]
Parsing model: ./test-nocif2/DemoDeviceDSAP_fixed.pr (3212 lines) [OK]
Parsing model: ./test-nocif/orchestrator.pr (2961 lines) [OK]
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-noparam/og.pr (833 lines) [OK]
Parsing model: ./test-operators/operators.pr (2562 lines) [OK]
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-optionalfield/og.pr (2517 lines) [OK]
Parsing model: ./test-procedure/og.pr (3262 lines) [OK]
Parsing model: ./test-processfpar1/og.pr (3153 lines) [OK]
Parsing model: ./test-processfpar2/og.pr (1551 lines) [OK]
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/flight.pr (961 lines) [OK]
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-recursion/og.pr (3926 lines) [OK]
Parsing model: ./test-save/og.pr (4349 lines) [OK]
Parsing model: ./test-sequenceof2/test.pr (1964 lines) [OK]
Parsing model: ./test-sequenceof/test.pr (1966 lines) [OK]
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-standalone/og.pr (3104 lines) [OK]
Parsing model: ./test-stateexclusion/test.pr (1959 lines) [OK]
Parsing model: ./test-strings/og.pr (2050 lines) [OK]
Parsing model: ./test-substrings/myfunction.pr (7209 lines) [OK]
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-ternary/og.pr (3340 lines) [OK]
Parsing model: ./test-typecheck/og.pr (1264 lines) [OK]
Parsing model: ./test-types/DataView.pr (1008 lines) [FAIL]
Parsing model: ./test-types/function1.pr (1317 lines) [FAIL]
Parsing model: ./test-types/function1.pr (1317 lines) [OK]
Parsing model: ./test-types/system_structure.pr (374 lines) [OK]
[INFO] Tool is executed in parse-only mode. Output file will not be created.
[INFO] Starting to parse model test-aggregation1/challenge.pr
[ERROR] Failed to parse model.
org.antlr.v4.runtime.misc.ParseCancellationException: line 5:8 mismatched input 'in' expecting STATE
......@@ -7,12 +8,12 @@ org.antlr.v4.runtime.misc.ParseCancellationException: line 5:8 mismatched input
at org.antlr.v4.runtime.Parser.notifyErrorListeners(Parser.java:544)
at org.antlr.v4.runtime.DefaultErrorStrategy.reportInputMismatch(DefaultErrorStrategy.java:299)
at org.antlr.v4.runtime.DefaultErrorStrategy.reportError(DefaultErrorStrategy.java:124)
at ee.ibk.sdl.parser.grammar.SDLParser.composite_state(SDLParser.java:3690)
at ee.ibk.sdl.parser.grammar.SDLParser.process_definition(SDLParser.java:1288)
at ee.ibk.sdl.parser.grammar.SDLParser.pr_file(SDLParser.java:309)
at ee.ibk.sdl.parser.SDLParserMain.doParse(SDLParserMain.java:40)
at ee.ibk.sdl.parser.SDLParserMain.parseFile(SDLParserMain.java:72)
at ee.ibk.sdl.parser.SDLParserMain.main(SDLParserMain.java:117)
at ee.ibk.sdl.parser.grammar.SDLParser.composite_state(SDLParser.java:4050)
at ee.ibk.sdl.parser.grammar.SDLParser.process_definition(SDLParser.java:1392)
at ee.ibk.sdl.parser.grammar.SDLParser.pr_file(SDLParser.java:317)
at ee.ibk.sdl.parser.SDLParserMain.doParse(SDLParserMain.java:43)
at ee.ibk.sdl.parser.SDLParserMain.parseFile(SDLParserMain.java:86)
at ee.ibk.sdl.parser.SDLParserMain.main(SDLParserMain.java:149)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
......
[INFO] Tool is executed in parse-only mode. Output file will not be created.
[INFO] Starting to parse model test-aggregation1/system_structure.pr
[ERROR] Failed to parse model.
org.antlr.v4.runtime.misc.ParseCancellationException: line 5:34 mismatched input ';' expecting '*/'
org.antlr.v4.runtime.misc.ParseCancellationException: line 5:34 mismatched input ';' expecting '*/'
at ee.ibk.sdl.parser.ThrowingErrorListener.syntaxError(ThrowingErrorListener.java:18)
at org.antlr.v4.runtime.ProxyErrorListener.syntaxError(ProxyErrorListener.java:41)
at org.antlr.v4.runtime.Parser.notifyErrorListeners(Parser.java:544)
at org.antlr.v4.runtime.DefaultErrorStrategy.reportInputMismatch(DefaultErrorStrategy.java:299)
at org.antlr.v4.runtime.DefaultErrorStrategy.reportError(DefaultErrorStrategy.java:124)
at ee.ibk.sdl.parser.grammar.SDLParser.cif_end(SDLParser.java:10779)
at ee.ibk.sdl.parser.grammar.SDLParser.use_asn1(SDLParser.java:10575)
at ee.ibk.sdl.parser.grammar.SDLParser.use_clause(SDLParser.java:455)
at ee.ibk.sdl.parser.grammar.SDLParser.pr_file(SDLParser.java:297)
at ee.ibk.sdl.parser.SDLParserMain.doParse(SDLParserMain.java:40)
at ee.ibk.sdl.parser.SDLParserMain.parseFile(SDLParserMain.java:72)
at ee.ibk.sdl.parser.SDLParserMain.main(SDLParserMain.java:117)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:498)
at org.eclipse.jdt.internal.jarinjarloader.JarRsrcLoader.main(JarRsrcLoader.java:58)
[INFO] Parsing completed. Nothing more to do.
[INFO] Tool is executed in parse-only mode. Output file will not be created.
[INFO] Starting to parse model test-aggregation2/og.pr
[ERROR] Failed to parse model.
org.antlr.v4.runtime.misc.ParseCancellationException: line 140:61 extraneous input ')' expecting ';'
org.antlr.v4.runtime.misc.ParseCancellationException: line 140:61 extraneous input ')' expecting ';'
org.antlr.v4.runtime.misc.ParseCancellationException: line 79:28 mismatched input '/* CIF' expecting STATE
org.antlr.v4.runtime.misc.ParseCancellationException: line 79:28 mismatched input '/* CIF' expecting STATE
at ee.ibk.sdl.parser.ThrowingErrorListener.syntaxError(ThrowingErrorListener.java:18)
at org.antlr.v4.runtime.ProxyErrorListener.syntaxError(ProxyErrorListener.java:41)
at org.antlr.v4.runtime.Parser.notifyErrorListeners(Parser.java:544)
at org.antlr.v4.runtime.DefaultErrorStrategy.reportUnwantedToken(DefaultErrorStrategy.java:349)
at org.antlr.v4.runtime.DefaultErrorStrategy.singleTokenDeletion(DefaultErrorStrategy.java:513)
at org.antlr.v4.runtime.DefaultErrorStrategy.sync(DefaultErrorStrategy.java:238)
at ee.ibk.sdl.parser.grammar.SDLParser.end(SDLParser.java:10277)
at ee.ibk.sdl.parser.grammar.SDLParser.use_clause(SDLParser.java:476)
at ee.ibk.sdl.parser.grammar.SDLParser.content(SDLParser.java:2066)
at ee.ibk.sdl.parser.grammar.SDLParser.text_area(SDLParser.java:1949)
at ee.ibk.sdl.parser.grammar.SDLParser.entity_in_system(SDLParser.java:589)
at ee.ibk.sdl.parser.grammar.SDLParser.system_definition(SDLParser.java:383)
at ee.ibk.sdl.parser.grammar.SDLParser.pr_file(SDLParser.java:303)
at ee.ibk.sdl.parser.SDLParserMain.doParse(SDLParserMain.java:40)
at ee.ibk.sdl.parser.SDLParserMain.parseFile(SDLParserMain.java:72)
at ee.ibk.sdl.parser.SDLParserMain.main(SDLParserMain.java:117)
at org.antlr.v4.runtime.DefaultErrorStrategy.reportInputMismatch(DefaultErrorStrategy.java:299)
at org.antlr.v4.runtime.DefaultErrorStrategy.reportError(DefaultErrorStrategy.java:124)
at ee.ibk.sdl.parser.grammar.SDLParser.composite_state(SDLParser.java:4050)
at ee.ibk.sdl.parser.grammar.SDLParser.process_definition(SDLParser.java:1392)
at ee.ibk.sdl.parser.grammar.SDLParser.entity_in_block(SDLParser.java:1064)
at ee.ibk.sdl.parser.grammar.SDLParser.block_definition(SDLParser.java:966)
at ee.ibk.sdl.parser.grammar.SDLParser.entity_in_system(SDLParser.java:650)
at ee.ibk.sdl.parser.grammar.SDLParser.system_definition(SDLParser.java:399)
at ee.ibk.sdl.parser.grammar.SDLParser.pr_file(SDLParser.java:311)
at ee.ibk.sdl.parser.SDLParserMain.doParse(SDLParserMain.java:43)
at ee.ibk.sdl.parser.SDLParserMain.parseFile(SDLParserMain.java:86)
at ee.ibk.sdl.parser.SDLParserMain.main(SDLParserMain.java:149)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
......
[INFO] Tool is executed in parse-only mode. Output file will not be created.
[INFO] Starting to parse model test-aggregation3/challenge.pr
[ERROR] Failed to parse model.
org.antlr.v4.runtime.misc.ParseCancellationException: line 14:20 mismatched input '/* CIF' expecting STATE
......@@ -7,12 +8,12 @@ org.antlr.v4.runtime.misc.ParseCancellationException: line 14:20 mismatched inpu
at org.antlr.v4.runtime.Parser.notifyErrorListeners(Parser.java:544)
at org.antlr.v4.runtime.DefaultErrorStrategy.reportInputMismatch(DefaultErrorStrategy.java:299)
at org.antlr.v4.runtime.DefaultErrorStrategy.reportError(DefaultErrorStrategy.java:124)
at ee.ibk.sdl.parser.grammar.SDLParser.composite_state(SDLParser.java:3690)
at ee.ibk.sdl.parser.grammar.SDLParser.process_definition(SDLParser.java:1288)
at ee.ibk.sdl.parser.grammar.SDLParser.pr_file(SDLParser.java:309)
at ee.ibk.sdl.parser.SDLParserMain.doParse(SDLParserMain.java:40)
at ee.ibk.sdl.parser.SDLParserMain.parseFile(SDLParserMain.java:72)
at ee.ibk.sdl.parser.SDLParserMain.main(SDLParserMain.java:117)
at ee.ibk.sdl.parser.grammar.SDLParser.composite_state(SDLParser.java:4050)
at ee.ibk.sdl.parser.grammar.SDLParser.process_definition(SDLParser.java:1392)
at ee.ibk.sdl.parser.grammar.SDLParser.pr_file(SDLParser.java:317)
at ee.ibk.sdl.parser.SDLParserMain.doParse(SDLParserMain.java:43)
at ee.ibk.sdl.parser.SDLParserMain.parseFile(SDLParserMain.java:86)
at ee.ibk.sdl.parser.SDLParserMain.main(SDLParserMain.java:149)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
......
[INFO] Tool is executed in parse-only mode. Output file will not be created.
[INFO] Starting to parse model test-aggregation3/system_structure.pr
[ERROR] Failed to parse model.
org.antlr.v4.runtime.misc.ParseCancellationException: line 5:34 mismatched input ';' expecting '*/'
org.antlr.v4.runtime.misc.ParseCancellationException: line 5:34 mismatched input ';' expecting '*/'
at ee.ibk.sdl.parser.ThrowingErrorListener.syntaxError(ThrowingErrorListener.java:18)
at org.antlr.v4.runtime.ProxyErrorListener.syntaxError(ProxyErrorListener.java:41)
at org.antlr.v4.runtime.Parser.notifyErrorListeners(Parser.java:544)
at org.antlr.v4.runtime.DefaultErrorStrategy.reportInputMismatch(DefaultErrorStrategy.java:299)
at org.antlr.v4.runtime.DefaultErrorStrategy.reportError(DefaultErrorStrategy.java:124)
at ee.ibk.sdl.parser.grammar.SDLParser.cif_end(SDLParser.java:10779)
at ee.ibk.sdl.parser.grammar.SDLParser.use_asn1(SDLParser.java:10575)
at ee.ibk.sdl.parser.grammar.SDLParser.use_clause(SDLParser.java:455)
at ee.ibk.sdl.parser.grammar.SDLParser.pr_file(SDLParser.java:297)
at ee.ibk.sdl.parser.SDLParserMain.doParse(SDLParserMain.java:40)
at ee.ibk.sdl.parser.SDLParserMain.parseFile(SDLParserMain.java:72)
at ee.ibk.sdl.parser.SDLParserMain.main(SDLParserMain.java:117)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:498)
at org.eclipse.jdt.internal.jarinjarloader.JarRsrcLoader.main(JarRsrcLoader.java:58)
[INFO] Parsing completed. Nothing more to do.
[INFO] Tool is executed in parse-only mode. Output file will not be created.
[INFO] Starting to parse model test-asn1constants/orchestrator.pr
[ERROR] Failed to parse model.
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
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
at ee.ibk.sdl.parser.ThrowingErrorListener.syntaxError(ThrowingErrorListener.java:18)
at org.antlr.v4.runtime.ProxyErrorListener.syntaxError(ProxyErrorListener.java:41)
at org.antlr.v4.runtime.Parser.notifyErrorListeners(Parser.java:544)
at org.antlr.v4.runtime.DefaultErrorStrategy.reportInputMismatch(DefaultErrorStrategy.java:299)
at org.antlr.v4.runtime.DefaultErrorStrategy.reportError(DefaultErrorStrategy.java:124)
at ee.ibk.sdl.parser.grammar.SDLParser.process_definition(SDLParser.java:1352)
at ee.ibk.sdl.parser.grammar.SDLParser.pr_file(SDLParser.java:309)
at ee.ibk.sdl.parser.SDLParserMain.doParse(SDLParserMain.java:40)
at ee.ibk.sdl.parser.SDLParserMain.parseFile(SDLParserMain.java:72)
at ee.ibk.sdl.parser.SDLParserMain.main(SDLParserMain.java:117)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:498)
at org.eclipse.jdt.internal.jarinjarloader.JarRsrcLoader.main(JarRsrcLoader.java:58)
[INFO] Parsing completed. Nothing more to do.
[INFO] Tool is executed in parse-only mode. Output file will not be created.
[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] Output written to test-asn1constants/system_structure.xmi
[INFO] Parsing completed. Nothing more to do.
[INFO] Tool is executed in parse-only mode. Output file will not be created.
[INFO] Starting to parse model test-battery/og.pr
[ERROR] Failed to parse model.
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'
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'
org.antlr.v4.runtime.misc.ParseCancellationException: line 29:16 mismatched input 'out' expecting STATE
org.antlr.v4.runtime.misc.ParseCancellationException: line 29:16 mismatched input 'out' expecting STATE
at ee.ibk.sdl.parser.ThrowingErrorListener.syntaxError(ThrowingErrorListener.java:18)
at org.antlr.v4.runtime.ProxyErrorListener.syntaxError(ProxyErrorListener.java:41)
at org.antlr.v4.runtime.Parser.notifyErrorListeners(Parser.java:544)
at org.antlr.v4.runtime.DefaultErrorStrategy.reportNoViableAlternative(DefaultErrorStrategy.java:282)
at org.antlr.v4.runtime.DefaultErrorStrategy.reportError(DefaultErrorStrategy.java:121)
at ee.ibk.sdl.parser.grammar.SDLParser.entity_in_system(SDLParser.java:617)
at ee.ibk.sdl.parser.grammar.SDLParser.system_definition(SDLParser.java:383)
at ee.ibk.sdl.parser.grammar.SDLParser.pr_file(SDLParser.java:303)
at ee.ibk.sdl.parser.SDLParserMain.doParse(SDLParserMain.java:40)
at ee.ibk.sdl.parser.SDLParserMain.parseFile(SDLParserMain.java:72)
at ee.ibk.sdl.parser.SDLParserMain.main(SDLParserMain.java:117)
at org.antlr.v4.runtime.DefaultErrorStrategy.reportInputMismatch(DefaultErrorStrategy.java:299)
at org.antlr.v4.runtime.DefaultErrorStrategy.reportError(DefaultErrorStrategy.java:124)
at ee.ibk.sdl.parser.grammar.SDLParser.composite_state(SDLParser.java:4050)
at ee.ibk.sdl.parser.grammar.SDLParser.process_definition(SDLParser.java:1392)
at ee.ibk.sdl.parser.grammar.SDLParser.entity_in_block(SDLParser.java:1064)
at ee.ibk.sdl.parser.grammar.SDLParser.block_definition(SDLParser.java:966)
at ee.ibk.sdl.parser.grammar.SDLParser.entity_in_system(SDLParser.java:650)
at ee.ibk.sdl.parser.grammar.SDLParser.system_definition(SDLParser.java:399)
at ee.ibk.sdl.parser.grammar.SDLParser.pr_file(SDLParser.java:311)
at ee.ibk.sdl.parser.SDLParserMain.doParse(SDLParserMain.java:43)
at ee.ibk.sdl.parser.SDLParserMain.parseFile(SDLParserMain.java:86)
at ee.ibk.sdl.parser.SDLParserMain.main(SDLParserMain.java:149)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
......
[INFO] Tool is executed in parse-only mode. Output file will not be created.
[INFO] Starting to parse model test-branchcoverage/myfunction.pr
[ERROR] Failed to parse model.
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
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
at ee.ibk.sdl.parser.ThrowingErrorListener.syntaxError(ThrowingErrorListener.java:18)
at org.antlr.v4.runtime.ProxyErrorListener.syntaxError(ProxyErrorListener.java:41)
at org.antlr.v4.runtime.Parser.notifyErrorListeners(Parser.java:544)
at org.antlr.v4.runtime.DefaultErrorStrategy.reportInputMismatch(DefaultErrorStrategy.java:299)
at org.antlr.v4.runtime.DefaultErrorStrategy.reportError(DefaultErrorStrategy.java:124)
at ee.ibk.sdl.parser.grammar.SDLParser.process_definition(SDLParser.java:1352)
at ee.ibk.sdl.parser.grammar.SDLParser.pr_file(SDLParser.java:309)
at ee.ibk.sdl.parser.SDLParserMain.doParse(SDLParserMain.java:40)
at ee.ibk.sdl.parser.SDLParserMain.parseFile(SDLParserMain.java:72)
at ee.ibk.sdl.parser.SDLParserMain.main(SDLParserMain.java:117)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:498)
at org.eclipse.jdt.internal.jarinjarloader.JarRsrcLoader.main(JarRsrcLoader.java:58)
[INFO] Parsing completed. Nothing more to do.
[INFO] Tool is executed in parse-only mode. Output file will not be created.
[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] Output written to test-branchcoverage/system_structure.xmi
[INFO] Parsing completed. Nothing more to do.
[INFO] Tool is executed in parse-only mode. Output file will not be created.
[INFO] Starting to parse model test-branchcoverage2/myfunction.pr
[ERROR] Failed to parse model.
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
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
at ee.ibk.sdl.parser.ThrowingErrorListener.syntaxError(ThrowingErrorListener.java:18)
at org.antlr.v4.runtime.ProxyErrorListener.syntaxError(ProxyErrorListener.java:41)
at org.antlr.v4.runtime.Parser.notifyErrorListeners(Parser.java:544)
at org.antlr.v4.runtime.DefaultErrorStrategy.reportInputMismatch(DefaultErrorStrategy.java:299)
at org.antlr.v4.runtime.DefaultErrorStrategy.reportError(DefaultErrorStrategy.java:124)
at ee.ibk.sdl.parser.grammar.SDLParser.process_definition(SDLParser.java:1352)
at ee.ibk.sdl.parser.grammar.SDLParser.pr_file(SDLParser.java:309)
at ee.ibk.sdl.parser.SDLParserMain.doParse(SDLParserMain.java:40)
at ee.ibk.sdl.parser.SDLParserMain.parseFile(SDLParserMain.java:72)
at ee.ibk.sdl.parser.SDLParserMain.main(SDLParserMain.java:117)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:498)
at org.eclipse.jdt.internal.jarinjarloader.JarRsrcLoader.main(JarRsrcLoader.java:58)
[INFO] Parsing completed. Nothing more to do.
[INFO] Tool is executed in parse-only mode. Output file will not be created.
[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] Output written to test-branchcoverage2/system_structure.xmi
[INFO] Parsing completed. Nothing more to do.
[INFO] Tool is executed in parse-only mode. Output file will not be created.
[INFO] Starting to parse model test-choice/og.pr
[ERROR] Failed to parse model.
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'
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'
at ee.ibk.sdl.parser.ThrowingErrorListener.syntaxError(ThrowingErrorListener.java:18)
at org.antlr.v4.runtime.ProxyErrorListener.syntaxError(ProxyErrorListener.java:41)
at org.antlr.v4.runtime.Parser.notifyErrorListeners(Parser.java:544)
at org.antlr.v4.runtime.DefaultErrorStrategy.reportNoViableAlternative(DefaultErrorStrategy.java:282)
at org.antlr.v4.runtime.DefaultErrorStrategy.reportError(DefaultErrorStrategy.java:121)
at ee.ibk.sdl.parser.grammar.SDLParser.entity_in_system(SDLParser.java:617)
at ee.ibk.sdl.parser.grammar.SDLParser.system_definition(SDLParser.java:383)
at ee.ibk.sdl.parser.grammar.SDLParser.pr_file(SDLParser.java:303)
at ee.ibk.sdl.parser.SDLParserMain.doParse(SDLParserMain.java:40)
at ee.ibk.sdl.parser.SDLParserMain.parseFile(SDLParserMain.java:72)
at ee.ibk.sdl.parser.SDLParserMain.main(SDLParserMain.java:117)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:498)
at org.eclipse.jdt.internal.jarinjarloader.JarRsrcLoader.main(JarRsrcLoader.java:58)
[INFO] Parsing completed. Nothing more to do.
[INFO] Tool is executed in parse-only mode. Output file will not be created.
[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] Output written to test-controlflow/system_structure.xmi
[INFO] Parsing completed. Nothing more to do.
[INFO] Tool is executed in parse-only mode. Output file will not be created.
[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] Output written to test-debug/system_structure.xmi
[INFO] Parsing completed. Nothing more to do.
[INFO] Tool is executed in parse-only mode. Output file will not be created.
[INFO] Starting to parse model test-eds1/testsc.pr
[ERROR] Failed to parse model.
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'
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'
at ee.ibk.sdl.parser.ThrowingErrorListener.syntaxError(ThrowingErrorListener.java:18)
at org.antlr.v4.runtime.ProxyErrorListener.syntaxError(ProxyErrorListener.java:41)
at org.antlr.v4.runtime.Parser.notifyErrorListeners(Parser.java:544)
at org.antlr.v4.runtime.DefaultErrorStrategy.reportNoViableAlternative(DefaultErrorStrategy.java:282)
at org.antlr.v4.runtime.DefaultErrorStrategy.reportError(DefaultErrorStrategy.java:121)
at ee.ibk.sdl.parser.grammar.SDLParser.process_definition(SDLParser.java:1352)
at ee.ibk.sdl.parser.grammar.SDLParser.entity_in_block(SDLParser.java:984)
at ee.ibk.sdl.parser.grammar.SDLParser.block_definition(SDLParser.java:894)
at ee.ibk.sdl.parser.grammar.SDLParser.entity_in_system(SDLParser.java:610)
at ee.ibk.sdl.parser.grammar.SDLParser.system_definition(SDLParser.java:383)
at ee.ibk.sdl.parser.grammar.SDLParser.pr_file(SDLParser.java:303)
at ee.ibk.sdl.parser.SDLParserMain.doParse(SDLParserMain.java:40)
at ee.ibk.sdl.parser.SDLParserMain.parseFile(SDLParserMain.java:72)
at ee.ibk.sdl.parser.SDLParserMain.main(SDLParserMain.java:117)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:498)
at org.eclipse.jdt.internal.jarinjarloader.JarRsrcLoader.main(JarRsrcLoader.java:58)
[INFO] Parsing completed. Nothing more to do.
[INFO] Tool is executed in parse-only mode. Output file will not be created.
[INFO] Starting to parse model test-eds2/demodevicedsap.pr
[ERROR] Failed to parse model.
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'
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'
at ee.ibk.sdl.parser.ThrowingErrorListener.syntaxError(ThrowingErrorListener.java:18)
at org.antlr.v4.runtime.ProxyErrorListener.syntaxError(ProxyErrorListener.java:41)
at org.antlr.v4.runtime.Parser.notifyErrorListeners(Parser.java:544)
at org.antlr.v4.runtime.DefaultErrorStrategy.reportNoViableAlternative(DefaultErrorStrategy.java:282)
at org.antlr.v4.runtime.DefaultErrorStrategy.reportError(DefaultErrorStrategy.java:121)
at ee.ibk.sdl.parser.grammar.SDLParser.entity_in_system(SDLParser.java:617)
at ee.ibk.sdl.parser.grammar.SDLParser.system_definition(SDLParser.java:383)
at ee.ibk.sdl.parser.grammar.SDLParser.pr_file(SDLParser.java:303)
at ee.ibk.sdl.parser.SDLParserMain.doParse(SDLParserMain.java:40)
at ee.ibk.sdl.parser.SDLParserMain.parseFile(SDLParserMain.java:72)
at ee.ibk.sdl.parser.SDLParserMain.main(SDLParserMain.java:117)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:498)
at org.eclipse.jdt.internal.jarinjarloader.JarRsrcLoader.main(JarRsrcLoader.java:58)
[INFO] Parsing completed. Nothing more to do.
[INFO] Tool is executed in parse-only mode. Output file will not be created.
[INFO] Starting to parse model test-emptysequence/og.pr
[ERROR] Failed to parse model.
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'
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'
at ee.ibk.sdl.parser.ThrowingErrorListener.syntaxError(ThrowingErrorListener.java:18)
at org.antlr.v4.runtime.ProxyErrorListener.syntaxError(ProxyErrorListener.java:41)
at org.antlr.v4.runtime.Parser.notifyErrorListeners(Parser.java:544)
at org.antlr.v4.runtime.DefaultErrorStrategy.reportNoViableAlternative(DefaultErrorStrategy.java:282)
at org.antlr.v4.runtime.DefaultErrorStrategy.reportError(DefaultErrorStrategy.java:121)
at ee.ibk.sdl.parser.grammar.SDLParser.entity_in_system(SDLParser.java:617)
at ee.ibk.sdl.parser.grammar.SDLParser.system_definition(SDLParser.java:383)
at ee.ibk.sdl.parser.grammar.SDLParser.pr_file(SDLParser.java:303)
at ee.ibk.sdl.parser.SDLParserMain.doParse(SDLParserMain.java:40)
at ee.ibk.sdl.parser.SDLParserMain.parseFile(SDLParserMain.java:72)
at ee.ibk.sdl.parser.SDLParserMain.main(SDLParserMain.java:117)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:498)
at org.eclipse.jdt.internal.jarinjarloader.JarRsrcLoader.main(JarRsrcLoader.java:58)
[INFO] Parsing completed. Nothing more to do.
[INFO] Tool is executed in parse-only mode. Output file will not be created.
[INFO] Starting to parse model test-emptysequence2/test.pr
[ERROR] Failed to parse model.
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'
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'
at ee.ibk.sdl.parser.ThrowingErrorListener.syntaxError(ThrowingErrorListener.java:18)
at org.antlr.v4.runtime.ProxyErrorListener.syntaxError(ProxyErrorListener.java:41)
at org.antlr.v4.runtime.Parser.notifyErrorListeners(Parser.java:544)
at org.antlr.v4.runtime.DefaultErrorStrategy.reportNoViableAlternative(DefaultErrorStrategy.java:282)
at org.antlr.v4.runtime.DefaultErrorStrategy.reportError(DefaultErrorStrategy.java:121)
at ee.ibk.sdl.parser.grammar.SDLParser.entity_in_system(SDLParser.java:617)
at ee.ibk.sdl.parser.grammar.SDLParser.system_definition(SDLParser.java:383)
at ee.ibk.sdl.parser.grammar.SDLParser.pr_file(SDLParser.java:303)
at ee.ibk.sdl.parser.SDLParserMain.doParse(SDLParserMain.java:40)
at ee.ibk.sdl.parser.SDLParserMain.parseFile(SDLParserMain.java:72)
at ee.ibk.sdl.parser.SDLParserMain.main(SDLParserMain.java:117)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:498)
at org.eclipse.jdt.internal.jarinjarloader.JarRsrcLoader.main(JarRsrcLoader.java:58)
[INFO] Parsing completed. Nothing more to do.
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