-
Key: OCL21-285
-
Legacy Issue Number: 10782
-
Status: closed
-
Source: Dell Technologies ( Mr. George Ericson)
-
Summary:
I find in the OCL document section "7.3.3. Invariants" that I can name an invariant as in:
"context" <contextdeclaration> "inv" <constraintname> ":" ...
I haven't figured out how to parse the document well enough to be clear if this is formally defined.
And the real question is whether this applies to pre, post, body, init, and derived constraints.
Does it?
If not it would be useful to add.
-
Reported: OCL 2.0 — Thu, 8 Feb 2007 05:00 GMT
-
Disposition: Resolved — OCL 2.1
-
Disposition Summary:
No Data Available
-
Updated: Fri, 6 Mar 2015 20:58 GMT