Package jml2b.structure.java

Interface Summary

IJmlFile
IModifiers
IType
ModFlags	Interface defining constants for the different modifier flags.

Class Summary

AClass
Class	Internal representation of classes.
Constraint
Constructor	Specialisation of the Method class suitable for representing constructors.
Declaration	Base class for representing declarations.
Field	Class representing fields.
Identifier	class representing Java/Jml identifiers.
Invariant	class representing invariants.
JmlFile	Class keeping information on Java/JML files.
JmlLoader	class used to load classes.
Method
Modifiers	Class used to represent Java modifiers .
NamedNode
Package	class representing packages.
Parameters
ParsedItem	This class provides features to store informations that allow to locate a parsed items.
Type	Class representing types.
VarDeclParser	Parser used for parsing VAR_DECL clauses.