Uses of Class
jml2b.structure.java.Parameters

Packages that use Parameters

jml2b.formula	Provides the classes necessary to create and manage formulas.
jml2b.structure.bytecode
jml2b.structure.java
jml2b.structure.jml	Provides the classes necessary to create and manage jml clauses such that depends, represents, specification cases, modifies and exsures.
jml2b.structure.statement	Provides the classes necessary to create and manage java and jml statements and expressions.

Uses of Parameters in jml2b.formula

Methods in jml2b.formula with parameters of type Parameters

Formula

BinaryForm.renameParam(Parameters signature, java.util.Vector newSignature)

Uses of Parameters in jml2b.structure.bytecode

Methods in jml2b.structure.bytecode with parameters of type Parameters

AMethod

ClassFile.getMethod(java.lang.String name, Parameters p)

Uses of Parameters in jml2b.structure.java

Methods in jml2b.structure.java with parameters of type Parameters

abstract AMethod	AClass.getMethod(java.lang.String name, Parameters p)
AMethod	Class.getMethod(java.lang.String name, Parameters p) Searches for a method with the given name and parameters in the current class.
Method	Class.getConstructor(Parameters p)

Uses of Parameters in jml2b.structure.jml

Methods in jml2b.structure.jml with parameters of type Parameters

Exsures	Exsures.renameParam(Parameters signature, Parameters newSignature)
abstract ModifiesClause	ModifiesClause.renameParam(IJml2bConfiguration config, Parameters signature, java.util.Vector newSignature) Renames the parameter in the modifies clause.
ModifiesClause	ModifiesEverything.renameParam(IJml2bConfiguration config, Parameters signature, java.util.Vector newSignature)
ModifiesClause	ModifiesList.renameParam(IJml2bConfiguration config, Parameters signature, java.util.Vector newSignature)
ModifiesClause	ModifiesNothing.renameParam(IJml2bConfiguration config, Parameters signature, java.util.Vector newSignature)
static void	SpecCase.exsureVectorRenameParam(java.util.Enumeration ex, Parameters signature, Parameters newSignature)
void	SpecCase.renameParam(IJml2bConfiguration config, Parameters signature, Parameters newSignature)

Uses of Parameters in jml2b.structure.statement

Methods in jml2b.structure.statement with parameters of type Parameters

Expression

Expression.renameParam(Parameters signature, Parameters newSignature) Renames the fields belonging to the parameter list with new names.