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