Uses of Class
jml2b.structure.jml.GuardedModifies

Packages that use GuardedModifies

jml2b.structure.jml

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

Uses of GuardedModifies in jml2b.structure.jml

Methods in jml2b.structure.jml that return GuardedModifies

GuardedModifies

ModifiesList.getGm()

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

boolean	GuardedModifies.equals(IJml2bConfiguration config, GuardedModifies gm)
boolean	ModifiesList.addModifiesWithoutDoublon(IJml2bConfiguration config, GuardedModifies gm)

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

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