OCL23 — OCL 2.1 8.3.8 OclInvalid::allInstances

8.3.8 states that in regard to allInstances

"returns all instances of the classifier and the classifiers specializing it. May only be used for classifiers that have a finite
number of instances. This is the case, for example, for user defined classes because instances need to be created explicitly,
and for enumerations, the standard Boolean type, and other special types such as OclVoid and OclInvalid."

While it is true that OclInvalid has exactly one instance, the corresponding return of Set

is not well-formed.

Therefore the invocation OclInvalid.allInstances() must return invalid.

Suggest:

Replace "and OclInvalid" by ". But not for OclInvalid, for which the return is invalid"

No Data Available