C# (CSharp) Contracts.Samples FooImplementation1 Exemples

Exemple #1

Fichier : Program.cs Projet : asvishnyakov/CodeContracts

    static void Main(string[] args)
    {
      var f1 = new FooImplementation1();
      int r1 = f1.Foo(0);
      Contract.Assert(r1 > 0);

      IFoo f2 = new FooImplementation2();
      int r2 = f2.Foo(1);
    }

Exemple #2

Fichier : Program.cs Projet : wang-xinhong/CodeContracts

        static void Main(string[] args)
        {
            var f1 = new FooImplementation1();
            int r1 = f1.Foo(0);

            Contract.Assert(r1 > 0);

            IFoo f2 = new FooImplementation2();
            int  r2 = f2.Foo(1);
        }