protected IteratorExp checkIteratorExp(OclExpression oclExpression, String typeName, String name, String iteratorType, String iteratorName)
{
Assert.IsTrue(oclExpression is IteratorExp);
IteratorExp exp = (IteratorExp)oclExpression;
Assert.AreEqual(typeName, exp.getType().getName());
Assert.AreEqual(name, exp.getName());
Assert.AreEqual(1, exp.getIterators().Count);
VariableDeclaration varDecl = (VariableDeclaration)exp.getIterators()[0];
Assert.AreEqual(iteratorName, varDecl.getVarName());
Assert.AreEqual(iteratorType, varDecl.getType().getName());
return(exp);
}
public void testForAll_01()
{
List <object> constraints = doTestContextOK("context Film inv: self.tapes->forAll(t1 : Tape, t2 : Tape | t1 <> t2 and t1.number = 1 and self.name = \"alex\")",
getCurrentMethodName());
OclExpression oclExpression = getConstraintExpression(constraints);
Assert.IsTrue(oclExpression is IteratorExp);
IteratorExp exp = (IteratorExp)oclExpression;
Assert.AreEqual("Boolean", exp.getType().getName());
Assert.AreEqual("forAll", exp.getName());
Assert.AreEqual(2, exp.getIterators().Count);
VariableDeclaration v1 = (VariableDeclaration)exp.getIterators()[0];
VariableDeclaration v2 = (VariableDeclaration)exp.getIterators()[1];
Assert.AreEqual("t1", v1.getName());
Assert.AreEqual("t2", v2.getName());
Assert.AreEqual("Tape", v1.getType().getName());
Assert.IsTrue(exp.getBody() is OperationCallExp);
checkOperationCallExp(exp.getBody(), "and", "Boolean");
}