/* (non-Javadoc)
* @see br.cos.ufrj.lens.odyssey.tools.psw.metamodels.core.interfaces.CoreClassifier#addInvariantConstraint(br.cos.ufrj.lens.odyssey.tools.psw.metamodels.core.interfaces.CoreExpression)
*/
public void addInvariantConstraint(
string name,
OclInvariantConstraint invariant)
{
if (name != null)
{
this.namedInvariantConstraints.Add(name, invariant);
}
else
{
this.annonymousInvariantConstraints.Add(invariant);
}
}
public void testInvariant()
{
AstOclConstraintFactory factory1 = AstOclConstraintFactoryManager.getInstance(umlModel.getOclPackage());
AstOclModelElementFactory factory2 = AstOclModelElementFactoryManager.getInstance(umlModel.getOclPackage());
BooleanLiteralExp exp1 = factory2.createBooleanLiteralExp(true, getClassifier("Boolean"));
ExpressionInOcl expInOcl = factory1.createExpressionInOcl("name", getClassifier("Film"), exp1);
OclInvariantConstraint constraint = (OclInvariantConstraint)factory1.createInvariantConstraint("test.ocl", "myInvariant", getClassifier("Film"), expInOcl);
Assert.AreEqual("inv myInvariant: True", constraint.ToString());
Assert.IsTrue(getClassifier("Film").getAllInvariants().Contains(constraint));
getClassifier("Film").deleteAllConstraintsForSource("test.ocl");
Assert.IsFalse(getClassifier("Film").getAllInvariants().Contains(constraint));
}
public abstract void addInvariantConstraint(string name, OclInvariantConstraint constraint);
public void addInvariantConstraint(
String name,
OclInvariantConstraint invariant)
{
constraintsHolder.addInvariantConstraint(name, invariant);
}
