Uses of Class
jml2b.structure.java.Identifier

Packages that use Identifier

jml2b.formula	Provides the classes necessary to create and manage formulas.
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.

Uses of Identifier in jml2b.formula

Methods in jml2b.formula that return Identifier

Identifier

TerminalForm.getIdent()

Constructors in jml2b.formula with parameters of type Identifier

TerminalForm(byte nodeType, java.lang.String nodeText, Identifier ident, boolean subident)
Constructs a terminal formula.

TerminalForm(Identifier ident)
Constructs a formula from a Java identifer.

TerminalForm(Identifier ident, java.lang.String subident)
Constructs a formula from a Java identifer and a postfix string.

Uses of Identifier in jml2b.structure.java

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

boolean

Identifier.equals(Identifier i) Indicate wether this identifier is equal to the given one.

Uses of Identifier in jml2b.structure.jml

Methods in jml2b.structure.jml that return Identifier

Identifier

ModifiesIdent.getIdent() Returns the identidentifer.

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

ModifiesIdent(ParsedItem pi, Type t, Identifier ident)
Constructs a modified identifier from an identifier.

ModifiesIdent(AField f, Identifier i)
Constructs a modifies corresponding to an identifier

Uses of Identifier in jml2b.structure.statement

Methods in jml2b.structure.statement that return Identifier

Identifier

TerminalExp.getIdent() Returns the identifier.

Constructors in jml2b.structure.statement with parameters of type Identifier

TerminalExp(Identifier ident, java.lang.String subident)
Constructs an expression from a Java identifer and a postfix string.

TerminalExp(Identifier ident)
Constructs an expression from a Java identifer.