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

            Contract.Assert(value >= 0);
        }
        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);
        }
 public void TestNonNullViaImplementation()
 {
     var x   = new ImplementMyInterface();
     var z   = x.InterfaceMethod();
     var len = z.Length;
 }
        public void TestGEQ_ZeroViaInstance_NoName()
        {
            var tmp = new ImplementMyInterface();

            Contract.Assert(tmp.Count >= 0);
        }
	public void TestNonNullViaImplementation()
    {
      var x = new ImplementMyInterface();
      var z = x.InterfaceMethod();
      var len = z.Length;      
    }
    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;
    }
 public void TestGEQ_ZeroViaInstance_NoName()
 {
   var tmp = new ImplementMyInterface();
   Contract.Assert(tmp.Count>= 0);
 }
 public void TestGEQ_ZeroViaInstance()
 {
   var tmp = new ImplementMyInterface();
   var value = tmp.Count;
   Contract.Assert(value >= 0);
 }