Provides classes that are fundamental to the JavaTESK language. The most important class is ModelObject, which is the root of the JavaTESK model class hierarchy.
Objects of the class CoverageInfo may be used in test scenarios to gather information on test coverage obtained. Such an object can be created by the createCoverageInfo()
methods for any specification method and any coverage defined in that specification.
Class TestException encompasses exception objects that may be thrown by the test system written in JavaTESK. Subclasses of TestException represent specific errors and exceptions possible to occur during test system work.