ModelDriven / Alf-Reference-Implementation

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

Null pointer exception in ExternalNamespace::makeSubstitution #86

Closed seidewitz closed 5 years ago

seidewitz commented 5 years ago

The makeSubstitution method in the ExternalNamespaceImpl class substitutes the template argument corresponding to a reference that matches a template parameter. However, if a match is found, the loop is not exited. This can cause a null pointer exception on the next loop iteration if there is actually no template argument for the matched template parameter.

seidewitz commented 5 years ago

Fixed in v1.1.0h.