Esempi in C# (CSharp) per Tests GenericExplicitImpl.WithStaticClosure

Esempio n. 1

File: GenericsTest.cs Progetto: tianya9876/CodeContracts

        public void GenericExplicitImplementationClosurePostNegative()
        {
            IGenericInterface <string> j = new GenericExplicitImpl <string>();

            string[] x = new string[] { "abcd", "defg" };
            j.WithStaticClosure(x, false);
        }

Esempio n. 2

File: GenericsTest.cs Progetto: zhuyue1314/CodeContracts

        public void GenericExplicitImplementationClosurePostNegative()
        {
            IGenericInterface <string> j = new GenericExplicitImpl <string>();

            string[] x = new string[] { "abcd", "defg" };
            Assert.Throws <TestRewriterMethods.PostconditionException>(() => j.WithStaticClosure(x, false));
        }