C# (CSharp) OutOfBand Foo Examples

Example #1

        public void NegativeOutOfBandRequires2()
        {
            var c   = new OutOfBand.C();
            var foo = new OutOfBand.Foo(0);

            c.FooMethodTakingTypeFromSameAssembly(foo);
        }

Example #2

        public void NegativeOutOfBandRequires2()
        {
            var c   = new OutOfBand.C();
            var foo = new OutOfBand.Foo(-1);

            Assert.Throws <TestRewriterMethods.PostconditionException>(() => c.FooMethodTakingTypeFromSameAssembly(foo));
        }

Example #3

File: OutOfBandTest.cs Project: asvishnyakov/CodeContracts

 public void NegativeOutOfBandRequires2()
 {
   var c = new OutOfBand.C();
   var foo = new OutOfBand.Foo(-1);
   Assert.Throws<TestRewriterMethods.PostconditionException>(() => c.FooMethodTakingTypeFromSameAssembly(foo));
 }

Example #4

File: OutOfBandTest.cs Project: asvishnyakov/CodeContracts

 public void PositiveOutOfBandRequires()
 {
   var c = new OutOfBand.C();
   var foo = new OutOfBand.Foo(1);
   c.FooMethodTakingTypeFromSameAssembly(foo);
 }