Uses of Package
org.jmlspecs.jmlunit

Packages that use org.jmlspecs.jmlunit

org.jmlspecs.jmlunit

Generates JUnit test classes from JML specifications.

Classes in org.jmlspecs.jmlunit used by org.jmlspecs.jmlunit

FancyTabbedPrintWriter
A more convenient print writer.

JMLTestListener
A listener for test progress that takes into account meaningless test results (in which an entry precondition was false).

JMLTestRunner.JmlResultPrinter

JntGUI
This class is automatically generated from JntGUI.gui and contains member fields corresponding to tool-specific GUI specifications.

JntOptions
This class is automatically generated from JntOptions.opt and contains member fields corresponding to command-line options.

Main
A class implementing the entry point of the JML/JUnit test oracle generator.

TestClassGenerator
A class for generating JML/JUnit test driver classes.

TestClassGenerator.MethodInfo
Common information needed from JMethodDeclarationType and CMethod in this class.

TestClassGenerator.MethodsIterator
A composite control abstraction useful in this class.

TestClassGenerator.NameGenerator
A class for generating unique names for test methods.

TestClassGenerator.Parameter
A simple data structure class for storing information about a formal parameter.