Uses of Class
jml2b.structure.IAParameters

Packages that use IAParameters

jml2b.formula	Provides the classes necessary to create and manage formulas.
jml2b.pog.lemma
jml2b.structure
jml2b.structure.bytecode
jml2b.structure.java
jml2b.structure.statement	Provides the classes necessary to create and manage java and jml statements and expressions.

Uses of IAParameters in jml2b.formula

Methods in jml2b.formula with parameters of type IAParameters

Formula

Formula.renameParam(IAParameters signature, java.util.Vector newSignature) Renames the fields belonging to the parameter list with new names.

Uses of IAParameters in jml2b.pog.lemma

Methods in jml2b.pog.lemma with parameters of type IAParameters

Proofs	Proofs.renameParam(IAParameters signature, java.util.Vector newSignature) Rename the fields belonging to the parameter list with new names.
Theorem	Theorem.renameParam(IAParameters signature, java.util.Vector newSignature) Renames the parameter of a method with new identifier in the theorem

Uses of IAParameters in jml2b.structure

Methods in jml2b.structure that return IAParameters

abstract IAParameters

AMethod.getParams()

Methods in jml2b.structure with parameters of type IAParameters

boolean	IAParameters.isSameAs(IAParameters p) compare the signature with the signature of the given parameters.
boolean	IAParameters.isCompatibleWith(IJml2bConfiguration config, IAParameters params) return true if all the types in this are compatible with the types in params.

Uses of IAParameters in jml2b.structure.bytecode

Subclasses of IAParameters in jml2b.structure.bytecode

class

ClassParameters

Methods in jml2b.structure.bytecode that return IAParameters

IAParameters	ClassDefaultConstructor.getParams()
IAParameters	ClassMethod.getParams()

Uses of IAParameters in jml2b.structure.java

Subclasses of IAParameters in jml2b.structure.java

class

Parameters

Methods in jml2b.structure.java that return IAParameters

IAParameters

Method.getParams()

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

boolean	Parameters.isCompatibleWith(IJml2bConfiguration config, IAParameters params) return true if all the types in this are compatible with the types in params.
boolean	Parameters.isSameAs(IAParameters p) compare the signature with the signature of the given parameters.

Uses of IAParameters in jml2b.structure.statement

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

static java.util.Vector

MethodCallExp.renamedParam(IAParameters signature) Returns a set of fresh variables, each one corresponding to a parameter of the method.