C# (CSharp) DerivedOfClosureWithStelem Examples

Example #1

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

        public void NegativeStelemSpecialization1()
        {
            var st = new DerivedOfClosureWithStelem <string>();

            try
            {
                st.M(new string[] { "a", "b", "c" }, 2);
                throw new Exception();
            }
            catch (TestRewriterMethods.PreconditionException e)
            {
                Assert.AreEqual(e.Message, ": i + 1 < ts.Length");
            }
        }

Example #2

File: RewrittenInheritanceTest.cs Project: nbulp/CodeContracts

 public void NegativeStelemSpecialization1()
 {
   var st = new DerivedOfClosureWithStelem<string>();
   try
   {
     st.M(new string[] { "a", "b", "c" }, 2);
     throw new Exception();
   }
   catch (TestRewriterMethods.PreconditionException e)
   {
     Assert.AreEqual(e.Message, ": i + 1 < ts.Length");
   }
 }

Example #3

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

        public void PositiveStelemSpecialization1()
        {
            var st = new DerivedOfClosureWithStelem <string>();

            st.M(new string[] { "a", "b", "c" }, 1);
        }

Example #4

File: RewrittenInheritanceTest.cs Project: nbulp/CodeContracts

 public void PositiveStelemSpecialization1()
 {
   var st = new DerivedOfClosureWithStelem<string>();
   st.M(new string[] { "a", "b", "c" }, 1);
 }