C# (CSharp) QuantifierTest2 예제들

예제 #1

파일: RewrittenInheritanceTest.cs 프로젝트: wang-xinhong/CodeContracts

        public void NegativeQuantifierTest2b()
        {
            IQuantifierTest2 iq = new QuantifierTest2();

            int[] A = new int[] { 3, 4, 5 };
            iq.CopyArray(A, false);
        }

예제 #2

파일: RewrittenInheritanceTest.cs 프로젝트: zhuyue1314/CodeContracts

        public void NegativeQuantifierTest2b()
        {
            IQuantifierTest2 iq = new QuantifierTest2();

            int[] A = new int[] { 3, 4, 5 };
            Assert.Throws <TestRewriterMethods.PostconditionException>(() => iq.CopyArray(A, false));
        }

예제 #3

파일: RewrittenInheritanceTest.cs 프로젝트: wang-xinhong/CodeContracts

        public void NegativeQuantifierTest2a()
        {
            IQuantifierTest2 iq = new QuantifierTest2();

            int[] A = new int[] { 3, 4, 5 };
            iq.ModifyArray(A, 3, false);
        }

예제 #4

파일: RewrittenInheritanceTest.cs 프로젝트: wang-xinhong/CodeContracts

        public void PositiveQuantifierTest2()
        {
            IQuantifierTest2 iq = new QuantifierTest2();

            int[] A = new int[] { 3, 4, 5 };
            iq.ModifyArray(A, 3, true);
            iq.CopyArray(A, true);
        }

예제 #5

파일: RewrittenInheritanceTest.cs 프로젝트: nbulp/CodeContracts

 public void NegativeQuantifierTest2b()
 {
   IQuantifierTest2 iq = new QuantifierTest2();
   int[] A = new int[] { 3, 4, 5 };
   iq.CopyArray(A, false);
 }

예제 #6

파일: RewrittenInheritanceTest.cs 프로젝트: nbulp/CodeContracts

 public void NegativeQuantifierTest2a()
 {
   IQuantifierTest2 iq = new QuantifierTest2();
   int[] A = new int[] { 3, 4, 5 };
   iq.ModifyArray(A, 3, false);
 }

예제 #7

파일: RewrittenInheritanceTest.cs 프로젝트: nbulp/CodeContracts

 public void PositiveQuantifierTest2()
 {
   IQuantifierTest2 iq = new QuantifierTest2();
   int[] A = new int[] { 3, 4, 5 };
   iq.ModifyArray(A, 3, true);
   iq.CopyArray(A, true);
 }

예제 #8

파일: RewrittenInheritanceTest.cs 프로젝트: asvishnyakov/CodeContracts

 public void NegativeQuantifierTest2b()
 {
   IQuantifierTest2 iq = new QuantifierTest2();
   int[] A = new int[] { 3, 4, 5 };
   Assert.Throws<TestRewriterMethods.PostconditionException>(() => iq.CopyArray(A, false));
 }