Uses of Class
org.multijava.mjc.JFormalParameter

Packages that use JFormalParameter

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.jmldoc.jmldoc_142
org.jmlspecs.jmlrac	Generates Java classes from JML specifications that check assertions at runtime.
org.jmlspecs.jmlspec	A tool that can generate or compare specification skeletons from Java source or class files.
org.jmlspecs.jmlunit	Generates JUnit test classes from JML specifications.
org.jmlspecs.racwrap
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of JFormalParameter in org.jmlspecs.checker

Subclasses of JFormalParameter in org.jmlspecs.checker

class

JmlFormalParameter This class represents a formal parameter in a JML AST.

Fields in org.jmlspecs.checker declared as JFormalParameter

protected JFormalParameter[]

JmlBinaryMethod.formals

Methods in org.jmlspecs.checker that return JFormalParameter

JFormalParameter[]	JmlMethodDeclaration.parameters()
JFormalParameter[]	JmlSourceMethod.getASTparameters() Returns the parameters (AST's) for this method.
JFormalParameter[]	JmlBinaryMethod.parameters()
JFormalParameter[]	JmlParser.jParameterDeclarationList(int desc)
JFormalParameter	JmlParser.jParameterDeclaration(int desc)
private JFormalParameter[]	TestJmlParser.parameterDeclarationsFrom(JmlCompilationUnit unit)

Methods in org.jmlspecs.checker with parameters of type JFormalParameter

void	JmlAbstractVisitor.visitFormalParameters(JFormalParameter self) Visits the given formal parameters.
static JmlMethodDeclaration	JmlMethodDeclaration.makeInstance(TokenReference where, long modifiers, CTypeVariable[] typevariables, CType returnType, String ident, JFormalParameter[] parameters, CClassType[] exceptions, JBlock body, JavadocComment javadoc, JavaStyleComment[] comments, JmlMethodSpecification methodSpecification)
void	JmlMethodDeclaration.setParameters(JFormalParameter[] parameters)
void	JmlMethodDeclaration.addParameter(JFormalParameter param) Adds an additional formal parameter to this method, appending it to the end of the existing parameter list.
static JmlConstructorDeclaration	JmlConstructorDeclaration.makeInstance(TokenReference where, long modifiers, String ident, JFormalParameter[] params, CClassType[] exceptions, JConstructorBlock body, JavadocComment javadoc, JavaStyleComment[] comments, JmlMethodSpecification methodSpecification)
void	JmlVisitorNI.visitFormalParameters(JFormalParameter self) visits a formal parameter
void	JmlAccumSubclassingInfo.visitFormalParameters(JFormalParameter parm1)

Constructors in org.jmlspecs.checker with parameters of type JFormalParameter

JConstructorDeclarationWrapper(TokenReference where, long modifiers, String ident, JFormalParameter[] parameters, CClassType[] exceptions, JConstructorBlock body, JavadocComment javadoc, JavaStyleComment[] comments)
Construct a node in the parsing tree This method is directly called by the parser

JMethodDeclarationWrapper(TokenReference where, long modifiers, CTypeVariable[] typevariables, CType returnType, String ident, JFormalParameter[] parameters, CClassType[] exceptions, JBlock body, JavadocComment javadoc, JavaStyleComment[] comments)
Construct a node in the parsing tree This method is directly called by the parser

Uses of JFormalParameter in org.jmlspecs.jmldoc.jmldoc_142

Methods in org.jmlspecs.jmldoc.jmldoc_142 with parameters of type JFormalParameter

void	SpecWriter.visitFormalParameters(JFormalParameter self) visits a formal parameter

Uses of JFormalParameter in org.jmlspecs.jmlrac

Fields in org.jmlspecs.jmlrac declared as JFormalParameter

protected JFormalParameter[]

PreOrPostconditionMethod.parameters parameters of the target method

Methods in org.jmlspecs.jmlrac that return JFormalParameter

protected static JFormalParameter[]

PostconditionMethod.mkFormals(JFormalParameter[] params, CType type, String name) Builds new formal parameters by attaching a new formal parameter name of type type to the formal paramters params.

Methods in org.jmlspecs.jmlrac with parameters of type JFormalParameter

protected String	AssertionMethod.checker(boolean initValue, RacNode stmt, JFormalParameter[] params) Returnd the assertion check code (stmt) wrapped with code to inherit superclass's assertions if any, and to signal an assertion violation if it happens at runtime.
protected abstract String	AssertionMethod.inheritAssertion(JFormalParameter[] parameters) Returnd the code to inherit the superclass's assertions, i.e., to call the superclass's assertion check method and appropriately accumulate the result to the assertion variable (e.g., conjunction).
protected StringBuffer	AssertionMethod.buildHeader(String returnType, String name, JFormalParameter[] parameters, CClassType[] exceptions) Builds and returns a method header as a string.
protected StringBuffer	InvariantLikeMethod.buildHeader(String returnType, String name, JFormalParameter[] parameters, CClassType[] exceptions) Builds and returns the method header of the assertion check method as a string.
protected String	InvariantLikeMethod.inheritAssertion(JFormalParameter[] parameters) Return the code to inherit assertions of the superclass and interfaces, i.e., to call the assertion check method of the superclass and interfaces and appropriately accumulate the result to the assertion variable (e.g., conjunction).
protected String	PreOrPostconditionMethod.reflectiveCall(CClass clazz, JFormalParameter[] parameters, String resultVar) Return code that calls reflectively the pre or postcondition method of the given supertype, claszz.
private static PreOrPostconditionMethod.StringPair	PreOrPostconditionMethod.reflectiveCallArguments(JFormalParameter[] parameters) Returns a pair of strings suitable for arguments to invoke dynamically a method with the given formal parameter, parameters.
protected String	PreOrPostconditionMethod.nonReflectiveCall(CClass clazz, JFormalParameter[] parameters, String resultVar) Return code that calls non-reflectively the pre or postcondition method of the given supertype, claszz.
private static String	PreOrPostconditionMethod.nonreflectiveCallArguments(JFormalParameter[] parameters) Return code that represents the arguments corresponding to the given formal parameters, parameters.
protected static JFormalParameter[]	PostconditionMethod.mkFormals(JFormalParameter[] params, CType type, String name) Builds new formal parameters by attaching a new formal parameter name of type type to the formal paramters params.
protected String	PostconditionMethod.inheritAssertion(JFormalParameter[] parameters) Return the code to check inherited postconditions (from both the superclass and superinterfaces).
protected StringBuffer	MotherConstraintMethod.buildHeader(String returnType, String name, JFormalParameter[] parameters, CClassType[] exceptions) Builds, in a string form, the header of constraint method.
protected String	MotherConstraintMethod.checker(boolean initValue, RacNode stmt, JFormalParameter[] params) Returns the given constraint check code, stmt, wrapped with code to inherit supertypes's constraints.
protected String	MotherConstraintMethod.inheritAssertion(JFormalParameter[] parameters) Return the code to inherit constraints of the superclass and interfaces, i.e., to call the constraint methods of the superclass and interfaces.
protected String	PreconditionMethod.checker(boolean start, RacNode stmt, JFormalParameter[] params) Returns the precondition check code (stmt) wrapped with code to inherit superclass's preconditions if any, and to signal an assertion violation if it happens at runtime.
protected String	PreconditionMethod.inheritAssertion(JFormalParameter[] parameters) Return the code to check inherited preconditions (from both the superclass and interfaces), i.e., to call the proper precondition check methods and appropriately disjoin the result to the assertion variable.
void	RacPrettyPrinter.visitFormalParameters(JFormalParameter self)
protected String	SubtypeConstraintMethod.checker(boolean initValue, RacNode stmt, JFormalParameter[] params) Returns the local constraint check code (stmt) wrapped with code to inherit supertypes's constraints.
protected StringBuffer	SubtypeConstraintMethod.buildHeader(String returnType, String name, JFormalParameter[] parameters, CClassType[] exceptions) Builds, in a string form, the header of constraint method.

Uses of JFormalParameter in org.jmlspecs.jmlspec

Methods in org.jmlspecs.jmlspec with parameters of type JFormalParameter

void	JspPrettyPrinter.visitFormalParameters(JFormalParameter self) prints a formal parameter, omitting "final" modifier

Uses of JFormalParameter in org.jmlspecs.jmlunit

Methods in org.jmlspecs.jmlunit with parameters of type JFormalParameter

private TestClassGenerator.Parameter[]

TestClassGenerator.filterParameters(JFormalParameter[] p) Returns an array of original formal parameters, i.e., those not generated by the type checker.

Uses of JFormalParameter in org.jmlspecs.racwrap

Methods in org.jmlspecs.racwrap with parameters of type JFormalParameter

static void

Util.printParams(PrintStream out, JFormalParameter[] params)

Uses of JFormalParameter in org.multijava.mjc

Fields in org.multijava.mjc declared as JFormalParameter

static JFormalParameter[]	JFormalParameter.EMPTY
private JFormalParameter[]	JMethodDeclaration.parameters
private JFormalParameter	JCatchClause.exception

Methods in org.multijava.mjc that return JFormalParameter

protected JFormalParameter[]	JMethodCallExpression.getFormalParameters()
JFormalParameter[]	JMethodDeclaration.parameters()
abstract JFormalParameter[]	JMethodDeclarationType.parameters()
JFormalParameter	JCatchClause.exception()
JFormalParameter[]	MjcParser.jParameterDeclarationList(int desc)
JFormalParameter	MjcParser.jParameterDeclaration(int desc)

Methods in org.multijava.mjc with parameters of type JFormalParameter

abstract void	MjcVisitor.visitFormalParameters(JFormalParameter self) visits a formal parameter
static String	JFormalParameter.specializerString(JFormalParameter[] parms) Creates from an array of formal parameters a String of the dynamic types of the parameters.
void	JMethodDeclaration.setParameters(JFormalParameter[] parameters)
void	JMethodDeclaration.addParameter(JFormalParameter param) Adds an additional formal parameter to this method, appending it to the end of the existing parameter list.
abstract void	JMethodDeclarationType.setParameters(JFormalParameter[] parameters)
abstract void	JMethodDeclarationType.addParameter(JFormalParameter param) Adds an additional formal parameter to this method, appending it to the end of the existing parameter list.
void	MjcPrettyPrinter.visitFormalParameters(JFormalParameter self) prints a formal parameter

Constructors in org.multijava.mjc with parameters of type JFormalParameter

JMethodDeclaration(TokenReference where, long modifiers, CTypeVariable[] typevariables, CType returnType, String ident, JFormalParameter[] parameters, CClassType[] exceptions, JBlock body, JavadocComment javadoc, JavaStyleComment[] comments)
Construct a node in the parsing tree This method is directly called by the parser

JConstructorDeclaration(TokenReference where, long modifiers, String ident, JFormalParameter[] parameters, CClassType[] exceptions, JConstructorBlock body, JavadocComment javadoc, JavaStyleComment[] comments)
Construct a node in the parsing tree This method is directly called by the parser

JConstructorDeclaration(TokenReference where, long modifiers, String ident, JFormalParameter[] parameters, CClassType[] exceptions, JConstructorBlock body)
Constructs an AST node for a compiler-generated constructor.

MJTopLevelMethodDeclaration(TokenReference where, long modifiers, CTypeVariable[] typevariables, CType returnType, CType openClassType, String ident, JFormalParameter[] parameters, CClassType[] exceptions, JBlock body, JavadocComment javadoc, JavaStyleComment[] comments)
This class represents a MultiJava external method in the syntax tree Construct a node in the parsing tree This method is directly called by the parser

JCatchClause(TokenReference where, JFormalParameter exception, JBlock body)
Constructs a node in the parsing tree.

MJTopLevelAbstractMethodDeclaration(TokenReference where, long modifiers, CType returnType, CType openClassType, String ident, JFormalParameter[] parameters, CClassType[] exceptions, JBlock body, JavadocComment javadoc, JavaStyleComment[] comments)
This class represents an abstract MultiJava external method in the syntax tree.