Open issues

NullPointerException when name of included machine does not match filename
PROB2UI-383
Erroneous constant names in saved trace files
PROB2UI-382
Export Dot Visualisations either as Dot or as PDF files in addition to SVG
PROB2UI-381
IllegalStateException in StateView
PROB2UI-377
Unicode inverse in formulas causes problems
PROB2UI-368
Project and trace files should include format version numbers
PROB2UI-367
State view items should stay expanded more reliably
PROB2UI-366
Resizing Columns not working or strange
PROB2UI-365
B Console provides no solution for false universal quantifiers
PROB2UI-363
ProB Trace Replay does not work with deferred set elements
PROB2UI-359
Clicking Visualize Expression as Graph fails for Event-B predicate
PROB2UI-356
Trace Replay Improved Feedback
PROB2UI-355
Improve feedback in Execute by Predicate when no solution is found
PROB2UI-350
StackOverflow in Magic Layout for CAN_BUS_tlc
PROB2UI-339
Exception when saving a trace file
PROB2UI-337
The Trace Replay sometimes seems to check output parameters on the wrong state
PROB2UI-329
Investigate why ProB2-UI needs a higher TIME_OUT to work
PROB2UI-324
B editor should support highlighting for languages other than classical B
PROB2UI-319
B editor tries to highlight non-classical-B code using the classical B lexer
PROB2UI-318
Replaying long model checking counter examples takes some time
PROB2UI-311
Cluster Nodes
PROB2UI-301
Development of Magic Layout
PROB2UI-298
Investigate UI performance
PROB2UI-291
Adapt Display of LTL Formulas
PROB2UI-284
Extend find valid state command with checkbox for using current constants values
PROB2UI-278
Try and reuse probcli when loading or re-loading a model
PROB2UI-276
Show origin of entries in the state view
PROB2UI-275
Display description as hover tooltip in state view
PROB2UI-274
Operations view shows too many operations which are not top-level
PROB2UI-264
ANIMATION_FUNCTION images path
PROB2UI-248
Settings are reset when a new ProB 2 version is released
PROB2UI-243
Add symbolic feasibility command
PROB2UI-241
Make a version of the UI with a bundled JRE
PROB2UI-218
Cannot save/replay CSP traces
PROB2UI-164
Cannot quit ProB2-UI
PROB2UI-323
After Model Checking the Dot Windows pops in front
PROB2UI-272
B console doesn't scroll to the bottom when a long result causes the scrollbar to appear
PROB2UI-244
Shortcut "Ctrl++" doesn't work
PROB2UI-208
Shortcut for 'Zoom Out' doesn't work
PROB2UI-204
issue 1 of 39

NullPointerException when name of included machine does not match filename

Description

ProB Tcl/Tk says:
Cannot use B machine "PitmanController_v6" within INCLUDES clause. Rename machine "PitmanController_v6s" to "PitmanController_v6" in file: /Users/leuschel/git_root/ARTICLES/abz2020_case_study/LightModel/PitmanController_v6.mch
...
probclli says something similar, in ProB2-UI one gets a NullPointerException

java.lang.NullPointerException
at de.prob.model.classicalb.DependencyWalker.makeMachine(DependencyWalker.java:121)
at de.prob.model.classicalb.DependencyWalker.addMachine(DependencyWalker.java:128)
at de.prob.model.classicalb.DependencyWalker.caseAMachineReference(DependencyWalker.java:70)
at de.be4.classicalb.core.parser.node.AMachineReference.apply(AMachineReference.java:40)
at de.be4.classicalb.core.parser.analysis.DepthFirstAdapter.caseAIncludesMachineClause(DepthFirstAdapter.java:965)
at de.be4.classicalb.core.parser.node.AIncludesMachineClause.apply(AIncludesMachineClause.java:35)
at de.be4.classicalb.core.parser.analysis.DepthFirstAdapter.caseAAbstractMachineParseUnit(DepthFirstAdapter.java:121)
at de.be4.classicalb.core.parser.node.AAbstractMachineParseUnit.apply(AAbstractMachineParseUnit.java:45)
at de.be4.classicalb.core.parser.analysis.DepthFirstAdapter.caseStart(DepthFirstAdapter.java:37)
at de.be4.classicalb.core.parser.node.Start.apply(Start.java:35)
at de.prob.model.classicalb.ClassicalBModel.create(ClassicalBModel.java:83)
at de.prob.scripting.ClassicalBFactory.extract(ClassicalBFactory.java:48)
at de.prob2.ui.project.MachineLoader.load(MachineLoader.java:148)
at de.prob2.ui.project.MachineLoader.lambda$loadAsync$2(MachineLoader.java:107)
at java.lang.Thread.run(Thread.java:748)

Environment

None

Status

Assignee

Unassigned

Reporter

Michael Leuschel

Labels

None

Priority

Major
Configure