Exemplo n.º 1
0
        public void NonGenericImplicitImplementationClosurePostPositive()
        {
            IGenericInterface <string> j = new NonGenericImplicitImpl();

            string[] x = new string[] { "abcd", "defg" };
            j.WithStaticClosure(x, true);
        }
Exemplo n.º 2
0
        public void NonGenericImplicitImplementationClosure2PostNegative()
        {
            IGenericInterface <string> j = new NonGenericImplicitImpl();

            string[] x = new string[] { "abcd", "defg" };
            j.WithClosureObject(x, false);
        }
Exemplo n.º 3
0
        public void NonGenericImplicitImplementationClosure2PostNegative()
        {
            IGenericInterface <string> j = new NonGenericImplicitImpl();

            string[] x = new string[] { "abcd", "defg" };
            Assert.Throws <TestRewriterMethods.PostconditionException>(() => j.WithClosureObject(x, false));
        }
Exemplo n.º 4
0
        public void NonGenericImplicitImplementationPostNegative()
        {
            IGenericInterface <string> j = new NonGenericImplicitImpl();

            j.M("abcd", false);
        }
Exemplo n.º 5
0
        public void NonGenericImplicitImplementationPreNegative()
        {
            IGenericInterface <string> j = new NonGenericImplicitImpl();

            j.M(null, true);
        }
Exemplo n.º 6
0
        public void NonGenericImplicitImplementationPostNegative()
        {
            IGenericInterface <string> j = new NonGenericImplicitImpl();

            Assert.Throws <TestRewriterMethods.PostconditionException>(() => j.M("abcd", false));
        }
Exemplo n.º 7
0
        public void NonGenericImplicitImplementationPreNegative()
        {
            IGenericInterface <string> j = new NonGenericImplicitImpl();

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