Uses of Package
jml2b.structure.jml

Packages that use jml2b.structure.jml

jack.plugin
jml2b
jml2b.pog.lemma
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.

Classes in jml2b.structure.jml used by jack.plugin

ModifiesClause
This class describes the content of a modifies clause.

Classes in jml2b.structure.jml used by jml2b

ModifiesClause
This class describes the content of a modifies clause.

Classes in jml2b.structure.jml used by jml2b.pog.lemma

Exsures
This class implements an exsures clause, that is an exception type, a field corresponding to the exception and a property.

Classes in jml2b.structure.jml used by jml2b.structure.java

ModifiesClause
This class describes the content of a modifies clause.

ModifiesList
This class describes the modifies clause as a list of Modifies elements.

SpecCase
This class implements a specification case, that is a labelled record of requires, modifies, ensures and exsures.

Classes in jml2b.structure.jml used by jml2b.structure.jml

Exsures
This class implements an exsures clause, that is an exception type, a field corresponding to the exception and a property.

GuardedModifies
This class implements a guarded modifies clause.

JmlExpression
The interface defines methods to apply to a JML expression.

Modifies
This class represents a modified variable.

ModifiesClause
This class describes the content of a modifies clause.

ModifiesIdent
This class corresponds to a modified field.

ModifiesList
This class describes the modifies clause as a list of Modifies elements.

Represents
This abstract class describes a represents clause.

SpecArray
This class defines the possible indexes set of an array in the modifies clause.

SpecCase
This class implements a specification case, that is a labelled record of requires, modifies, ensures and exsures.

Classes in jml2b.structure.jml used by jml2b.structure.statement

JmlExpression
The interface defines methods to apply to a JML expression.

ModifiesClause
This class describes the content of a modifies clause.

SpecCase
This class implements a specification case, that is a labelled record of requires, modifies, ensures and exsures.