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