I am having a problem with exists and forAll operations. Results are opposite to expected and correct result. In MAC, these operations also cause stackoverflow.
I have attached a sample project. It contains one ecore file and one XMI file.
Ecore is very simple containing only two classes (class1 and class2). Class1 contains association to CLass2 and it is of containment type. Class1 contains two boolean typed derived attributes while class2 contains only 1 boolean type attribute. Class1 contains following attributes with derivation statement.
I have attached XMI file containg 1 instance of class1 and 3 instances of class2. Attribute "available" for class2's instances is set to false. The result for class1.anyAvaiable and class1.allAvailable should be false but if you open XMI file in eclipse then it shows both attributes as true.
i have attached complete project.
it feels a bug in implementation of exists and forall operation. Please help me rectifying the problem.