Inconsistent OclVoid::oclAsType return
Legacy Issue Number: 19750
Source: Model Driven Solutions ( Ed Willink)
7.4.6 states: If the actual type of the object, at evaluation time, is not
a subtype of the type to which it is re-typed, then the result of oclAsType is invalid.
7.5.8 states: self.oclAsType(A).p1 – accesses the p1 property defined in A - this is incompatible with the no-class-change-to-A so A::p1 is not available for null.
But the normative 11.3.2 states: oclAsType(type : Classifier) : T
Evaluates to self.
The OCL 2.4 contribution to 11.3.2 was a typo. It should be "evaluates to invalid".
Reported: OCL 2.3.1 — Tue, 21 Apr 2015 04:00 GMT
Updated: Wed, 5 Jan 2022 15:34 GMT