OCL 2.5 RTF Avatar
  1. OMG Issue

OCL25 — Collection{} is Collection(OclVoid){}

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

    Issue 12953 considered the problem of the element type of an empty collection and rejected OclVoid (Option 1) because Set{}->including(1) would fail.

    This rejection is appropriate when the collection is modified as in Java, but is inappropriate for OCL where a new Collection is created. There is therefore no problem in deciding that the most derived common element type of Set{} (OclVoid) and 1 (Integer) is Integer causing Set(Integer)::including(Integer) to be invoked.

  • Reported: OCL 2.1 — Mon, 22 Sep 2014 04:00 GMT
  • Updated: Thu, 8 Oct 2015 14:12 GMT