We're updating the issue view to help you get more done. 

Exception when saving a trace file

Description

I just got this exception while saving a Trace (for my model Train_ProB2.mch):

de.prob.animator.domainobjects.EvaluationException: de.be4.classicalb.core.parser.exceptions.BCompoundException: [2,576] expecting: identifier literal
at de.prob.model.classicalb.ClassicalBModel.parseFormula(ClassicalBModel.java:111)
at de.prob2.ui.animation.tracereplay.TraceChecker.replayPersistentTransition(TraceChecker.java:196)
at de.prob2.ui.animation.tracereplay.TraceChecker.lambda$replayTrace$5(TraceChecker.java:133)
at java.lang.Thread.run(Thread.java:748)
Caused by: de.be4.classicalb.core.parser.exceptions.BCompoundException: [2,576] expecting: identifier literal
at de.be4.classicalb.core.parser.BParser.parse(BParser.java:424)
at de.be4.classicalb.core.parser.BParser.parseFormula(BParser.java:205)
at de.prob.model.classicalb.ClassicalBModel.parseFormula(ClassicalBModel.java:105)
... 3 more
Caused by: de.be4.classicalb.core.parser.exceptions.BParseException: [2,576] expecting: identifier literal
... 6 more
Caused by: de.be4.classicalb.core.parser.parser.ParserException: [2,576] expecting: identifier literal
at de.be4.classicalb.core.parser.parser.Parser.parse(Parser.java:3120)
at de.be4.classicalb.core.parser.BParser.parse(BParser.java:379)
... 5 more

The problem is I don't know which line of the prob2trace file causes a problem. It could be the lambda that causes a problem, or the external function CDIV. It would be good to provide feedback about the line number in the JSON file that causes a problem.

Status

Assignee

Unassigned

Reporter

Michael Leuschel

Labels

None

Priority

Major