예제 #1
0
        public void Test()
        {
            var obj = new MichaelRepro4();

            Contract.Assert(obj.Value == null); // true
            Contract.Assert(obj.mRep != null);  // false
        }
예제 #2
0
 public void Test()
 {
   var obj = new MichaelRepro4();
   Contract.Assert(obj.Value == null); // true
   Contract.Assert(obj.mRep != null);  // false
 }
예제 #3
0
 public MichaelRepro4(string val, MichaelRepro4 rep)
 {
   this.Value = val;
   this.mRep = rep;
 }
예제 #4
0
 public MichaelRepro4(string val, MichaelRepro4 rep)
 {
     this.Value = val;
     this.mRep  = rep;
 }