public void NonGenericImplicitImplementationPostNegative()
{
IGenericInterface <string> j = new NonGenericImplicitImpl();
j.M("abcd", false);
}
public void NonGenericImplicitImplementationPostNegative()
{
IGenericInterface <string> j = new NonGenericImplicitImpl();
Assert.Throws <TestRewriterMethods.PostconditionException>(() => j.M("abcd", false));
}
public void NonGenericImplicitImplementationPreNegative()
{
IGenericInterface <string> j = new NonGenericImplicitImpl();
j.M(null, true);
}
public void NonGenericImplicitImplementationPreNegative()
{
IGenericInterface <string> j = new NonGenericImplicitImpl();
Assert.Throws <TestRewriterMethods.PreconditionException>(() => j.M(null, true));
}