OCL 2.3 RTF Avatar
  1. OMG Issue

OCL23 — OCL 2.1 9.3 Inferred TupleLiteralExp part type

Open Closed All
  • Key: OCL23-15
  • Legacy Issue Number: 14584
  • Status: closed  
  • Source: Model Driven Solutions ( Dr. Edward Willink)
  • Summary:

    Disambiguating rule 1 for TupleLiteralExp requires each VariableDeclaration to have a type and initExpression.

    However some examples in 7.5.15 omit the type, which is easily inferred from the initializer.

    However neither 8.3.7 nor 9.3 specifies this inference.

    Presumably the type is optional and to be inferred when omitted.
  • Reported: OCL 2.1 — Tue, 27 Oct 2009 04:00 GMT
  • Disposition: Resolved — OCL 2.3
  • Disposition Summary:

    The synthesized attributes for VariableDeclarationCS should infer when possible.
  • Updated: Fri, 6 Mar 2015 20:58 GMT