public void NonGenericExplicitImplementationClosurePostPositive()
{
IGenericInterface <string> j = new NonGenericExplicitImpl();
string[] x = new string[] { "abcd", "defg" };
j.WithStaticClosure(x, true);
}
public void NonGenericExplicitImplementationClosure2PostNegative()
{
IGenericInterface <string> j = new NonGenericExplicitImpl();
string[] x = new string[] { "abcd", "defg" };
j.WithClosureObject(x, false);
}
public void NonGenericExplicitImplementationClosurePostNegative()
{
IGenericInterface <string> j = new NonGenericExplicitImpl();
string[] x = new string[] { "abcd", "defg" };
Assert.Throws <TestRewriterMethods.PostconditionException>(() => j.WithStaticClosure(x, false));
}
public void NonGenericExplicitImplementationPostNegative()
{
IGenericInterface <string> j = new NonGenericExplicitImpl();
j.M("abcd", false);
}
public void NonGenericExplicitImplementationPreNegative()
{
IGenericInterface <string> j = new NonGenericExplicitImpl();
j.M(null, true);
}
public void NonGenericExplicitImplementationPostNegative()
{
IGenericInterface <string> j = new NonGenericExplicitImpl();
Assert.Throws <TestRewriterMethods.PostconditionException>(() => j.M("abcd", false));
}
public void NonGenericExplicitImplementationPreNegative()
{
IGenericInterface <string> j = new NonGenericExplicitImpl();
Assert.Throws <TestRewriterMethods.PreconditionException>(() => j.M(null, true));
}
