Uses of Class
org.jmlspecs.jmlunit.TestClassGenerator.MethodInfo

Packages that use TestClassGenerator.MethodInfo

org.jmlspecs.jmlunit

Generates JUnit test classes from JML specifications.

Uses of TestClassGenerator.MethodInfo in org.jmlspecs.jmlunit

Fields in org.jmlspecs.jmlunit declared as TestClassGenerator.MethodInfo

private TestClassGenerator.MethodInfo

TestClassGenerator.MethodsIterator.cache Cached method to return next, null if none

Methods in org.jmlspecs.jmlunit that return TestClassGenerator.MethodInfo

TestClassGenerator.MethodInfo

TestClassGenerator.MethodsIterator.nextMethod() Return the next testable method

Methods in org.jmlspecs.jmlunit with parameters of type TestClassGenerator.MethodInfo

private String	TestClassGenerator.methodKind(TestClassGenerator.MethodInfo mdecl) Return the kind of method this is: either "method" or "constructor".
private void	TestClassGenerator.printAddMethodFor(TestClassGenerator.MethodInfo mdecl, String mname, String className, TestClassGenerator.Parameter[] params, TestClassGenerator.Parameter receiver, boolean isInstance, boolean isConstructor) Prints a method to add the test cases for the given method to a test suite.
private void	TestClassGenerator.generateNestedTestClassFor(TestClassGenerator.MethodInfo mdecl, String mname, String className, TestClassGenerator.Parameter[] params, TestClassGenerator.Parameter receiver, boolean isInstance, boolean isConstructor) Generates and prints a test class for the given method declaration, mdecl.
private void	TestClassGenerator.printTestClassFailMessage(TestClassGenerator.MethodInfo mdecl, String mname, TestClassGenerator.Parameter[] params, TestClassGenerator.Parameter receiver, boolean isInstance, boolean isConstructor) Print the doCall method.
protected void	TestClassGenerator.composeFailMessage(TestClassGenerator.MethodInfo mdecl, String mname, TestClassGenerator.Parameter[] params, TestClassGenerator.Parameter receiver, boolean isInstance, boolean isConstructor) Generates code that composes a message about the method and parameters.