Esempi in C# (CSharp) per Tests.Sources TestProtectedCallSiteRequires.DerivedInner

Esempio n. 1

File: InheritOOBProtected.cs Progetto: asvishnyakov/CodeContracts

 partial void Run()
 {
   var st = new TestProtectedCallSiteRequires();
   if (behave)
   {
     st.CallBarVirtually(0);
     var inner = new TestProtectedCallSiteRequires.DerivedInner();
     inner.CallBarVirtually();
   }
   else
   {
     st.CallBarVirtually(-1);
   }
 }

Esempio n. 2

File: InheritOOBProtected.cs Progetto: zhuyue1314/CodeContracts

        partial void Run()
        {
            var st = new TestProtectedCallSiteRequires();

            if (behave)
            {
                st.CallBarVirtually(0);
                var inner = new TestProtectedCallSiteRequires.DerivedInner();
                inner.CallBarVirtually();
            }
            else
            {
                st.CallBarVirtually(-1);
            }
        }