ALF 1.0 FTF Avatar
  1. OMG Issue

ALF_ — Constructor in a BehaviorInvocationExpression

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

    Subject: Constructor in a BehaviorInvocationExpression

    Subclause: 13.2.3 BehaviorInvocationExpression

    In Subclause 13.2.17, FeatureInvocationExpression contains the constraint featureInvocationExpressionAlternativeConstructor, which constrains the placement of an alternative constructor invocation within the method of a constructor operation. However, the target name of a BehaviorInvocationExpression may also disambiguate to a feature reference to a constructor. If such an invocation is within the method of a constructor operation, then it also needs to be similarly constrained as an alternative constructor invocation (perhaps by moving featureInvocationAlternativeConstructor constraint needs to be moved to the InvocationExpression superclass).

  • Reported: ALF 1.0b2 — Thu, 19 Jul 2012 04:00 GMT
  • Disposition: Resolved — ALF 1.0
  • Disposition Summary:

    Moving the constraint to the InvocationExpression superclass will not work, because this constraint limits when the referent of a feature invocation is a constructor. However, InstanceCreationExpression is also a subclass of InvocationExpression, and, in this case, the referent actually is supposed to be a constructor.

    Therefore, a similar constraint needs to be added to BehaviorInvocationExpression

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