IllegalArgumentException is ignored in State

Description

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.

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

Assignee

Reporter

Priority

Created October 12, 2020 at 10:34 AM
Updated October 13, 2020 at 10:13 AM
Resolved October 12, 2020 at 1:28 PM