public void Transformations_TransformationRule_MarkInstantiatingFor2() { bool selectorCalled = false; ruleT1.MarkInstantiatingFor(baseT1, s => { selectorCalled = true; return(true); }); Assert.AreEqual(1, baseT1.Children.Count); Assert.AreEqual(baseT1, ruleT1.BaseRule); Assert.IsTrue(baseT1.Children.Contains(ruleT1)); var filter = ruleT1.BaseFilter; Assert.IsNotNull(filter); Assert.IsTrue(ruleT1.IsInstantiating(c_a)); Assert.IsFalse(ruleT1.IsInstantiating(c_ab)); Assert.IsTrue(selectorCalled); selectorCalled = false; Assert.IsFalse(ruleT1.IsInstantiating(c_abc)); Assert.IsFalse(ruleT1.IsInstantiating(c_other1)); Assert.IsFalse(ruleT1.IsInstantiating(c_other2)); Assert.IsFalse(ruleT1.IsInstantiating(c_otherN)); Assert.IsFalse(selectorCalled); }
public void Transformations_GeneralTransformationRule_IsInstantiating_NoCompliance() { Assert.IsFalse(ruleT1.IsInstantiating(context.Computations.Add(ruleDependent, new Dummy()))); }