ALF 1.1 RTF Avatar
  1. OMG Issue

ALF11 — Definition of “Collection Class”

Open Closed All
  • Key: ALF11-2
  • Legacy Issue Number: 16427
  • Status: closed  
  • Source: Model Driven Solutions ( Mr. Ed Seidewitz)
  • Summary:

    Subclause: 11.6 Collection Classes

    The rule for collection class in Section 11.6 would allow a class that multiply inherited from collection class instantiations, resulting in ambiguity of the call to toSequence. Perhaps the simplest rule would be to just consider as a “collection class” any class with a toSequence operation and an appropriate constructor.
  • Reported: ALF 1.0b2 — Fri, 29 Jul 2011 04:00 GMT
  • Disposition: Resolved — ALF 1.1
  • Disposition Summary:

    Loosen definition of "collection class".

    Agreed. (Note that, in the Alf 1.0.1 formal specification, "Collection Classes" is subclause 11.7, not 11.6.)
  • Updated: Thu, 22 Jun 2017 16:40 GMT