ModelDriven / Alf-Reference-Implementation

Open-source implementation of the Action Language for fUML (Alf) specification.
30 stars 2 forks source link

NonFinalClauseMapping can raise a NullPointerException #91

Closed seidewitz closed 4 years ago

seidewitz commented 4 years ago

In the context of an ill-formed UML model, it is possible for the condition expression of an if clause to map such that there is no proper result source. In this case, there will be the identified decider for the mapping of the clause to be null, which results in a NullPointerException in the NonFinalClauseMapping::createClause method. This can be protected against by mapping to a "false" result if the decider is null at this point.

seidewitz commented 4 years ago

Resolved in 1.1.0i,