Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 318092

Summary: [validator] Use OCL expression of constraints
Product: [Modeling] OCL Reporter: Ed Willink <ed>
Component: CoreAssignee: OCL Inbox <mdt-ocl-inbox>
Status: CLOSED FIXED QA Contact:
Severity: normal    
Priority: P3 Flags: ed: indigo-
ed: juno-
Version: 3.0.0   
Target Milestone: RC1   
Hardware: PC   
OS: Windows Vista   
Whiteboard: Usability
Bug Depends on:    
Bug Blocks: 318358    

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