public void Modifiers31_Test()
 {
     OutputHelper.WriteLine("Section 10.1");
     OutputHelper.WriteLine("When a non-abstract class is derived from");
     OutputHelper.WriteLine("an abstract class, the non-abstract class must");
     OutputHelper.WriteLine("be include actual implementations of all inherited ");
     OutputHelper.WriteLine("abstract methods and accessors.  Such implementations");
     OutputHelper.WriteLine("are provided by overriding the abstract methods");
     OutputHelper.WriteLine("and accessors.");
     Assert.True(ModifiersTestClass31.testMethod());
 }
            public static bool testMethod()
            {
                ModifiersTestClass31      test    = new ModifiersTestClass31();
                ModifiersTestClass31_SubA abstest = test;

                abstest.F();
                if (test.MyInt == 1)
                {
                    return(true);
                }
                else
                {
                    return(false);
                }
            }
 public MFTestResults Modifiers31_Test()
 {
     Log.Comment("Section 10.1");
     Log.Comment("When a non-abstract class is derived from");
     Log.Comment("an abstract class, the non-abstract class must");
     Log.Comment("be include actual implementations of all inherited ");
     Log.Comment("abstract methods and accessors.  Such implementations");
     Log.Comment("are provided by overriding the abstract methods");
     Log.Comment("and accessors.");
     if (ModifiersTestClass31.testMethod())
     {
         return(MFTestResults.Pass);
     }
     return(MFTestResults.Fail);
 }
 public static bool testMethod()
 {
     ModifiersTestClass31 test = new ModifiersTestClass31();
     ModifiersTestClass31_SubA abstest = test;
     abstest.F();
     if (test.MyInt == 1)
     {
         return true;
     }
     else
     {
         return false;
     }
 }