Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.
Bug 327259 - [console] IDE ideas
Summary: [console] IDE ideas
Status: NEW
Alias: None
Product: OCL
Classification: Modeling
Component: Core (show other bugs)
Version: 3.0.0   Edit
Hardware: PC Windows Vista
: P3 enhancement (vote)
Target Milestone: ---   Edit
Assignee: OCL Inbox CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on: 580749
Blocks:
  Show dependency tree
 
Reported: 2010-10-07 13:20 EDT by Ed Willink CLA
Modified: 2022-09-17 02:36 EDT (History)
0 users

See Also:

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-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.