C# (CSharp) MichaelRepros MichaelRepro4 Examples

Example #1

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

        public void Test()
        {
            var obj = new MichaelRepro4();

            Contract.Assert(obj.Value == null); // true
            Contract.Assert(obj.mRep != null);  // false
        }

Example #2

File: PostOnly.cs Project: asvishnyakov/CodeContracts

 public void Test()
 {
   var obj = new MichaelRepro4();
   Contract.Assert(obj.Value == null); // true
   Contract.Assert(obj.mRep != null);  // false
 }

Example #3

File: PostOnly.cs Project: asvishnyakov/CodeContracts

 public MichaelRepro4(string val, MichaelRepro4 rep)
 {
   this.Value = val;
   this.mRep = rep;
 }

Example #4

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

 public MichaelRepro4(string val, MichaelRepro4 rep)
 {
     this.Value = val;
     this.mRep  = rep;
 }