Esempi in C# (CSharp) per Holds.test

Esempio n. 1

File: SplitFields.cs Progetto: michael-emmi/TinyBCT

        public void test4()
        {
            var h = new Holds <int>();

            h.v = 2;
            Contract.Assert(h.v == 2);
            Contract.Assert(h.test() == 2);
        }

Esempio n. 2

File: SplitFields.cs Progetto: michael-emmi/TinyBCT

        public void test6()
        {
            var h = new Holds <Holds <int> >();

            h.v   = new Holds <int>();
            h.v.v = 16;

            Contract.Assert(h.test().test() == 16);
        }