Exemplos de SubtypeOfUsingVirtualProperty em C# (CSharp)

Exemplo n.º 1

Arquivo: RewrittenInheritanceTest.cs Projeto: wang-xinhong/CodeContracts

        public void PositivePublicPropertyUsingVirtualProperty()
        {
            SubtypeOfUsingVirtualProperty d = new SubtypeOfUsingVirtualProperty();

            // This will fail if the inherited precondition is checked by calling
            //get_P with a non-virtual call.
            d.foo(3);
        }

Exemplo n.º 2

Arquivo: RewrittenInheritanceTest.cs Projeto: nbulp/CodeContracts

 public void PositivePublicPropertyUsingVirtualProperty()
 {
   SubtypeOfUsingVirtualProperty d = new SubtypeOfUsingVirtualProperty();
   // This will fail if the inherited precondition is checked by calling
   //get_P with a non-virtual call.
   d.foo(3);
 }