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

Bug 351579

Summary: [console] Loaded OCL resource does not contribute to validation
Product: [Modeling] OCL Reporter: Ed Willink <ed>
Component: CoreAssignee: OCL Inbox <mdt-ocl-inbox>
Status: CLOSED FIXED QA Contact:
Severity: normal    
Priority: P3    
Version: 3.1.0   
Target Milestone: M6   
Hardware: PC   
OS: Windows Vista   
Whiteboard:
Bug Depends on: 368612    
Bug Blocks:    

Description Ed Willink CLA 2011-07-08 10:29:01 EDT
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 ???
Comment 1 Ed Willink CLA 2012-05-02 15:16:21 EDT
Fixed by introduction of Complete OCL Resource action.
Comment 2 Ed Willink CLA 2013-05-20 11:38:00 EDT
CLOSED after a year in the RESOLVED state.