Ejemplos de Strilanc.C.S en C# (CSharp)

Ejemplo n.º 1

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

        public void NegativeTestProperRetargettingOfImplicitInterfaceMethod()
        {
            var o = new Strilanc.C(false);

            try
            {
                o.S();
                throw new Exception();
            }
            catch (TestRewriterMethods.PreconditionException p)
            {
                Assert.AreEqual("this.P", p.Condition);
            }
        }

Ejemplo n.º 2

Archivo: RewrittenInheritanceTest.cs Proyecto: nbulp/CodeContracts

 public void NegativeTestProperRetargettingOfImplicitInterfaceMethod()
 {
   var o = new Strilanc.C(false);
   try
   {
     o.S();
     throw new Exception();
   }
   catch (TestRewriterMethods.PreconditionException p)
   {
     Assert.AreEqual("this.P", p.Condition);
   }
 }

Ejemplo n.º 3

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

        public void PositiveTestProperRetargettingOfImplicitInterfaceMethod()
        {
            var o = new Strilanc.C(true);

            o.S();
        }

Ejemplo n.º 4

Archivo: RewrittenInheritanceTest.cs Proyecto: nbulp/CodeContracts

 public void PositiveTestProperRetargettingOfImplicitInterfaceMethod()
 {
   var o = new Strilanc.C(true);
   o.S();
 }