OCL 2.5 RTF Avatar
  1. OMG Issue

OCL25 — Missing mode precondition

  • Key: OCL25-4
  • Legacy Issue Number: 19536
  • Status: open  
  • Source: Model Driven Solutions ( Dr. Edward Willink)
  • Summary:

    To Integer::mod all

    pre: i <> 0

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