OCL validator shows false negatives

[JakobVogelsang]

The OCL validator does seem to not work properly in some cases. It seems to return false negatives. The once that are very obvious are missing references. Say you have a file this does have LN that is pointing to LNodeType. For the given file, all references between logical node instances and logical node types are ok.

TransformerWinding.scd.zip

NOTE: Only referencing errors in the given fiels are false negatives. All other errors must not be considered.

[Sander3003]

@pascalwilbrink will look into it

[Sander3003]

Actions to take:

• Improve the heap size on github
• Request a maven dependency for https://github.com/riseclipse/riseclipse-ocl-constraints-scl2003/issues

[Sander3003]

This is still an open issue.

[Sander3003]

Todo;
Disable it in the UI by default
Grey out the button
Add text to the menu: WIP