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

Packages that use TestClassGenerator.Parameter

org.jmlspecs.jmlunit

Generates JUnit test classes from JML specifications.

Uses of TestClassGenerator.Parameter in org.jmlspecs.jmlunit

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

private TestClassGenerator.Parameter[]

TestClassGenerator.MethodInfo.params The method's parameters

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

private TestClassGenerator.Parameter[]	TestClassGenerator.filterParameters(JFormalParameter[] p) Returns an array of original formal parameters, i.e., those not generated by the type checker.
private TestClassGenerator.Parameter[]	TestClassGenerator.generateParameters(CSpecializedType[] p) Returns an array of formal parameters for given parameter types, p.
TestClassGenerator.Parameter[]	TestClassGenerator.MethodInfo.parameters() Return this method's parameters

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

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.printBodyLoopControl(String mname, TestClassGenerator.Parameter param, int paramNum, int loopsThisSurrounds) Print the loop control statements for the body of adding tests for a method.
private void	TestClassGenerator.printInnerVarDecl(String mname, TestClassGenerator.Parameter param, int paramNum) Print the declaration of a final variable for this parameter.
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.printTestClassFieldDecl(TestClassGenerator.Parameter param, int paramNum) Print the declaration of a field for this parameter.
private void	TestClassGenerator.printTestClassArgumentDecl(TestClassGenerator.Parameter param) Print declaration of an argument.
private void	TestClassGenerator.printTestClassConstrAssign(TestClassGenerator.Parameter param) Print the assignment of a parameter to a field.
private void	TestClassGenerator.printTestClassDoCall(String mname, TestClassGenerator.Parameter[] params, TestClassGenerator.Parameter receiver, boolean isInstance, boolean isConstructor) Print the doCall method.
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.