IllegalArgumentException is ignored in State
Description
Environment
None
Activity
Show:
Fabian Vu October 13, 2020 at 10:13 AM
This issue should be fixed now
Michael Leuschel October 13, 2020 at 8:51 AM
Type errors are now caught; but parse errors are still ignored it seems. "predicates" : ["newVal = 1+ + TRUE"],
Fabian Vu October 12, 2020 at 11:40 AM
This would also require an improvement of the error handling in GetOperationByPredicateCommand:
take different error types into account (distinguished by the functor wrapping the error message returned from Prolog).
Also extend IllegalArgumentException by the errors containing the error type.
Fixed
Details
Details
Assignee
Fabian Vu
Fabian VuReporter
Fabian Vu
Fabian VuPriority
Created October 12, 2020 at 10:34 AM
Updated October 13, 2020 at 10:13 AM
Resolved October 12, 2020 at 1:28 PM
An IllegalArgumentException is thrown by transitionFromPredicate in the class StateSpace. This exception is again ignored in findTransitions in State. This function is invoked by execute in Trace. There, it checks whether transitions is null which results in another IllegalArgumentException with less information.