OCL 2.5 RTF Avatar
  1. OMG Issue

OCL25 — OCL 2.3 - heterogeneous collections cannot be typed

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

    A Collection containing both 'a', and

    {'b', 'c'}

    must be typed as a
    Collection of OclAny since that is the only common type.

    This is unhelpful for tree structures.

    Suggest introduction of a pseudo-collection type Tree(T) to which
    both T and Collection(Tree(T)) conform.

    A String content tree then then be declared as a Tree(String).

  • Reported: OCL 2.1 — Mon, 4 Apr 2011 04:00 GMT
  • Updated: Sat, 16 Feb 2019 20:02 GMT