/* (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); }