Uses of Class
jml2b.structure.jml.ModifiesClause

Packages that use ModifiesClause

jack.plugin
jml2b
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 ModifiesClause in jack.plugin

Methods in jack.plugin that return ModifiesClause

ModifiesClause

JackJml2bConfiguration.getDefaultModifies()

Uses of ModifiesClause in jml2b

Methods in jml2b that return ModifiesClause

ModifiesClause	IJml2bConfiguration.getDefaultModifies() Returns the default modifies clause
ModifiesClause	Jml2bConfig.getDefaultModifies()

Uses of ModifiesClause in jml2b.structure.java

Methods in jml2b.structure.java that return ModifiesClause

ModifiesClause

Method.getDefaultLoopModifies()

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

boolean

Method.addAnnotation(IJml2bConfiguration config, Expression req, Expression ens, ModifiesClause mod)

Uses of ModifiesClause in jml2b.structure.jml

Subclasses of ModifiesClause in jml2b.structure.jml

class	ModifiesEverything This class implements a \everything
class	ModifiesList This class describes the modifies clause as a list of Modifies elements.
class	ModifiesNothing This class implements a \nothing modifies clause.

Methods in jml2b.structure.jml that return ModifiesClause

static ModifiesClause	ModifiesClause.create(JmlFile jf, antlr.collections.AST a) Create a concrete modifies clause depending of the AST content
abstract ModifiesClause	ModifiesClause.renameParam(IJml2bConfiguration config, Parameters signature, java.util.Vector newSignature) Renames the parameter in the modifies clause.
abstract ModifiesClause	ModifiesClause.completeModifiesWithFields(ModifiesList l)
ModifiesClause	ModifiesEverything.renameParam(IJml2bConfiguration config, Parameters signature, java.util.Vector newSignature)
ModifiesClause	ModifiesEverything.completeModifiesWithFields(ModifiesList l)
ModifiesClause	ModifiesList.renameParam(IJml2bConfiguration config, Parameters signature, java.util.Vector newSignature)
ModifiesClause	ModifiesList.completeModifiesWithFields(ModifiesList l)
ModifiesClause	ModifiesNothing.renameParam(IJml2bConfiguration config, Parameters signature, java.util.Vector newSignature)
ModifiesClause	ModifiesNothing.completeModifiesWithFields(ModifiesList l)
ModifiesClause	SpecCase.getModifies() Returns the content of the modifies clause.

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

boolean	SpecCase.addAnnotation(IJml2bConfiguration config, Expression ens, ModifiesClause mod)
void	SpecCase.setModifies(ModifiesClause clause)

Constructors in jml2b.structure.jml with parameters of type ModifiesClause

SpecCase(Expression ens, ModifiesClause mod)

Uses of ModifiesClause in jml2b.structure.statement

Methods in jml2b.structure.statement that return ModifiesClause

ModifiesClause

StLoops.getLoop_modifies() Returns the loop modifies clause.