Skip to content

GitLab

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

Update test references 

Add warnings about skipped composite state contents and update other refs
parent 596969a4
Hide whitespace changes
Inline Side-by-side
tests/regression/test-aggregation1/challenge.pr-to-xmi.out
View file @ 032aed69
......@@ -3,11 +3,11 @@
java.lang.ClassCastException: ee.ibk.sdl.parser.sdl.nodes.TransitionNode cannot be cast to ee.ibk.sdl.parser.sdl.nodes.StatePartNode
java.lang.ClassCastException: ee.ibk.sdl.parser.sdl.nodes.TransitionNode cannot be cast to ee.ibk.sdl.parser.sdl.nodes.StatePartNode
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitState(SDLToGAVisitor.java:916)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitState(SDLToGAVisitor.java:922)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitState(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$StateContext.accept(SDLParser.java:3397)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitProcessBody(SDLToGAVisitor.java:849)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitProcessBody(SDLToGAVisitor.java:855)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitProcessBody(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$ProcessBodyContext.accept(SDLParser.java:3105)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
......
tests/regression/test-aggregation2/og.pr-to-xmi.out
View file @ 032aed69
......@@ -6,11 +6,11 @@
java.lang.ClassCastException: ee.ibk.sdl.parser.sdl.nodes.TransitionNode cannot be cast to ee.ibk.sdl.parser.sdl.nodes.StatePartNode
java.lang.ClassCastException: ee.ibk.sdl.parser.sdl.nodes.TransitionNode cannot be cast to ee.ibk.sdl.parser.sdl.nodes.StatePartNode
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitState(SDLToGAVisitor.java:916)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitState(SDLToGAVisitor.java:922)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitState(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$StateContext.accept(SDLParser.java:3397)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitProcessBody(SDLToGAVisitor.java:849)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitProcessBody(SDLToGAVisitor.java:855)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitProcessBody(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$ProcessBodyContext.accept(SDLParser.java:3105)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
......
tests/regression/test-aggregation3/challenge.pr-to-xmi.out
View file @ 032aed69
[INFO] Starting to parse model ./test-aggregation3/challenge.pr
[WARNING] The composite state definitions are currently ignored. Input at pos 3:4
File: ./test-aggregation3/challenge.pr
[INFO] Parsing completed
[ERROR] Unable to find the interface definitions for the following processes: [challenge]
If these interfaces are specified in separate files, please make sure to pass them also to the tool.
......
tests/regression/test-asn1constants/orchestrator.pr-to-xmi.out
View file @ 032aed69
......@@ -3,23 +3,23 @@
java.lang.ClassCastException: ee.ibk.sdl.parser.sdl.nodes.AggregateNode cannot be cast to ee.ibk.sdl.parser.sdl.nodes.ActionNode
java.lang.ClassCastException: ee.ibk.sdl.parser.sdl.nodes.AggregateNode cannot be cast to ee.ibk.sdl.parser.sdl.nodes.ActionNode
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitTransition(SDLToGAVisitor.java:1166)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitTransition(SDLToGAVisitor.java:1172)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitTransition(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$TransitionContext.accept(SDLParser.java:5533)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitInput_part(SDLToGAVisitor.java:1116)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitInput_part(SDLToGAVisitor.java:1122)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitInput_part(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$Input_partContext.accept(SDLParser.java:5257)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visitChildren(AbstractParseTreeVisitor.java:46)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitState_part(SDLToGAVisitor.java:1026)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitState_part(SDLToGAVisitor.java:1032)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitState_part(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$State_partContext.accept(SDLParser.java:4547)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitState(SDLToGAVisitor.java:916)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitState(SDLToGAVisitor.java:922)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitState(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$StateContext.accept(SDLParser.java:3397)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitProcessBody(SDLToGAVisitor.java:849)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitProcessBody(SDLToGAVisitor.java:855)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitProcessBody(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$ProcessBodyContext.accept(SDLParser.java:3105)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
......
tests/regression/test-battery/og.pr-to-xmi.out
View file @ 032aed69
[INFO] Starting to parse model ./test-battery/og.pr
[ERROR] (visitSystem_definition) Unsupported child node: AggregateNode (3 nodes) [nodes=[SignalNode [name=dd, param=ParamRecord [paramName=null, typeName=MyInteger]], SignalNode [name=we, param=ParamRecord [paramName=null, typeName=Some_Thing]], ee.ibk.sdl.parser.sdl.nodes.ProcedureNode@77d67cf3]]
[ERROR] (visitSystem_definition) Unsupported child node: AggregateNode (3 nodes) [nodes=[SignalNode [name=dd, param=ParamRecord [paramName=null, typeName=MyInteger]], SignalNode [name=we, param=ParamRecord [paramName=null, typeName=Some_Thing]], ee.ibk.sdl.parser.sdl.nodes.ProcedureNode@6d1ef78d]]
Input: 'signal dd(MyInteger);' at pos 9:0
File: ./test-battery/og.pr
[FATAL] Failed to parse model
java.lang.ClassCastException: ee.ibk.sdl.parser.sdl.nodes.TransitionNode cannot be cast to ee.ibk.sdl.parser.sdl.nodes.StatePartNode
java.lang.ClassCastException: ee.ibk.sdl.parser.sdl.nodes.TransitionNode cannot be cast to ee.ibk.sdl.parser.sdl.nodes.StatePartNode
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitState(SDLToGAVisitor.java:916)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitState(SDLToGAVisitor.java:922)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitState(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$StateContext.accept(SDLParser.java:3397)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitProcessBody(SDLToGAVisitor.java:849)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitProcessBody(SDLToGAVisitor.java:855)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitProcessBody(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$ProcessBodyContext.accept(SDLParser.java:3105)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
......
tests/regression/test-branchcoverage/myfunction.pr-to-xmi.out
View file @ 032aed69
......@@ -9,15 +9,15 @@
java.lang.ClassCastException: ee.ibk.sdl.parser.sdl.nodes.AggregateNode cannot be cast to ee.ibk.sdl.parser.sdl.nodes.ActionNode
java.lang.ClassCastException: ee.ibk.sdl.parser.sdl.nodes.AggregateNode cannot be cast to ee.ibk.sdl.parser.sdl.nodes.ActionNode
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitTransition(SDLToGAVisitor.java:1166)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitTransition(SDLToGAVisitor.java:1172)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitTransition(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$TransitionContext.accept(SDLParser.java:5533)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitStart(SDLToGAVisitor.java:865)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitStart(SDLToGAVisitor.java:871)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitStart(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$StartContext.accept(SDLParser.java:3192)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitProcessBody(SDLToGAVisitor.java:845)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitProcessBody(SDLToGAVisitor.java:851)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitProcessBody(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$ProcessBodyContext.accept(SDLParser.java:3105)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
......
tests/regression/test-branchcoverage2/myfunction.pr-to-xmi.out
View file @ 032aed69
......@@ -3,15 +3,15 @@
java.lang.ClassCastException: ee.ibk.sdl.parser.sdl.nodes.AggregateNode cannot be cast to ee.ibk.sdl.parser.sdl.nodes.ActionNode
java.lang.ClassCastException: ee.ibk.sdl.parser.sdl.nodes.AggregateNode cannot be cast to ee.ibk.sdl.parser.sdl.nodes.ActionNode
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitTransition(SDLToGAVisitor.java:1166)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitTransition(SDLToGAVisitor.java:1172)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitTransition(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$TransitionContext.accept(SDLParser.java:5533)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitStart(SDLToGAVisitor.java:865)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitStart(SDLToGAVisitor.java:871)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitStart(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$StartContext.accept(SDLParser.java:3192)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitProcessBody(SDLToGAVisitor.java:845)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitProcessBody(SDLToGAVisitor.java:851)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitProcessBody(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$ProcessBodyContext.accept(SDLParser.java:3105)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
......
tests/regression/test-choice/og.pr-to-xmi.out
View file @ 032aed69
......@@ -54,23 +54,23 @@
java.lang.ClassCastException: ee.ibk.sdl.parser.sdl.nodes.StringNode cannot be cast to ee.ibk.sdl.parser.sdl.nodes.ActionNode
java.lang.ClassCastException: ee.ibk.sdl.parser.sdl.nodes.StringNode cannot be cast to ee.ibk.sdl.parser.sdl.nodes.ActionNode
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitTransition(SDLToGAVisitor.java:1166)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitTransition(SDLToGAVisitor.java:1172)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitTransition(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$TransitionContext.accept(SDLParser.java:5533)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitInput_part(SDLToGAVisitor.java:1116)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitInput_part(SDLToGAVisitor.java:1122)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitInput_part(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$Input_partContext.accept(SDLParser.java:5257)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visitChildren(AbstractParseTreeVisitor.java:46)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitState_part(SDLToGAVisitor.java:1026)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitState_part(SDLToGAVisitor.java:1032)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitState_part(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$State_partContext.accept(SDLParser.java:4547)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitState(SDLToGAVisitor.java:916)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitState(SDLToGAVisitor.java:922)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitState(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$StateContext.accept(SDLParser.java:3397)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitProcessBody(SDLToGAVisitor.java:849)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitProcessBody(SDLToGAVisitor.java:855)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitProcessBody(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$ProcessBodyContext.accept(SDLParser.java:3105)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
......
tests/regression/test-controlflow/system_structure.pr-to-xmi.out
View file @ 032aed69
......@@ -7,23 +7,23 @@
java.lang.ClassCastException: ee.ibk.sdl.parser.sdl.nodes.AggregateNode cannot be cast to ee.ibk.sdl.parser.sdl.nodes.ActionNode
java.lang.ClassCastException: ee.ibk.sdl.parser.sdl.nodes.AggregateNode cannot be cast to ee.ibk.sdl.parser.sdl.nodes.ActionNode
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitTransition(SDLToGAVisitor.java:1166)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitTransition(SDLToGAVisitor.java:1172)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitTransition(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$TransitionContext.accept(SDLParser.java:5533)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitInput_part(SDLToGAVisitor.java:1116)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitInput_part(SDLToGAVisitor.java:1122)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitInput_part(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$Input_partContext.accept(SDLParser.java:5257)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visitChildren(AbstractParseTreeVisitor.java:46)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitState_part(SDLToGAVisitor.java:1026)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitState_part(SDLToGAVisitor.java:1032)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitState_part(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$State_partContext.accept(SDLParser.java:4547)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitState(SDLToGAVisitor.java:916)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitState(SDLToGAVisitor.java:922)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitState(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$StateContext.accept(SDLParser.java:3397)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitProcessBody(SDLToGAVisitor.java:849)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitProcessBody(SDLToGAVisitor.java:855)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitProcessBody(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$ProcessBodyContext.accept(SDLParser.java:3105)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
......
tests/regression/test-debug/system_structure.pr-to-xmi.out
View file @ 032aed69
......@@ -31,15 +31,15 @@
java.lang.ClassCastException: ee.ibk.sdl.parser.sdl.nodes.AggregateNode cannot be cast to ee.ibk.sdl.parser.sdl.nodes.ActionNode
java.lang.ClassCastException: ee.ibk.sdl.parser.sdl.nodes.AggregateNode cannot be cast to ee.ibk.sdl.parser.sdl.nodes.ActionNode
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitTransition(SDLToGAVisitor.java:1166)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitTransition(SDLToGAVisitor.java:1172)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitTransition(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$TransitionContext.accept(SDLParser.java:5533)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitStart(SDLToGAVisitor.java:865)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitStart(SDLToGAVisitor.java:871)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitStart(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$StartContext.accept(SDLParser.java:3192)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitProcessBody(SDLToGAVisitor.java:845)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitProcessBody(SDLToGAVisitor.java:851)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitProcessBody(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$ProcessBodyContext.accept(SDLParser.java:3105)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
......
tests/regression/test-eds2/CCSDS_SOIS_Subnetwork_interfaces.asn-to-xmi.out
View file @ 032aed69
......@@ -74,7 +74,7 @@ Too many errors (20)
java.lang.RuntimeException: Fatal error occurred. The tool will stop now.
at ee.ibk.sdl.parser.utils.EventHandler.handle(EventHandler.java:141)
at ee.ibk.sdl.parser.utils.EventHandler.error(EventHandler.java:198)
at ee.ibk.sdl.parser.utils.ParserUtils.unsupported(ParserUtils.java:114)
at ee.ibk.sdl.parser.utils.ParserUtils.unsupported(ParserUtils.java:137)
at ee.ibk.sdl.parser.asn1.ASN1ToGAVisitor.visitSequenceType(ASN1ToGAVisitor.java:586)
at ee.ibk.sdl.parser.asn1.ASN1ToGAVisitor.visitSequenceType(ASN1ToGAVisitor.java:1)
at ee.ibk.sdl.parser.asn1.ASN1Parser$SequenceTypeContext.accept(ASN1Parser.java:2727)
......
tests/regression/test-emptysequence/og.pr-to-xmi.out
View file @ 032aed69
......@@ -48,23 +48,23 @@
java.lang.ClassCastException: ee.ibk.sdl.parser.sdl.nodes.StringNode cannot be cast to ee.ibk.sdl.parser.sdl.nodes.ActionNode
java.lang.ClassCastException: ee.ibk.sdl.parser.sdl.nodes.StringNode cannot be cast to ee.ibk.sdl.parser.sdl.nodes.ActionNode
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitTransition(SDLToGAVisitor.java:1166)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitTransition(SDLToGAVisitor.java:1172)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitTransition(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$TransitionContext.accept(SDLParser.java:5533)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitInput_part(SDLToGAVisitor.java:1116)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitInput_part(SDLToGAVisitor.java:1122)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitInput_part(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$Input_partContext.accept(SDLParser.java:5257)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visitChildren(AbstractParseTreeVisitor.java:46)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitState_part(SDLToGAVisitor.java:1026)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitState_part(SDLToGAVisitor.java:1032)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitState_part(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$State_partContext.accept(SDLParser.java:4547)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitState(SDLToGAVisitor.java:916)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitState(SDLToGAVisitor.java:922)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitState(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$StateContext.accept(SDLParser.java:3397)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitProcessBody(SDLToGAVisitor.java:849)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitProcessBody(SDLToGAVisitor.java:855)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitProcessBody(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$ProcessBodyContext.accept(SDLParser.java:3105)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
......
tests/regression/test-emptysequence2/test.pr-to-xmi.out
View file @ 032aed69
......@@ -6,23 +6,23 @@
java.lang.ClassCastException: ee.ibk.sdl.parser.sdl.nodes.AggregateNode cannot be cast to ee.ibk.sdl.parser.sdl.nodes.ActionNode
java.lang.ClassCastException: ee.ibk.sdl.parser.sdl.nodes.AggregateNode cannot be cast to ee.ibk.sdl.parser.sdl.nodes.ActionNode
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitTransition(SDLToGAVisitor.java:1166)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitTransition(SDLToGAVisitor.java:1172)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitTransition(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$TransitionContext.accept(SDLParser.java:5533)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitInput_part(SDLToGAVisitor.java:1116)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitInput_part(SDLToGAVisitor.java:1122)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitInput_part(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$Input_partContext.accept(SDLParser.java:5257)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visitChildren(AbstractParseTreeVisitor.java:46)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitState_part(SDLToGAVisitor.java:1026)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitState_part(SDLToGAVisitor.java:1032)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitState_part(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$State_partContext.accept(SDLParser.java:4547)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitState(SDLToGAVisitor.java:916)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitState(SDLToGAVisitor.java:922)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitState(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$StateContext.accept(SDLParser.java:3397)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitProcessBody(SDLToGAVisitor.java:849)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitProcessBody(SDLToGAVisitor.java:855)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitProcessBody(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$ProcessBodyContext.accept(SDLParser.java:3105)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
......
tests/regression/test-equal/system_structure.pr-to-xmi.out
View file @ 032aed69
......@@ -44,83 +44,83 @@
java.lang.ClassCastException: ee.ibk.sdl.parser.sdl.nodes.AggregateNode cannot be cast to ee.ibk.sdl.parser.sdl.nodes.ActionNode
java.lang.ClassCastException: ee.ibk.sdl.parser.sdl.nodes.AggregateNode cannot be cast to ee.ibk.sdl.parser.sdl.nodes.ActionNode
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitTransition(SDLToGAVisitor.java:1166)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitTransition(SDLToGAVisitor.java:1172)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitTransition(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$TransitionContext.accept(SDLParser.java:5533)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visitChildren(AbstractParseTreeVisitor.java:46)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitAnswer_part(SDLToGAVisitor.java:1281)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitAnswer_part(SDLToGAVisitor.java:1287)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitAnswer_part(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$Answer_partContext.accept(SDLParser.java:6519)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visitChildren(AbstractParseTreeVisitor.java:46)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitDecision(SDLToGAVisitor.java:1274)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitDecision(SDLToGAVisitor.java:1280)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitDecision(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$DecisionContext.accept(SDLParser.java:6423)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visitChildren(AbstractParseTreeVisitor.java:46)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitAction(SDLToGAVisitor.java:1183)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitAction(SDLToGAVisitor.java:1189)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitAction(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$ActionContext.accept(SDLParser.java:5651)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitTransition(SDLToGAVisitor.java:1166)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitTransition(SDLToGAVisitor.java:1172)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitTransition(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$TransitionContext.accept(SDLParser.java:5533)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visitChildren(AbstractParseTreeVisitor.java:46)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitAnswer_part(SDLToGAVisitor.java:1281)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitAnswer_part(SDLToGAVisitor.java:1287)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitAnswer_part(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$Answer_partContext.accept(SDLParser.java:6519)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visitChildren(AbstractParseTreeVisitor.java:46)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitAlternative_part(SDLToGAVisitor.java:1260)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitAlternative_part(SDLToGAVisitor.java:1266)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitAlternative_part(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$Alternative_partContext.accept(SDLParser.java:6268)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visitChildren(AbstractParseTreeVisitor.java:46)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitDecision(SDLToGAVisitor.java:1274)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitDecision(SDLToGAVisitor.java:1280)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitDecision(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$DecisionContext.accept(SDLParser.java:6423)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visitChildren(AbstractParseTreeVisitor.java:46)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitAction(SDLToGAVisitor.java:1183)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitAction(SDLToGAVisitor.java:1189)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitAction(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$ActionContext.accept(SDLParser.java:5651)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitTransition(SDLToGAVisitor.java:1166)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitTransition(SDLToGAVisitor.java:1172)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitTransition(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$TransitionContext.accept(SDLParser.java:5533)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visitChildren(AbstractParseTreeVisitor.java:46)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitAnswer_part(SDLToGAVisitor.java:1281)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitAnswer_part(SDLToGAVisitor.java:1287)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitAnswer_part(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$Answer_partContext.accept(SDLParser.java:6519)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visitChildren(AbstractParseTreeVisitor.java:46)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitDecision(SDLToGAVisitor.java:1274)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitDecision(SDLToGAVisitor.java:1280)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitDecision(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$DecisionContext.accept(SDLParser.java:6423)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visitChildren(AbstractParseTreeVisitor.java:46)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitAction(SDLToGAVisitor.java:1183)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitAction(SDLToGAVisitor.java:1189)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitAction(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$ActionContext.accept(SDLParser.java:5651)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitTransition(SDLToGAVisitor.java:1166)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitTransition(SDLToGAVisitor.java:1172)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitTransition(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$TransitionContext.accept(SDLParser.java:5533)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visitChildren(AbstractParseTreeVisitor.java:46)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitAnswer_part(SDLToGAVisitor.java:1281)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitAnswer_part(SDLToGAVisitor.java:1287)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitAnswer_part(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$Answer_partContext.accept(SDLParser.java:6519)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visitChildren(AbstractParseTreeVisitor.java:46)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitDecision(SDLToGAVisitor.java:1274)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitDecision(SDLToGAVisitor.java:1280)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitDecision(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$DecisionContext.accept(SDLParser.java:6423)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visitChildren(AbstractParseTreeVisitor.java:46)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitAction(SDLToGAVisitor.java:1183)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitAction(SDLToGAVisitor.java:1189)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitAction(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$ActionContext.accept(SDLParser.java:5651)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitTransition(SDLToGAVisitor.java:1166)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitTransition(SDLToGAVisitor.java:1172)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitTransition(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$TransitionContext.accept(SDLParser.java:5533)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitStart(SDLToGAVisitor.java:865)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitStart(SDLToGAVisitor.java:871)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitStart(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$StartContext.accept(SDLParser.java:3192)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitProcessBody(SDLToGAVisitor.java:845)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitProcessBody(SDLToGAVisitor.java:851)
at ee.ibk.sdl.parser.sdl.SDLToGAVisitor.visitProcessBody(SDLToGAVisitor.java:1)
at ee.ibk.sdl.parser.sdl.SDLParser$ProcessBodyContext.accept(SDLParser.java:3105)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
......
tests/regression/test-forloop/og.pr-to-xmi.out
View file @ 032aed69
[INFO] Starting to parse model ./test-forloop/og.pr
[ERROR] (visitSystem_definition) Unsupported child node: AggregateNode (3 nodes) [nodes=[SignalNode [name=dd, param=ParamRecord [paramName=null, typeName=myinteger]], SignalNode [name=we, param=ParamRecord [paramName=null, typeName=myinteger]], ee.ibk.sdl.parser.sdl.nodes.ProcedureNode@51fadaff]]
[ERROR] (visitSystem_definition) Unsupported child node: AggregateNode (3 nodes) [nodes=[SignalNode [name=dd, param=ParamRecord [paramName=null, typeName=myinteger]], SignalNode [name=we, param=ParamRecord [paramName=null, typeName=myinteger]], ee.ibk.sdl.parser.sdl.nodes.ProcedureNode@1fa1cab1]]
Input: 'signal dd(myinteger);' at pos 9:0
File: ./test-forloop/og.pr
[ERROR] Unable to find matching signal definition for event: dd
......
tests/regression/test-ibk/packetmanager.pr-to-xmi.out
View file @ 032aed69
[INFO] Starting to parse model ./test-ibk/packetmanager.pr
[WARNING] The composite state definitions are currently ignored. Input at pos 3:4
File: ./test-ibk/packetmanager.pr
[INFO] Parsing completed
[ERROR] Unable to find the interface definitions for the following processes: [packetmanager]
If these interfaces are specified in separate files, please make sure to pass them also to the tool.
......
tests/regression/test-ibk/system_structure.pr-to-xmi.out
View file @ 032aed69
......@@ -3,6 +3,8 @@
[INFO] Starting to parse model ./test-ibk/dataview-uniq.asn
[INFO] Parsing completed
[INFO] Starting to parse model ./test-ibk/packetmanager.pr
[WARNING] The composite state definitions are currently ignored. Input at pos 3:4
File: ./test-ibk/packetmanager.pr
[INFO] Parsing completed
[INFO] Starting to post-process
[INFO] Model XMI written to ./test-ibk/packetmanager_generated/packetmanager.xmi
tests/regression/test-ibk2/framemanager.pr-to-xmi.out
View file @ 032aed69
[INFO] Starting to parse model ./test-ibk2/framemanager.pr
[WARNING] The composite state definitions are currently ignored. Input at pos 3:4
File: ./test-ibk2/framemanager.pr
[INFO] Parsing completed
[ERROR] Unable to find the interface definitions for the following processes: [framemanager]
If these interfaces are specified in separate files, please make sure to pass them also to the tool.
......
tests/regression/test-ibk2/system_structure.pr-to-xmi.out
View file @ 032aed69
......@@ -3,6 +3,8 @@
[INFO] Starting to parse model ./test-ibk2/dataview-uniq.asn
[INFO] Parsing completed
[INFO] Starting to parse model ./test-ibk2/framemanager.pr
[WARNING] The composite state definitions are currently ignored. Input at pos 3:4
File: ./test-ibk2/framemanager.pr
[INFO] Parsing completed
[INFO] Starting to post-process
[INFO] Model XMI written to ./test-ibk2/framemanager_generated/framemanager.xmi
tests/regression/test-ibk3/node.pr-to-xmi.out
View file @ 032aed69
[INFO] Starting to parse model ./test-ibk3/node.pr
[WARNING] The composite state definitions are currently ignored. Input at pos 3:4
File: ./test-ibk3/node.pr
[INFO] Parsing completed
[ERROR] Unable to find the interface definitions for the following processes: [node]
If these interfaces are specified in separate files, please make sure to pass them also to the tool.
......
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