ALF 1.0 FTF Avatar
  1. OMG Issue

ALF_ — Errors in LogicalExpression Constraints

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

    Subclause: 13.2.29 LogicalExpression

    • The definitions of the logicalExpressionIsBitStringConversion1 and logicalExpressionIsBitStringConversion2 constraints mention “shift expression” when they should say “logical expression”.

    • The logicalExpressionOperands constraint should allow for BitString and Integer operands (per the semantics of logical expression in Subclause 8.6.7).

    • The logicalExpressionTypeDeriviation constraint should give the type BitString if the expression is bit-wise.

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

    agreed

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