Inconsistent OclVoid::oclAsType return
-
Key: OCL25-198
-
Legacy Issue Number: 19750
-
Status: open
-
Source: Model Driven Solutions ( Dr. Edward Willink)
-
Summary:
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