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