Uses of Class
jml2b.structure.jml.ModifiesList

Packages that use ModifiesList

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.

Uses of ModifiesList in jml2b.structure.java

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

boolean

Method.addComputedModifies(IJml2bConfiguration config, ModifiesList ml)

Uses of ModifiesList in jml2b.structure.jml

Methods in jml2b.structure.jml that return ModifiesList

ModifiesList

ModifiesList.getNext()

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

abstract ModifiesClause	ModifiesClause.completeModifiesWithFields(ModifiesList l)
ModifiesClause	ModifiesEverything.completeModifiesWithFields(ModifiesList l)
void	ModifiesList.add(ModifiesList ml) Concats two lists.
boolean	ModifiesList.addWithoutDoublon(IJml2bConfiguration config, ModifiesList ml)
ModifiesClause	ModifiesList.completeModifiesWithFields(ModifiesList l)
ModifiesClause	ModifiesNothing.completeModifiesWithFields(ModifiesList l)
void	SpecCase.completeModifiesWithOwnFields(ModifiesList l) Complete the modifies clause of a constructor with the fields of the class.
boolean	SpecCase.addComputedModifies(IJml2bConfiguration config, ModifiesList ml)

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

ModifiesList(GuardedModifies m, ModifiesList ml)
Constructs a list from a new Modifies element and a list.