KerML 1.0b2 FTF Avatar
  1. OMG Issue

KERML — PrimaryExpressionMember production should generate a ParameterMembership

  • Key: KERML-61
  • Status: closed  
  • 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
  • Disposition: Resolved — KerML 1.0b2
  • Disposition Summary:

    Revise grammar for PrimaryExpressionMember, BodyExpressionMember and FunctionReferenceExpressionMember

    The issue correctly states the problem with the current grammar for PrimaryExpressionMember. Moreover, the grammar for NonFeatureChainPrimaryExpression, BodyExpressionMember and FunctionReferenceExpressionMember (the first used in FeatureChainExpression, the latter two used in FunctionOperationExpression) also have this problem. The solution in all cases is similar, as suggested for PrimaryExpressionMember in the issue description.

  • Updated: Tue, 1 Jul 2025 15:01 GMT