Skip to content
GitLab
Commit 7e1798d0 authored by Andres Toom's avatar Andres Toom Committed by Daniel Tuulik
Browse files

Update out files: send also error stream to these files

parent de42b6f8
Expand all Hide whitespace changes
Inline Side-by-side
tests/regression/test-aggregation1/challenge.pr-parse.out
View file @ 7e1798d0
[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
org.antlr.v4.runtime.misc.ParseCancellationException: line 5:8 mismatched input 'in' 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.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 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)
tests/regression/test-aggregation1/system_structure.pr-parse.out
View file @ 7e1798d0
[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)
tests/regression/test-aggregation2/og.pr-parse.out
View file @ 7e1798d0
[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 ';'
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 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)
tests/regression/test-aggregation3/challenge.pr-parse.out
View file @ 7e1798d0
[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
org.antlr.v4.runtime.misc.ParseCancellationException: line 14:20 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.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 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)
tests/regression/test-aggregation3/system_structure.pr-parse.out
View file @ 7e1798d0
[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)
tests/regression/test-asn1constants/orchestrator.pr-parse.out
View file @ 7e1798d0
[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)
tests/regression/test-battery/og.pr-parse.out
View file @ 7e1798d0
[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'
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)
tests/regression/test-branchcoverage/myfunction.pr-parse.out
View file @ 7e1798d0
[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)
tests/regression/test-branchcoverage2/myfunction.pr-parse.out
View file @ 7e1798d0
[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)
tests/regression/test-choice/og.pr-parse.out
View file @ 7e1798d0
[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)
tests/regression/test-eds1/testsc.pr-parse.out
View file @ 7e1798d0
[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)
tests/regression/test-eds2/demodevicedsap.pr-parse.out
View file @ 7e1798d0
[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)
tests/regression/test-emptysequence/og.pr-parse.out
View file @ 7e1798d0
[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)
tests/regression/test-emptysequence2/test.pr-parse.out
View file @ 7e1798d0
[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)
tests/regression/test-exitnested/system_structure.pr-parse.out
View file @ 7e1798d0
[INFO] Starting to parse model test-exitnested/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)
tests/regression/test-forloop/og.pr-parse.out
View file @ 7e1798d0
[INFO] Starting to parse model test-forloop/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), (287, 188) */\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(myinteger);\n\nprocedure anExternalProc;\nfpar in/out a_param MyInteger;\nexternal;\n /* CIF ENDTEXT */\n CHANNEL c\n FROM ENV TO og WITH dd;\n FROM og TO ENV WITH we;\n ENDCHANNEL;\n BLOCK og;\n SIGNALROUTE r\n FROM ENV TO og WITH dd;\n FROM og TO ENV WITH we;\n CONNECT c AND r;\n /* CIF PROCESS (225, 49), (150, 75) */\n PROCESS og;\n /* CIF TEXT (57, 58), (303, 140) */\n -- Test the proper check of RANGE parameters\n\ndcl foo SeqOf;\n\ndcl a, b MyInteger;\n\ndcl c,d MyREAL;\n /* CIF ENDTEXT */\n /* CIF START (184, 217), (70, 35) */\n START;\n /* CIF TASK (86, 267), (266, 53) */\n TASK for each in range (fix(1),fix(20.0) , 2):\n call writeln(each);\nendfor;\n /* CIF NEXTSTATE (184, 350), (70, 35) */\n NEXTSTATE wait;\n /* CIF STATE (419, 218), (70, 35) */\n STATE 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), (287, 188) */\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(myinteger);\n\nprocedure anExternalProc;\nfpar in/out a_param MyInteger;\nexternal;\n /* CIF ENDTEXT */\n CHANNEL c\n FROM ENV TO og WITH dd;\n FROM og TO ENV WITH we;\n ENDCHANNEL;\n BLOCK og;\n SIGNALROUTE r\n FROM ENV TO og WITH dd;\n FROM og TO ENV WITH we;\n CONNECT c AND r;\n /* CIF PROCESS (225, 49), (150, 75) */\n PROCESS og;\n /* CIF TEXT (57, 58), (303, 140) */\n -- Test the proper check of RANGE parameters\n\ndcl foo SeqOf;\n\ndcl a, b MyInteger;\n\ndcl c,d MyREAL;\n /* CIF ENDTEXT */\n /* CIF START (184, 217), (70, 35) */\n START;\n /* CIF TASK (86, 267), (266, 53) */\n TASK for each in range (fix(1),fix(20.0) , 2):\n call writeln(each);\nendfor;\n /* CIF NEXTSTATE (184, 350), (70, 35) */\n NEXTSTATE wait;\n /* CIF STATE (419, 218), (70, 35) */\n STATE 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)
tests/regression/test-ibk/packetmanager.pr-parse.out
View file @ 7e1798d0
[INFO] Starting to parse model test-ibk/packetmanager.pr
[ERROR] Failed to parse model.
org.antlr.v4.runtime.misc.ParseCancellationException: line 8:20 no viable alternative at input '/* CIF TEXT (673, 16), (357, 140) */\n -- Text area for declarations and comments\n \n DCL noOfSentPackets My8BitArrayValueInteger := 1;\n /* CIF ENDTEXT */\n /* CIF START (28, 0), (70, 35) */\n START;\n /* CIF NEXTSTATE (0, 58), (127, 35) */\n NEXTSTATE frameReceival;\n /* CIF STATE (345, 0), (127, 35) */\n STATE frameReceival;\n /* CIF INPUT (318, 55), (181, 35) */\n INPUT ReceivePacket(packet);\n /* CIF OUTPUT (287, 105), (244, 35) */\n OUTPUT SendFrameCount(length(packet));\n /* CIF LABEL (348, 155), (122, 54) */\n frameSending:\n /* CIF OUTPUT (264, 224), (290, 35) */\n OUTPUT SendFrame(packet(noOfSentPackets - 1));\n /* CIF DECISION (258, 274), (301, 50) */\n DECISION length(packet) = noOfSentPackets;\n /* CIF ANSWER (137, 344), (70, 23) */\n (true):\n /* CIF RETURN (155, 382), (35, 35) */\n RETURN ;\n /* CIF ANSWER (618, 344), (70, 23) */\n (false):\n /* CIF TASK (339, 382), (628, 35) */\n TASK noOfSentPackets := if noOfsentPackets = 255 then noOfSentPackets else noOfSentPackets + 1 fi;\n /* CIF JOIN (636, 432), (35, 35) */\n JOIN frameSending;\n ENDDECISION;\n ENDSTATE;\n ENDSUBSTRUCTURE;\n STATE frameReceival;\n SUBSTRUCTURE\n /* CIF TEXT (1100, 14), (336, 140) */\n -- Text area for declarations and comments\n \n DCL frameCounter My8BitArrayValueInteger := 0;\n /* CIF ENDTEXT */\n /* CIF START (69, 0), (70, 35) */\n START;\n /* CIF NEXTSTATE (22, 50), (164, 35) */\n NEXTSTATE frameCountReceival;\n /* CIF STATE (270, 0), (164, 35) */\n STATE frameCountReceival;\n /* CIF INPUT (231, 55), (243, 35) */\n INPUT ReceiveFrameCount(frameCount);\n /* CIF NEXTSTATE (289, 105), (127, 35) */\n NEXTSTATE frameReceival;\n ENDSTATE;\n /* CIF STATE (726, 0), (127, 35) */\n STATE frameReceival;\n /* CIF INPUT (695, 55), (189, 35) */\n INPUT ReceiveFrame(frame);\n /* CIF TASK (515, 105), (548, 38) */\n TASK frameCounter := if frameCounter = 255 then frameCounter else frameCounter + 1 fi,\npacket(frameCounter - 1) := frame;\n /* CIF DECISION (675, 161), (229, 41) */\n DECISION frameCounter = frameCount;\n /* CIF ANSWER (631, 222), (70, 23) */\n (true):\n /* CIF OUTPUT (585, 260), (162, 35) */\n OUTPUT SendPacket(packet);\n /* CIF RETURN (648, 310), (35, 35) */\n RETURN ;\n /* CIF ANSWER (873, 222), (70, 23) */\n (false):\n /* CIF NEXTSTATE (844, 260), (127, 35) */\n NEXTSTATE frameReceival;\n ENDDECISION;\n ENDSTATE;\n ENDSUBSTRUCTURE;\n /* CIF STATE (11, 0), (134, 35) */\n STATE frameReceival;\n ENDSTATE;\n /* CIF STATE (0, 49), (159, 35) */\n STATE packetReceival;\n ENDSTATE;\n ENDSUBSTRUCTURE;\n /* CIF TEXT (328, 13), (300, 140) */\n -- Text area for declarations and comments\n \n DCL frameCount My8BitArrayValueInteger;\n \n DCL frame MyFrame;\n \n DCL packet MyPacket;\n /* CIF ENDTEXT */\n /* CIF START (49, 1), (70, 35) */\n START;\n /* CIF LABEL (49, 56), (70, 35) */\n waiting:\n /* CIF NEXTSTATE (49, 111), (70, 35) */\n NEXTSTATE wait;\n /* CIF STATE (175, 1), (70, 35) */\n STATE wait;\n ENDSTATE;\n'
org.antlr.v4.runtime.misc.ParseCancellationException: line 8:20 no viable alternative at input '/* CIF TEXT (673, 16), (357, 140) */\n -- Text area for declarations and comments\n \n DCL noOfSentPackets My8BitArrayValueInteger := 1;\n /* CIF ENDTEXT */\n /* CIF START (28, 0), (70, 35) */\n START;\n /* CIF NEXTSTATE (0, 58), (127, 35) */\n NEXTSTATE frameReceival;\n /* CIF STATE (345, 0), (127, 35) */\n STATE frameReceival;\n /* CIF INPUT (318, 55), (181, 35) */\n INPUT ReceivePacket(packet);\n /* CIF OUTPUT (287, 105), (244, 35) */\n OUTPUT SendFrameCount(length(packet));\n /* CIF LABEL (348, 155), (122, 54) */\n frameSending:\n /* CIF OUTPUT (264, 224), (290, 35) */\n OUTPUT SendFrame(packet(noOfSentPackets - 1));\n /* CIF DECISION (258, 274), (301, 50) */\n DECISION length(packet) = noOfSentPackets;\n /* CIF ANSWER (137, 344), (70, 23) */\n (true):\n /* CIF RETURN (155, 382), (35, 35) */\n RETURN ;\n /* CIF ANSWER (618, 344), (70, 23) */\n (false):\n /* CIF TASK (339, 382), (628, 35) */\n TASK noOfSentPackets := if noOfsentPackets = 255 then noOfSentPackets else noOfSentPackets + 1 fi;\n /* CIF JOIN (636, 432), (35, 35) */\n JOIN frameSending;\n ENDDECISION;\n ENDSTATE;\n ENDSUBSTRUCTURE;\n STATE frameReceival;\n SUBSTRUCTURE\n /* CIF TEXT (1100, 14), (336, 140) */\n -- Text area for declarations and comments\n \n DCL frameCounter My8BitArrayValueInteger := 0;\n /* CIF ENDTEXT */\n /* CIF START (69, 0), (70, 35) */\n START;\n /* CIF NEXTSTATE (22, 50), (164, 35) */\n NEXTSTATE frameCountReceival;\n /* CIF STATE (270, 0), (164, 35) */\n STATE frameCountReceival;\n /* CIF INPUT (231, 55), (243, 35) */\n INPUT ReceiveFrameCount(frameCount);\n /* CIF NEXTSTATE (289, 105), (127, 35) */\n NEXTSTATE frameReceival;\n ENDSTATE;\n /* CIF STATE (726, 0), (127, 35) */\n STATE frameReceival;\n /* CIF INPUT (695, 55), (189, 35) */\n INPUT ReceiveFrame(frame);\n /* CIF TASK (515, 105), (548, 38) */\n TASK frameCounter := if frameCounter = 255 then frameCounter else frameCounter + 1 fi,\npacket(frameCounter - 1) := frame;\n /* CIF DECISION (675, 161), (229, 41) */\n DECISION frameCounter = frameCount;\n /* CIF ANSWER (631, 222), (70, 23) */\n (true):\n /* CIF OUTPUT (585, 260), (162, 35) */\n OUTPUT SendPacket(packet);\n /* CIF RETURN (648, 310), (35, 35) */\n RETURN ;\n /* CIF ANSWER (873, 222), (70, 23) */\n (false):\n /* CIF NEXTSTATE (844, 260), (127, 35) */\n NEXTSTATE frameReceival;\n ENDDECISION;\n ENDSTATE;\n ENDSUBSTRUCTURE;\n /* CIF STATE (11, 0), (134, 35) */\n STATE frameReceival;\n ENDSTATE;\n /* CIF STATE (0, 49), (159, 35) */\n STATE packetReceival;\n ENDSTATE;\n ENDSUBSTRUCTURE;\n /* CIF TEXT (328, 13), (300, 140) */\n -- Text area for declarations and comments\n \n DCL frameCount My8BitArrayValueInteger;\n \n DCL frame MyFrame;\n \n DCL packet MyPacket;\n /* CIF ENDTEXT */\n /* CIF START (49, 1), (70, 35) */\n START;\n /* CIF LABEL (49, 56), (70, 35) */\n waiting:\n /* CIF NEXTSTATE (49, 111), (70, 35) */\n NEXTSTATE wait;\n /* CIF STATE (175, 1), (70, 35) */\n STATE wait;\n ENDSTATE;\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.composite_state_body(SDLParser.java:4593)
at ee.ibk.sdl.parser.grammar.SDLParser.composite_state_graph(SDLParser.java:3827)
at ee.ibk.sdl.parser.grammar.SDLParser.composite_state(SDLParser.java:3676)
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 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)
tests/regression/test-instance/og.pr-parse.out
View file @ 7e1798d0
[INFO] Starting to parse model test-instance/og.pr
[ERROR] Failed to parse model.
org.antlr.v4.runtime.misc.ParseCancellationException: line 4:4 mismatched input '-- A Demo to test octet strings\n -- using various symbols.\n \n -- check that types are case insensitive\n DCL first_msg, msg my_octStr;\n \n DCL seq SeqOf;\n \n DCL test Some_Thing;\n dcl foo MyInteger := 3;\n \n -- Unicode comments: héhé hôhÖ\n \n dcl alwaysTrue Type2 := 3 in {1,2,3};\n dcl alwaysFalse Type2 := 0 in {1,2,3};\n \n dcl seqofbool seqBool := { true, true};\n /* CIF ENDTEXT */\n /* CIF START (1427, 35), (100, 50) */\n START;\n /* CIF task (1370, 100), (214, 83) */\n task test := 5,\ntest := power(test, 1),\ntest := abs(-4+1),\ntest := abs(test)\n /* CIF comment (1603, 123), (183, 35) */\n comment 'Task with unicode: voilà!';\n /* CIF task (1375, 198), (204, 50) */\n task first_msg := 'Say hello first!'\n /* CIF comment (1599, 198), (148, 50) */\n comment 'String assignment';\n /* CIF PROCEDURECALL (1388, 263), (177, 35) */\n call writeln( first_msg(1,2));\n /* CIF PROCEDURECALL (1373, 313), (207, 35) */\n call writeln( not (not not true));\n /* CIF task (1394, 363), (165, 50) */\n task seq := default_seqof,\nseq := {1,2,3}\n /* CIF comment (1579, 363), (204, 50) */\n comment 'default_seqof is a constant\ndefined in the ASN.1 model';\n /* CIF task (1345, 428), (263, 50) */\n task seq := seq // {4, test} // default_seqof\n /* CIF comment (1629, 428), (156, 50) */\n comment 'Concatenate\ntwo SEQUENCE OF';\n /* CIF task (1408, 493), (137, 50) */\n task 'seq(1) := seq(2)';\n /* CIF task (1382, 558), (189, 50) */\n task seq := seq(0,1) // seq(3, 4)\n /* CIF comment (1590, 558), (166, 50) */\n comment 'Remove 3rd element';\n /* CIF task (1407, 623), (140, 53) */\n task for x in seq:\n call writeln(x);\nendfor;\n /* CIF PROCEDURECALL (1395, 691), (164, 35) */\n call writeln('test=', test);\n /* CIF decision (1425, 741), (104, 70) */\n decision test in seq\n /* CIF comment (1549, 756), (170, 39) */\n comment 'Test the "in" operator\nUnicode test: Ï';\n /* CIF ANSWER (1335, 831), (100, 35) */\n (TRUE):\n /* CIF PROCEDURECALL (1308, 881), (154, 50) */\n call writeln('All OK (1)');\n /* CIF ANSWER (1498, 831), (100, 35) */\n (FALSE):\n /* CIF PROCEDURECALL (1466, 881), (164, 50) */\n call writeln('NOT OK (1)')\n /* CIF comment (1650, 888), (117, 35) */\n comment 'Call UnicÔDË';\n enddecision;\n /* CIF decision (1427, 946), (100, 70) */\n decision 3 in seq\n /* CIF comment (1547, 963), (256, 35) */\n comment 'test==3 so it should also return true';\n /* CIF ANSWER (1341, 1036), (100, 35) */\n (TRUE):\n /* CIF PROCEDURECALL (1309, 1086), (164, 50) */\n call writeln('ALL OK (2)');\n /* CIF ANSWER (1513, 1036), (100, 35) */\n (FALSE):\n /* CIF PROCEDURECALL (1481, 1086), (164, 50) */\n call writeln('NOT OK (2)');\n enddecision;\n /* CIF NEXTSTATE (1427, 1151), (100, 50) */\n NEXTSTATE Wait;\n /* CIF state (2204, 160), (100, 50) */\n state Running;\n /* CIF input (2204, 230), (100, 50) */\n input go(msg)\n /* CIF comment (2324, 237), (184, 35) */\n comment 'Comment on process type';\n /* CIF PROCEDURECALL (2202, 300), (103, 35) */\n call writeln(msg);\n /* CIF decision (2202, 350), (103, 70) */\n decision msg\n /* CIF comment (2326, 360), (111, 50) */\n comment 'Switch-case\non strings';\n /* CIF ANSWER (2454, 440), (100, 35) */\n ('egg'):\n /* CIF task (2433, 490), (141, 50) */\n task msg := msg // '!!'\n /* CIF comment (2595, 490), (118, 50) */\n comment 'Concatenate\nstrings';\n /* CIF output (2429, 555), (150, 50) */\n output rezult(default_str)\n /* CIF comment (2594, 553), (161, 53) */\n comment 'Send a constant\ndefined in the ASN.1\nmodel';\n /* CIF NEXTSTATE (2454, 620), (100, 50) */\n NEXTSTATE Running\n /* CIF comment (2574, 627), (96, 35) */\n comment 'Néxtaytè';\n /* CIF ANSWER (1864, 440), (100, 35) */\n ('end'):\n /* CIF output (1858, 490), (112, 50) */\n output rezult\n('Goodbye!');\n /* CIF NEXTSTATE (1864, 557), (100, 50) */\n NEXTSTATE Wait;\n /* CIF ANSWER (2042, 440), (100, 35) */\n ELSE:\n /* CIF task (2021, 490), (141, 50) */\n task msg := msg // '!'\n /* CIF comment (2183, 490), (118, 50) */\n comment 'Concatenate\nstrings';\n /* CIF PROCEDURECALL (2008, 560), (167, 35) */\n call writeln('msg//! = ', msg);\n /* CIF task (1994, 610), (195, 50) */\n task msg := msg(3,4) // msg(1,2)\n /* CIF comment (2210, 610), (209, 53) */\n comment 'Concatenate two substrings\n(can be used to remove an\nelement from a list)';\n /* CIF PROCEDURECALL (1980, 680), (224, 35) */\n call writeln('msg(3,4)//(1,2) = ',msg);\n /* CIF task (2010, 730), (163, 50) */\n task msg := first_msg(1, 2)\n /* CIF comment (2186, 727), (177, 53) */\n comment 'Substring\nTODO check range\nagainst current Length';\n /* CIF PROCEDURECALL (1992, 800), (200, 35) */\n call writeln('first_msg(1,2)=',msg)\n /* CIF comment (2212, 800), (100, 35) */\n comment 'should be ay';\n /* CIF output (2038, 850), (108, 50) */\n output rezult(msg);\n /* CIF NEXTSTATE (2042, 915), (100, 50) */\n NEXTSTATE Running;\n enddecision;\n endstate;\n /* CIF state (1427, 1151), (100, 50) */\n state Wait;\n /* CIF input (1427, 1221), (100, 50) */\n input go(msg)\n /* CIF comment (1547, 1228), (120, 35) */\n comment 'Ïñpût unicode';\n /* CIF decision (1420, 1286), (114, 70) */\n decision msg = 'hello'\n /* CIF comment (1554, 1296), (128, 50) */\n comment 'Boolean test\non string value';\n /* CIF ANSWER (1638, 1376), (100, 35) */\n (FALSE):\n /* CIF output (1618, 1426), (139, 50) */\n output rezult(first_msg)\n /* CIF comment (1777, 1433), (85, 35) */\n comment 'OûtpUT';\n /* CIF NEXTSTATE (1638, 1491), (100, 50) */\n NEXTSTATE Wait;\n /* CIF ANSWER (1367, 1376), (100, 35) */\n (TRUE):\n /* CIF output (1344, 1426), (145, 50) */\n output rezult('Welcome')\n /* CIF comment (1509, 1426), (95, 50) */\n comment 'Send raw\nstring';\n /* CIF decision (1368, 1491), (98, 50) */\n decision 3 in {1,2,3};\n /* CIF ANSWER (1328, 1561), (88, 33) */\n (1 in {1,2}):\n /* CIF ANSWER (1418, 1561), (88, 33) */\n (0 in {1,2}):\n enddecision;\n /* CIF decision (1368, 1609), (98, 50) */\n decision 4 in {1,2,3};\n /* CIF ANSWER (1339, 1679), (66, 33) */\n (true):\n /* CIF ANSWER (1422, 1679), (70, 33) */\n (false):\n enddecision;\n /* CIF NEXTSTATE (1367, 1727), (100, 50) */\n NEXTSTATE Running;\n enddecision;\n endstate;\n' expecting PROCESS
org.antlr.v4.runtime.misc.ParseCancellationException: line 4:4 mismatched input '-- A Demo to test octet strings\n -- using various symbols.\n \n -- check that types are case insensitive\n DCL first_msg, msg my_octStr;\n \n DCL seq SeqOf;\n \n DCL test Some_Thing;\n dcl foo MyInteger := 3;\n \n -- Unicode comments: héhé hôhÖ\n \n dcl alwaysTrue Type2 := 3 in {1,2,3};\n dcl alwaysFalse Type2 := 0 in {1,2,3};\n \n dcl seqofbool seqBool := { true, true};\n /* CIF ENDTEXT */\n /* CIF START (1427, 35), (100, 50) */\n START;\n /* CIF task (1370, 100), (214, 83) */\n task test := 5,\ntest := power(test, 1),\ntest := abs(-4+1),\ntest := abs(test)\n /* CIF comment (1603, 123), (183, 35) */\n comment 'Task with unicode: voilà!';\n /* CIF task (1375, 198), (204, 50) */\n task first_msg := 'Say hello first!'\n /* CIF comment (1599, 198), (148, 50) */\n comment 'String assignment';\n /* CIF PROCEDURECALL (1388, 263), (177, 35) */\n call writeln( first_msg(1,2));\n /* CIF PROCEDURECALL (1373, 313), (207, 35) */\n call writeln( not (not not true));\n /* CIF task (1394, 363), (165, 50) */\n task seq := default_seqof,\nseq := {1,2,3}\n /* CIF comment (1579, 363), (204, 50) */\n comment 'default_seqof is a constant\ndefined in the ASN.1 model';\n /* CIF task (1345, 428), (263, 50) */\n task seq := seq // {4, test} // default_seqof\n /* CIF comment (1629, 428), (156, 50) */\n comment 'Concatenate\ntwo SEQUENCE OF';\n /* CIF task (1408, 493), (137, 50) */\n task 'seq(1) := seq(2)';\n /* CIF task (1382, 558), (189, 50) */\n task seq := seq(0,1) // seq(3, 4)\n /* CIF comment (1590, 558), (166, 50) */\n comment 'Remove 3rd element';\n /* CIF task (1407, 623), (140, 53) */\n task for x in seq:\n call writeln(x);\nendfor;\n /* CIF PROCEDURECALL (1395, 691), (164, 35) */\n call writeln('test=', test);\n /* CIF decision (1425, 741), (104, 70) */\n decision test in seq\n /* CIF comment (1549, 756), (170, 39) */\n comment 'Test the "in" operator\nUnicode test: Ï';\n /* CIF ANSWER (1335, 831), (100, 35) */\n (TRUE):\n /* CIF PROCEDURECALL (1308, 881), (154, 50) */\n call writeln('All OK (1)');\n /* CIF ANSWER (1498, 831), (100, 35) */\n (FALSE):\n /* CIF PROCEDURECALL (1466, 881), (164, 50) */\n call writeln('NOT OK (1)')\n /* CIF comment (1650, 888), (117, 35) */\n comment 'Call UnicÔDË';\n enddecision;\n /* CIF decision (1427, 946), (100, 70) */\n decision 3 in seq\n /* CIF comment (1547, 963), (256, 35) */\n comment 'test==3 so it should also return true';\n /* CIF ANSWER (1341, 1036), (100, 35) */\n (TRUE):\n /* CIF PROCEDURECALL (1309, 1086), (164, 50) */\n call writeln('ALL OK (2)');\n /* CIF ANSWER (1513, 1036), (100, 35) */\n (FALSE):\n /* CIF PROCEDURECALL (1481, 1086), (164, 50) */\n call writeln('NOT OK (2)');\n enddecision;\n /* CIF NEXTSTATE (1427, 1151), (100, 50) */\n NEXTSTATE Wait;\n /* CIF state (2204, 160), (100, 50) */\n state Running;\n /* CIF input (2204, 230), (100, 50) */\n input go(msg)\n /* CIF comment (2324, 237), (184, 35) */\n comment 'Comment on process type';\n /* CIF PROCEDURECALL (2202, 300), (103, 35) */\n call writeln(msg);\n /* CIF decision (2202, 350), (103, 70) */\n decision msg\n /* CIF comment (2326, 360), (111, 50) */\n comment 'Switch-case\non strings';\n /* CIF ANSWER (2454, 440), (100, 35) */\n ('egg'):\n /* CIF task (2433, 490), (141, 50) */\n task msg := msg // '!!'\n /* CIF comment (2595, 490), (118, 50) */\n comment 'Concatenate\nstrings';\n /* CIF output (2429, 555), (150, 50) */\n output rezult(default_str)\n /* CIF comment (2594, 553), (161, 53) */\n comment 'Send a constant\ndefined in the ASN.1\nmodel';\n /* CIF NEXTSTATE (2454, 620), (100, 50) */\n NEXTSTATE Running\n /* CIF comment (2574, 627), (96, 35) */\n comment 'Néxtaytè';\n /* CIF ANSWER (1864, 440), (100, 35) */\n ('end'):\n /* CIF output (1858, 490), (112, 50) */\n output rezult\n('Goodbye!');\n /* CIF NEXTSTATE (1864, 557), (100, 50) */\n NEXTSTATE Wait;\n /* CIF ANSWER (2042, 440), (100, 35) */\n ELSE:\n /* CIF task (2021, 490), (141, 50) */\n task msg := msg // '!'\n /* CIF comment (2183, 490), (118, 50) */\n comment 'Concatenate\nstrings';\n /* CIF PROCEDURECALL (2008, 560), (167, 35) */\n call writeln('msg//! = ', msg);\n /* CIF task (1994, 610), (195, 50) */\n task msg := msg(3,4) // msg(1,2)\n /* CIF comment (2210, 610), (209, 53) */\n comment 'Concatenate two substrings\n(can be used to remove an\nelement from a list)';\n /* CIF PROCEDURECALL (1980, 680), (224, 35) */\n call writeln('msg(3,4)//(1,2) = ',msg);\n /* CIF task (2010, 730), (163, 50) */\n task msg := first_msg(1, 2)\n /* CIF comment (2186, 727), (177, 53) */\n comment 'Substring\nTODO check range\nagainst current Length';\n /* CIF PROCEDURECALL (1992, 800), (200, 35) */\n call writeln('first_msg(1,2)=',msg)\n /* CIF comment (2212, 800), (100, 35) */\n comment 'should be ay';\n /* CIF output (2038, 850), (108, 50) */\n output rezult(msg);\n /* CIF NEXTSTATE (2042, 915), (100, 50) */\n NEXTSTATE Running;\n enddecision;\n endstate;\n /* CIF state (1427, 1151), (100, 50) */\n state Wait;\n /* CIF input (1427, 1221), (100, 50) */\n input go(msg)\n /* CIF comment (1547, 1228), (120, 35) */\n comment 'Ïñpût unicode';\n /* CIF decision (1420, 1286), (114, 70) */\n decision msg = 'hello'\n /* CIF comment (1554, 1296), (128, 50) */\n comment 'Boolean test\non string value';\n /* CIF ANSWER (1638, 1376), (100, 35) */\n (FALSE):\n /* CIF output (1618, 1426), (139, 50) */\n output rezult(first_msg)\n /* CIF comment (1777, 1433), (85, 35) */\n comment 'OûtpUT';\n /* CIF NEXTSTATE (1638, 1491), (100, 50) */\n NEXTSTATE Wait;\n /* CIF ANSWER (1367, 1376), (100, 35) */\n (TRUE):\n /* CIF output (1344, 1426), (145, 50) */\n output rezult('Welcome')\n /* CIF comment (1509, 1426), (95, 50) */\n comment 'Send raw\nstring';\n /* CIF decision (1368, 1491), (98, 50) */\n decision 3 in {1,2,3};\n /* CIF ANSWER (1328, 1561), (88, 33) */\n (1 in {1,2}):\n /* CIF ANSWER (1418, 1561), (88, 33) */\n (0 in {1,2}):\n enddecision;\n /* CIF decision (1368, 1609), (98, 50) */\n decision 4 in {1,2,3};\n /* CIF ANSWER (1339, 1679), (66, 33) */\n (true):\n /* CIF ANSWER (1422, 1679), (70, 33) */\n (false):\n enddecision;\n /* CIF NEXTSTATE (1367, 1727), (100, 50) */\n NEXTSTATE Running;\n enddecision;\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)
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment