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 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);
 }