Esempi in C# (CSharp) per DynamicDispatch Reptile.SampleMethod

Esempio n. 1

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

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

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

Esempio n. 2

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

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

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