OCL 2.5 RTF Avatar
  1. OMG Issue

OCL25 — Coolection operations do not allow invalid inputs

Open Closed All
  • Key: OCL25-45
  • Legacy Issue Number: 19534
  • Status: open  
  • Source: Model Driven Solutions ( Dr. Edward Willink)
  • Summary:

    Add not oclIsInvalid() precondition on all non-Collection inputs.

    e.g including(object : T)

    pre: not object.oclIsInvalid()

  • Reported: OCL 2.4 — Tue, 22 Jul 2014 04:00 GMT
  • Updated: Thu, 8 Oct 2015 14:11 GMT