C# (CSharp) Tests.Sources MyDict Examples

Example #1

        partial void Run()
        {
            var md = new MyDict <string>(this.behave);

            if (behave)
            {
                var array = new string[5];
                md.CopyTo(array, 0);
            }
            else
            {
                md.CopyTo(null, 0);
            }
        }

Example #2

File: OOBPost.cs Project: asvishnyakov/CodeContracts

 partial void Run()
 {
   var md = new MyDict(this.behave);
   Contract.Assert(md.Keys != null);
 }

Example #3

File: OOBPost.cs Project: zhuyue1314/CodeContracts

        partial void Run()
        {
            var md = new MyDict(this.behave);

            Contract.Assert(md.Keys != null);
        }

Example #4

        partial void Run()
        {
            var md = new MyDict <string>(this.behave);

            Contract.Assert(md.Count == 0);
        }