Arguments of output parameters are not being checked as left-hand sides

ModelDriven / Alf-Reference-Implementation

Open-source implementation of the Action Language for fUML (Alf) specification.

30 stars 2 forks source link

Arguments of output parameters are not being checked as left-hand sides #97

Closed seidewitz closed 3 years ago

seidewitz commented 3 years ago

The effective left-hand side computed for the argument of an output parameter (by OutputNamedExpression.getLeftHandSide) should be checked for constraint violations.

seidewitz commented 3 years ago

Fixed in v1.1.0j.