Esempi in C# (CSharp) per CodeUnderTest.ThomasPani.U

Esempio n. 1

File: RewrittenInheritanceTest.cs Progetto: wang-xinhong/CodeContracts

        public void NegativeInheritedInv()
        {
            var u = new CodeUnderTest.ThomasPani.U();

            try
            {
                u.SetToValidValue(false);
                throw new Exception();
            } catch (TestRewriterMethods.InvariantException e)
            {
                Assert.AreEqual("i > 0", e.Condition);
            }
        }

Esempio n. 2

File: RewrittenInheritanceTest.cs Progetto: nbulp/CodeContracts

 public void NegativeInheritedInv()
 {
   var u = new CodeUnderTest.ThomasPani.U();
   try
   {
     u.SetToValidValue(false);
     throw new Exception();
   } catch (TestRewriterMethods.InvariantException e)
   {
     Assert.AreEqual("i > 0", e.Condition);
   }
 }

Esempio n. 3

File: RewrittenInheritanceTest.cs Progetto: wang-xinhong/CodeContracts

        public void PositiveInheritedInv()
        {
            var u = new CodeUnderTest.ThomasPani.U();

            u.SetToValidValue(true);
        }

Esempio n. 4

File: RewrittenInheritanceTest.cs Progetto: nbulp/CodeContracts

 public void PositiveInheritedInv()
 {
   var u = new CodeUnderTest.ThomasPani.U();
   u.SetToValidValue(true);
 }