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

Bug 327259

Summary: [console] IDE ideas
Product: [Modeling] OCL Reporter: Ed Willink <ed>
Component: CoreAssignee: OCL Inbox <mdt-ocl-inbox>
Status: NEW --- QA Contact:
Severity: enhancement    
Priority: P3    
Version: 3.0.0   
Target Milestone: ---   
Hardware: PC   
OS: Windows Vista   
Whiteboard:
Bug Depends on: 580749    
Bug Blocks:    

Description Ed Willink CLA 2010-10-07 13:20:23 EDT 
Some ideas inspired by MODELS'10 discussions.

As well as evaluating a particular expression, the evaluation should be viewable as its ASG tree of typed intermediate results, with optional navigation to display prevailing self structures.

When validating a model, a checkbox selection should enable/disable each invariant allowing minimal interactive revalidations, either for the whole model by validating a resource, or for sub-trees by validating the tree root.

The invariants should be navigable so that they can be executed / cut and pasted.

After validation, all failures should be browseable as error/warning markers in the dynamic model instance display.
Comment 1 Ed Willink CLA 2011-11-08 12:53:43 EST 
See also http://wiki.eclipse.org/MDT/OCL/Debugger
Comment 2 Ed Willink CLA 2022-09-17 02:36:43 EDT 
Bug 580749 introduces an ElementLiteralExp thereby allowing any 'value' to be a 'literal' AS model that could be viwed by a tree editor / serailized in XMI.