Ejemplo n.º 1
0
        public void GenericExplicitImplementationPostNegative()
        {
            IGenericInterface <string> j = new GenericExplicitImpl <string>();

            j.M("abcd", false);
        }
Ejemplo n.º 2
0
        public void GenericExplicitImplementationPostNegative()
        {
            IGenericInterface <string> j = new GenericExplicitImpl <string>();

            Assert.Throws <TestRewriterMethods.PostconditionException>(() => j.M("abcd", false));
        }
Ejemplo n.º 3
0
        public void GenericExplicitImplementationPreNegative()
        {
            IGenericInterface <string> j = new GenericExplicitImpl <string>();

            j.M(null, true);
        }
Ejemplo n.º 4
0
        public void GenericExplicitImplementationPreNegative()
        {
            IGenericInterface <string> j = new GenericExplicitImpl <string>();

            Assert.Throws <TestRewriterMethods.PreconditionException>(() => j.M(null, true));
        }