Ejemplos de DerivedOfClosureWithStelem.M en C# (CSharp)

Ejemplo n.º 1

Archivo: RewrittenInheritanceTest.cs Proyecto: 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");
            }
        }

Ejemplo n.º 2

Archivo: RewrittenInheritanceTest.cs Proyecto: 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");
   }
 }

Ejemplo n.º 3

Archivo: RewrittenInheritanceTest.cs Proyecto: wang-xinhong/CodeContracts

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

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

Ejemplo n.º 4

Archivo: RewrittenInheritanceTest.cs Proyecto: nbulp/CodeContracts

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