Пример #1
0
        // not working
        public void TestGEQ_ZeroViaInstance()
        {
            var tmp   = new ImplementMyInterface();
            var value = tmp.Count;

            Contract.Assert(value >= 0);
        }
Пример #2
0
        static void Main(string[] args)
        {
            var x   = new ImplementMyInterface();
            var z   = x.InterfaceMethod();
            var len = z.Length;

            Console.WriteLine(len);
        }
Пример #3
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);
        }
Пример #4
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;
    }
Пример #5
0
 // not working 
 public void TestGEQ_ZeroViaInstance_NoName()
 {
   var tmp = new ImplementMyInterface();
   Contract.Assert(tmp.Count>= 0);
 }
Пример #6
0
 // not working 
 public void TestGEQ_ZeroViaInstance()
 {
   var tmp = new ImplementMyInterface();
   var value = tmp.Count;
   Contract.Assert(value >= 0);
 }
Пример #7
0
 public void TestNonNullViaImplementation()
 {
   var x = new ImplementMyInterface();
   var z = x.InterfaceMethod();
   var len = z.Length;      
 }
Пример #8
0
 static void Main(string[] args)
 {
   var x = new ImplementMyInterface();
   var z = x.InterfaceMethod();
   var len = z.Length;
   Console.WriteLine(len);
 }
Пример #9
0
        // not working
        public void TestGEQ_ZeroViaInstance_NoName()
        {
            var tmp = new ImplementMyInterface();

            Contract.Assert(tmp.Count >= 0);
        }
Пример #10
0
 public void TestNonNullViaImplementation()
 {
     var x   = new ImplementMyInterface();
     var z   = x.InterfaceMethod();
     var len = z.Length;
 }