ALF 1.0 FTF Avatar
  1. OMG Issue

ALF_ — Derived Attributes for LeftHandSide

  • Key: ALF_-21
  • Legacy Issue Number: 16435
  • Status: closed  
  • Source: Model Driven Solutions ( Mr. Ed Seidewitz)
  • Summary:

    Subclause: 13.2.6 LeftHandSide

    A left hand side should have derived type, lower and upper attributes, since these are defined in Subclause 8.8.

  • Reported: ALF 1.0b2 — Fri, 29 Jul 2011 04:00 GMT
  • Disposition: Resolved — ALF 1.0
  • Disposition Summary:

    Agreed (however, the correct subclause for LeftHandSide is 13.2.26, not 13.2.6). Constraints for AssignmentExpression also refer to the type and bounds of the left-hand side. Note, though, that the type and bounds for a left-hand side for the first assignment of a local name cannot be derived directly from the left-hand side, since they are determined by the right-hand side of the assignment. But this is already accounted for in the simple assignment multiplicity and type conformance constraints for an AssignmentExpression.

  • Updated: Fri, 6 Mar 2015 21:48 GMT