C# (CSharp) ConsoleApplication8 ImplementMyInterface 예제들

예제 #1

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

            Contract.Assert(value >= 0);
        }

예제 #2

        static void Main(string[] args)
        {
            var x   = new ImplementMyInterface();
            var z   = x.InterfaceMethod();
            var len = z.Length;

            Console.WriteLine(len);
        }

예제 #3

        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

파일: Program.cs 프로젝트: scottcarr/ccbot

    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

파일: Program.cs 프로젝트: scottcarr/ccbot

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

예제 #6

파일: Program.cs 프로젝트: scottcarr/ccbot

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

예제 #7

파일: Program.cs 프로젝트: scottcarr/ccbot

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

예제 #8

파일: Program.cs 프로젝트: scottcarr/ccbot

 static void Main(string[] args)
 {
   var x = new ImplementMyInterface();
   var z = x.InterfaceMethod();
   var len = z.Length;
   Console.WriteLine(len);
 }

예제 #9

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

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

예제 #10

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