Ejemplos de DynamicDispatch Reptile.SampleMethod en C# (CSharp)

Ejemplo n.º 1

Archivo: DynamicDispatch.cs Proyecto: michael-emmi/TinyBCT

        void test4_Bugged()
        {
            Reptile a = new Reptile();

            if (a.SampleMethod() == 1)
            {
                Contract.Assert(false);
            }
        }

Ejemplo n.º 2

Archivo: DynamicDispatch.cs Proyecto: michael-emmi/TinyBCT

        void test4_NoBugs()
        {
            Reptile a = new Reptile();

            if (a.SampleMethod() != 1)
            {
                Contract.Assert(false);
            }
        }