OCL 2.5 RTF Avatar
  1. OMG Issue

OCL25 — OclVoid::oclIsKindOf/oclIsTypeOf should return true/false rather than invalid

  • Key: OCL25-75
  • Legacy Issue Number: 18980
  • Status: open  
  • Source: Model Driven Solutions ( Ed Willink)
  • Summary:

    The Isabelle evolution for Annex A highlight two errors in the OCL 2.4 clarifications.

    OclVoid::oclIsKindOf/oclIsTypeOf should return true/false rather than invalid.

    ? oclIsKindof true for all types except OclIsInvalid.

  • Reported: OCL 2.4 — Mon, 30 Sep 2013 04:00 GMT
  • Updated: Thu, 8 Oct 2015 14:12 GMT