search

eclipse-ocl / org.eclipse.ocl

Eclipse Public License 2.0
0 stars 0 forks source link

[console] Loaded OCL resource does not contribute to validation #743

Closed eclipse-ocl-bot closed 3 hours ago

eclipse-ocl-bot commented 3 hours ago

| --- | --- | | Bugzilla Link | 351579 | | Status | CLOSED FIXED | | Importance | P3 normal | | Reported | Jul 08, 2011 10:29 EDT | | Modified | May 20, 2013 11:38 EDT | | Version | 3.1.0 | | Depends on | 368612 | | Reporter | Ed Willink |

Description

If a Complete OCL file is loaded into the Xtext Console, it's invariants cannot be exploited.

?? add a Validate button for the context object.

??? try to poke the Complete OCL into the Resource that sources the selection ???

??? finally get round to providing a Complete OCL execution GUI ???

eclipse-ocl-bot commented 3 hours ago

By Ed Willink on May 02, 2012 15:16

Fixed by introduction of Complete OCL Resource action.

eclipse-ocl-bot commented 3 hours ago

By Ed Willink on May 20, 2013 11:38

CLOSED after a year in the RESOLVED state.