[editor] Spurious error log warning for Duplicate

[eclipse-ocl-bot]

| --- | --- | | Bugzilla Link | 349750 | | Status | CLOSED FIXED | | Importance | P3 normal | | Reported | Jun 18, 2011 07:02 EDT | | Modified | May 27, 2014 09:52 EDT | | Version | 3.2.0 | | Reporter | Ed Willink |

Description

While editing an OCLinEcore file with a class invariant.

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

[eclipse-ocl-bot]

By Ed Willink on Jun 18, 2011 07:40

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.

[eclipse-ocl-bot]

By Ed Willink on Nov 10, 2011 15:15

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

[eclipse-ocl-bot]

By Ed Willink on May 27, 2013 12:58

Validation constraints added.

Pushed to master for RC2.

[eclipse-ocl-bot]

By Ed Willink on May 27, 2014 09:44

CLOSED after more than a year in RESOLVED state.

[eclipse-ocl-bot]

By Ed Willink on May 27, 2014 09:52

and CLOSE