I got the following behavior when using Live Validation with GMF. I try
to explain how to reproduce it as I think there might be a misconception
on behalf of the live validation.
I have a constraint with Domain Element Target EdgeElement, represented
as an edge. The validity of an EdgeElement relies on two associated
Domain Element of type NodeElement (the source and target of the edge)
If I am now changing a value of a NodeElement the live validation does
not prevent this (even if an EdgeElement becomes invalid) as it is only
checking the constraints that target the affected elements - in this
case EdgeElements.
Ths means if I have the same constraint both as live and batch version
and I have a valid model consisting of 1 EdgeElements connecting 2
NodeElements and change a value of a NodeElements and run batch
validation again, the EdgeElement is marked invalid.
Am I missing something, is this intended or shall I file a bug report on
this?