C# (CSharp) InferenceOfNecessaryEnsures ImplementMyInterface Examples

Example #1

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

        public void TestGEQ_ZeroViaInstance()
        {
            var tmp   = new ImplementMyInterface();
            var value = tmp.Count;

            Contract.Assert(value >= 0);
        }

Example #2

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

        public int TestNegative(ImplementMyInterface i1, ImplementMyInterface i2)
        {
            Contract.Requires(i1 != null);
            Contract.Requires(i2 != null);

            var tmp = i2.InterfaceMethod();

            if (i1.Count > 0)
            {
                Contract.Assert(tmp != null);
            }
            return(0);
        }

Example #3

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

 public void TestNonNullViaImplementation()
 {
     var x   = new ImplementMyInterface();
     var z   = x.InterfaceMethod();
     var len = z.Length;
 }

Example #4

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

        public void TestGEQ_ZeroViaInstance_NoName()
        {
            var tmp = new ImplementMyInterface();

            Contract.Assert(tmp.Count >= 0);
        }

Example #5

File: NecessaryEnsures.cs Project: asvishnyakov/CodeContracts

	public void TestNonNullViaImplementation()
    {
      var x = new ImplementMyInterface();
      var z = x.InterfaceMethod();
      var len = z.Length;      
    }

Example #6

File: NecessaryEnsures.cs Project: asvishnyakov/CodeContracts

    public int TestNegative(ImplementMyInterface i1, ImplementMyInterface i2)
    {
      Contract.Requires(i1 != null);
      Contract.Requires(i2 != null);

      var tmp = i2.InterfaceMethod();
      if(i1.Count > 0)
      {
        Contract.Assert(tmp != null);
      }
      return 0;
    }

Example #7

File: NecessaryEnsures.cs Project: asvishnyakov/CodeContracts

 public void TestGEQ_ZeroViaInstance_NoName()
 {
   var tmp = new ImplementMyInterface();
   Contract.Assert(tmp.Count>= 0);
 }

Example #8

File: NecessaryEnsures.cs Project: asvishnyakov/CodeContracts

 public void TestGEQ_ZeroViaInstance()
 {
   var tmp = new ImplementMyInterface();
   var value = tmp.Count;
   Contract.Assert(value >= 0);
 }