[validity] Introduce Validity View

[eclipse-ocl-bot]

| --- | --- | | Bugzilla Link | 425799 | | Status | RESOLVED FIXED | | Importance | P3 enhancement | | Reported | Jan 15, 2014 13:34 EDT | | Modified | May 28, 2014 03:02 EDT | | Reporter | Ed Willink |

Description

A prototype Validity View started on https://github.com/ewillink/ocl.git and continues at https://github.com/mrostren/ocl.

[eclipse-ocl-bot]

By marwa rostren on Mar 05, 2014 08:01

Created attachment 240539 First contribution

This contribution uses forms and manages actions:

- to run the validation on a opened model
- lock the validation on the current opened model
- filter the validation results (failures, errors, infos and warnings)
- show/hide unused nodes
- select/deselect all nodes
- select/deselect directly defined constraints on nodes
- add markers for model navigation
- add markers for constraints navigation, etc.

0003-Improve-the-validity-view.patch

[eclipse-ocl-bot]

By marwa rostren on Mar 05, 2014 08:03

Created attachment 240540 Enable Validation Results Export

This contribution adds a new extension point to permit a user defined exporter. Two exporters are suggested by default (Text and Html). And an export action is added to the validityView.

0004-Enable-Validation-Results-Export.patch

[eclipse-ocl-bot]

By marwa rostren on Mar 05, 2014 08:04

Created attachment 240541 Fix Export results Action

0010-Fix-Export-results-Action.patch

[eclipse-ocl-bot]

By marwa rostren on Mar 05, 2014 08:05

Created attachment 240542 Add Expand-All and Collapse-All actions

0011-Add-Expand-All-and-Collapse-All-actions.patch

[eclipse-ocl-bot]

By marwa rostren on Mar 05, 2014 08:06

Created attachment 240543 Add ValidityView tests

0012-Add-ValidityView-tests.patch

[eclipse-ocl-bot]

By marwa rostren on Mar 05, 2014 08:07

Created attachment 240544 Add OCL > Validate Action

This will validate the model, will open the validityView and will update its content

0014-Add-OCL-Validate-Action.patch

[eclipse-ocl-bot]

By marwa rostren on Mar 05, 2014 08:08

Created attachment 240545 Initialize correctly the ValidityView

When opening the validityView, the serviceSelection is null ! We use the ActiveEditor site and the treeSelection to update the validityView content.

0015-Initialize-correctly-the-ValidityView.patch

[eclipse-ocl-bot]

By marwa rostren on Mar 05, 2014 08:08

Created attachment 240546 Add nodes selection facilities

• deselect and disable All ResultNodes when the direct parentNode is deselected,
• deselect and disable the parentNode if all its children are deselected
• select and enable the parentNode if all its children are selected
• select and enable ancestors if one leaf has been selected

0016-Add-nodes-selection-facilities.patch

[eclipse-ocl-bot]

By marwa rostren on Mar 05, 2014 08:09

Created attachment 240547 fix Model element markers initialization

0019-fix-Model-element-markers-initialization.patch

[eclipse-ocl-bot]

By marwa rostren on Mar 05, 2014 08:09

Created attachment 240548 Use checkbox_obj.gif icon to produce SelectAll/DeselectAll icons

0020-Use-checkbox_obj.gif-icon-to-produce-SelectAll-Desel.patch

[eclipse-ocl-bot]

By marwa rostren on Mar 05, 2014 08:10

Created attachment 240549 Use emf Resource instead of core IResource in the IValidatorExport

0021-Use-emf-Resource-instead-of-core-IResource-in-the-IV.patch

[eclipse-ocl-bot]

By marwa rostren on Mar 05, 2014 08:10

Created attachment 240550 Tests cleaning/refactoring

0022-Tests-cleaning-refactoring.patch

[eclipse-ocl-bot]

By marwa rostren on Mar 05, 2014 08:10

Created attachment 240551 Fix constraining tree select/unselect. This propagate select/unselect down to the result checkboxes.

0023-Fix-constraining-tree-select-unselect.-This-propagat.patch

[eclipse-ocl-bot]

By marwa rostren on Apr 04, 2014 09:26

Hello Ed, \ Sorry for the late,\ Please check the https://git.eclipse.org/r/#/c/24449/ for the standalone mode.\ Regards

[eclipse-ocl-bot]

By Ed Willink on Apr 09, 2014 15:48

(In reply to marwa rostren from comment #14)

Please check the https://git.eclipse.org/r/#/c/24449/ for the standalone mode.

This has been used as the basis for code now committed to master, mostly annotated with [425799] in the GIT history.

The unnecessary UI dependencies have been elimninated so that org.eclipse.ocl.examples.standalone is a UI-free standalone application as one might expect. The commands are now defined extensively which improves modularity.

Switching to an interactive stdin for the null command can be done later.

There is no longer a default exporter output, rather no output gives stdout potentially allowing piping into something else.

[I also added a model exporter so that models can be exploited.]

I think I've eliminated all the madatory file extension dependencies; extensions are now just preferred behaviours.

The overloading of an OCL ruiles file to be a list needs rewriting.

Either a new command token for a file list\ Or just using the comma-separated/multi-token options of the extensible command line parser.

Eliminating UI dependencies required refactoring the exporter to disentangle the pop-ups.

[eclipse-ocl-bot]

By Ed Willink on May 28, 2014 03:02

Validity View available in M7