public void Expref_inter_class_Test()
{
OutputHelper.WriteLine(" Tests converting from an interface to a class");
OutputHelper.WriteLine("From any interface-type S to any class-type T, provided T is not sealed, or provided T implements S.");
OutputHelper.WriteLine("If T implements S:");
Assert.True(ExprefTestClass_inter_class.testMethod());
}
public MFTestResults Expref_inter_class_Test()
{
Log.Comment(" Tests converting from an interface to a class");
Log.Comment("From any interface-type S to any class-type T, provided T is not sealed, or provided T implements S.");
Log.Comment("If T implements S:");
if (ExprefTestClass_inter_class.testMethod())
{
return(MFTestResults.Pass);
}
return(MFTestResults.Fail);
}
