Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.
Bug 318092 - [validator] Use OCL expression of constraints
Summary: [validator] Use OCL expression of constraints
Status: CLOSED FIXED
Alias: None
Product: OCL
Classification: Modeling
Component: Core (show other bugs)
Version: 3.0.0   Edit
Hardware: PC Windows Vista
: P3 normal (vote)
Target Milestone: RC1   Edit
Assignee: OCL Inbox CLA
QA Contact:
URL:
Whiteboard: Usability
Keywords:
Depends on:
Blocks: 318358
  Show dependency tree
 
Reported: 2010-06-26 14:23 EDT by Ed Willink CLA
Modified: 2014-05-27 09:53 EDT (History)
0 users

See Also:
ed: indigo-
ed: juno-

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Ed Willink CLA 2010-06-26 14:23:37 EDT 
The new Xtext editors lack validation. The OCL specification constraints lack animation.

Therefore

a) use OCL defined validation to debug the OCL specification

b) evolve to use Java generated from the OCL to restore performance
Comment 1 Ed Willink CLA 2011-12-23 08:02:35 EST 
The bug/318092 branch now supports the single UniqueName constraint for invariants defined in Pivot.ocl and genmodelled into ConstraintBodies.java. This is used by the Xtext editors to produce warnings.

Now to populate Pivot.ocl with many more constraints from UML and OCL.
Comment 2 Ed Willink CLA 2012-01-04 16:01:20 EST 
Additional non-trivial constraints for operation/property body type compatibility added, debugged and pushed to master.
Comment 3 Ed Willink CLA 2013-03-17 18:28:17 EDT 
Operation argument support finally in place.
Comment 4 Ed Willink CLA 2013-05-20 07:37:53 EDT 
This is substantially done although much more will follow as final UML alignment and modedling occurs.
Comment 5 Ed Willink CLA 2014-05-27 09:45:22 EDT 
CLOSED after more than a year in RESOLVED state.
Comment 6 Ed Willink CLA 2014-05-27 09:53:06 EDT 
and CLOSE