public void NegativeTestProperRetargettingOfImplicitInterfaceMethod()
{
var o = new Strilanc.C(false);
try
{
o.S();
throw new Exception();
}
catch (TestRewriterMethods.PreconditionException p)
{
Assert.AreEqual("this.P", p.Condition);
}
}
public void NegativeTestProperRetargettingOfImplicitInterfaceMethod()
{
var o = new Strilanc.C(false);
try
{
o.S();
throw new Exception();
}
catch (TestRewriterMethods.PreconditionException p)
{
Assert.AreEqual("this.P", p.Condition);
}
}
public void PositiveTestProperRetargettingOfImplicitInterfaceMethod()
{
var o = new Strilanc.C(true);
o.S();
}
public void PositiveTestProperRetargettingOfImplicitInterfaceMethod()
{
var o = new Strilanc.C(true);
o.S();
}
