Implement changes in OCL 2.0 final specification

[eclipse-ocl-bot]

| --- | --- |
| Bugzilla Link | 127113 |
| Status | CLOSED FIXED |
| Importance | P1 enhancement |
| Reported | Feb 09, 2006 12:49 EDT |
| Modified | May 27, 2011 02:41 EDT |
| Reporter | Christian Damus |

Description

The OMG has released its final version of the OCL 2.0 specification, which has several structural changes over the draft version implemented (partially) by this EMFT project.

The current metamodel and parser should be refactored to adopt these changes.

[eclipse-ocl-bot]

By Christian Damus on Apr 05, 2006 15:08

Committed the new AST API (to align with the adopted specification) and the complete OCL 2.0 grammar.

The parser now supports parsing of:

• oclIsInState() state expressions
• message expressions (of both the ^ and ^^ kinds, including accessing
  the properties of an OclMessage)
• init:, derive:, and def: expressions

The evaluation visitor supports evaluation of additional properties and operations (defined by def: expressions).

Code completion provides State suggestions and operation/signal suggestions for message expressions.

[eclipse-ocl-bot]

By Nick Boldt on Jan 28, 2008 16:35

Move to verified as per bug 206558.

[eclipse-ocl-bot]

By Ed Willink on May 27, 2011 02:40

Closing after over a year in verified state.

[eclipse-ocl-bot]

By Ed Willink on May 27, 2011 02:41

Closing after over a year in verified state.