package testers
Type Members
-
trait
ActionTester extends BaseTester
implements the checking of Actions
-
trait
ArchiveTester extends BaseTester with ActionTester
trait implementing testing for archives
-
trait
BaseTester extends Logger
abstract class for MMT Testing components
-
trait
CheckTester extends BaseTester
implements testing of individual files
-
case class
ExtensionSpec(name: String, args: String*) extends Product with Serializable
an extension to be tested
-
trait
ExtensionTester extends BaseTester
trait implementing testing for extensions
- case class TestError(s: String) extends Error with Product with Serializable
-
class
TestErrorBuffer extends ErrorHandler
an ErrorHandler that stores errors in a buffer