Exemplo n.º 1
0
        public void test4()
        {
            var h = new Holds <int>();

            h.v = 2;
            Contract.Assert(h.v == 2);
            Contract.Assert(h.test() == 2);
        }
Exemplo n.º 2
0
        public void test6()
        {
            var h = new Holds <Holds <int> >();

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

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