Uses of Class
jml2b.structure.jml.Modifies

Packages that use Modifies

jml2b.structure.jml

Provides the classes necessary to create and manage jml clauses such that depends, represents, specification cases, modifies and exsures.

Uses of Modifies in jml2b.structure.jml

Subclasses of Modifies in jml2b.structure.jml

class	ModifiesDot This class implements a modifies corresponding to a member field.
class	ModifiesIdent This class corresponds to a modified field.
class	ModifiesLbrack This class implements a modifies corresponding to array elements, that is a[b], a[b..c] or a[*] where a, b and c are expressions.

Methods in jml2b.structure.jml that return Modifies

Modifies	Depends.getAbstractField() Returns the abstract field.
Modifies	GuardedModifies.getM() Returns the modified store ref.
Modifies	ModifiesLbrack.getM() Returns the modified variable.
Modifies	Represents.getDepend() Returns the depends.

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

abstract boolean	Modifies.equals(IJml2bConfiguration config, Modifies m)
boolean	ModifiesDot.equals(IJml2bConfiguration config, Modifies m)
boolean	ModifiesIdent.equals(IJml2bConfiguration config, Modifies m)
boolean	ModifiesLbrack.equals(IJml2bConfiguration config, Modifies m)

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

GuardedModifies(Modifies m)
Constructs a guarded modifies.