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

Bug 349750

Summary:	[editor] Spurious error log warning for Duplicate
Product:	[Modeling] OCL	Reporter:	Ed Willink <ed>
Component:	Core	Assignee:	OCL Inbox <mdt-ocl-inbox>
Status:	CLOSED FIXED	QA Contact:
Severity:	normal
Priority:	P3
Version:	3.2.0
Target Milestone:	RC2
Hardware:	PC
OS:	Windows Vista
Whiteboard:

Description Ed Willink

2011-06-18 07:02:58 EDT

While editing an OCLinEcore file with a class invariant.

Copy and Paste the invariant. Duplicate warning message appears in Error Log.

Comment 1 Ed Willink

2011-06-18 07:40:19 EDT

Also for

		invariant set: Set{1,2,3,5..7,8,10..6};
		invariant set: Set<Integer>{1,2,3}->size() = 3;
		invariant loop: Sequence{1}->exists('xyzzy');


the duplicate set gives a line 0

IllegalArgumentException: The 'no duplicates' constraint is violated
   (see logs for details)

but still provides syntax checking amongst which is that exists is unresolved for an unknown type.

Comment 2 Ed Willink

2011-11-10 15:15:20 EST

M3: cannot reproduce any error log messages, but saving

        invariant set: Set{1,2,3,5..7,8,10..6};
        invariant set: Set<Integer>{1,2,3}->size() = 3;

as ecore loses the first one.

Time to

a) make AST validation work
b) suppress Ecore save when an error present

Comment 3 Ed Willink

2013-05-27 12:58:52 EDT

Validation constraints added.

Pushed to master for RC2.

Comment 4 Ed Willink

2014-05-27 09:44:18 EDT

CLOSED after more than a year in RESOLVED state.

Comment 5 Ed Willink

2014-05-27 09:52:42 EDT

and CLOSE