search

eclipse-ocl / org.eclipse.ocl

Eclipse Public License 2.0
0 stars 0 forks source link

[console] IDE ideas #604

Open eclipse-ocl-bot opened 1 month ago

eclipse-ocl-bot commented 1 month ago

| --- | --- | | Bugzilla Link | 327259 | | Status | NEW | | Importance | P3 enhancement | | Reported | Oct 07, 2010 13:20 EDT | | Modified | Sep 17, 2022 02:36 EDT | | Version | 3.0.0 | | Depends on | 580749 | | Reporter | Ed Willink |

Description

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.

eclipse-ocl-bot commented 1 month ago

By Ed Willink on Nov 08, 2011 12:53

See also http://wiki.eclipse.org/MDT/OCL/Debugger

eclipse-ocl-bot commented 1 month ago

By Ed Willink on Sep 17, 2022 02:36

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.