OCL 2.0 NO IDEA Avatar
  1. OMG Issue

OCL2_ — Errors in the abstract syntax chapter 1. -- [1] Integer conforms to real.

Open Closed All
  • Key: OCL2_-40
  • Legacy Issue Number: 7469
  • Status: closed  
  • Source: OpenModeling ( Jos Warmer)
  • Summary:

    context Primitive
    inv: (self.name = ’Integer’) implies
    Primitive.allInstances()->forAll (p | (p.name = ’Real’) implies
    (self.conformsTo(p))))
    ==> one closing bracket ’)’ too many
  • Reported: OCL 2.0b2 — Thu, 10 Jun 2004 04:00 GMT
  • Disposition: Resolved — OCL 2.0
  • Disposition Summary:

    No Data Available
  • Updated: Sun, 8 Mar 2015 13:35 GMT