KerML 1.0b2 FTF Avatar
  1. OMG Issue

KERML — PrimaryExpressionMember production should generate a ParameterMembership

  • Key: KERML-61
  • Status: open  
  • Source: Model Driven Solutions ( Mr. Ed Seidewitz)
  • Summary:

    In the BNF in 8.2.5.8.2 Primary Expressions, the PrimaryExpressionMember production is used in BracketExpression, IndexExpression, CollectExpression, SelectExpression and FunctionOperationExpression to parse a PrimaryExpression that is intended to be the initial argument of an InvocationExpression. However, the result of PrimaryExpressionMember is a FeatureMembership that directly owns the parsed PrimaryExpression. But this will not result in the PrimaryExpression being an argument of the containing InvocationExpression because, for that to happen, the Expression needs to be the feature value of a parameter of the InvocationExpression.

    PrimaryExpressionMember should instead be structured like ArgumentMember in 8.2.5.8.1, resulting in a ParameterMembership to a Feature with a FeatureValue relationship to the parsed PrimaryExpression. NonFeatureChainPrimaryExpressionMember also needs to be similarly updated.

  • Reported: KerML 1.0a1 — Wed, 3 May 2023 17:32 GMT
  • Updated: Mon, 8 Apr 2024 21:42 GMT