OCL 2.5 RTF Avatar
  1. OMG Issue

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

Open Closed All
  • Key: OCL25-75
  • Legacy Issue Number: 18980
  • Status: open  
  • Source: Model Driven Solutions ( Dr. Edward 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: Wed, 10 Nov 2021 10:19 GMT