ALF 1.1 RTF Avatar
  1. OMG Issue

ALF11 — Incorrect derivation of AssignmentExpression::isFeature

Open Closed All
  • Key: ALF11-75
  • Status: closed  
  • Source: Model Driven Solutions ( Mr. Ed Seidewitz)
  • Summary:

    The constraint assignmentExpressionIsFeatureDerivation has the description: "The left hand side of an assignment expression is a feature if it is a kind of FeatureLeftHandSide." However, such an expression can also have a feature as its left-hand side if the left-hand side is a name left-hand side for a name that disambiguates to a feature. There is a similar problem with the constraint incrementAndDecrementExprssionIsFeatureDerivation.
  • Reported: ALF 1.0 — Fri, 22 Jul 2016 19:14 GMT
  • Disposition: Resolved — ALF 1.1
  • Disposition Summary:

    Fix isFeature derivations

    The indicated derivations need to be fixed.
  • Updated: Thu, 22 Jun 2017 16:40 GMT