Uses of Class
jml2b.formula.TerminalForm

Packages that use TerminalForm

jml2b.formula	Provides the classes necessary to create and manage formulas.
jml2b.languages
jml2b.languages.java

Uses of TerminalForm in jml2b.formula

Subclasses of TerminalForm in jml2b.formula

class	ElementsForm This class implements terminal formulas that correspond to variables xxxelements_n, where xxx can be int, short, byte, boolean, char ou ref and n is a natural number.
class	ModifiedFieldForm

Fields in jml2b.formula declared as TerminalForm

static TerminalForm	TerminalForm.instances The formula instances.
static TerminalForm	TerminalForm.typeof The formula typeof.
static TerminalForm	TerminalForm.arraylength The formula arraylength.
static TerminalForm	TerminalForm.REFERENCES The constant formula REFERENCES.
static TerminalForm	TerminalForm.elemtype The constant formula elemtype, In the B lemmas, elemtype is a function that assign the type of its element to an array instance.
static TerminalForm	TerminalForm.j_int2short The constant formula j_int2short, In the B lemmas, j_int2short is a function that converts an int into a short.
static TerminalForm	TerminalForm.j_int2byte The constant formula j_int2byte, In the B lemmas, j_int2byte is a function that converts an int into a byte.
static TerminalForm	TerminalForm.j_int2char The constant formula j_int2char, In the B lemmas, j_int2char is a function that converts an int into a char.

Methods in jml2b.formula that return TerminalForm

TerminalForm	QuantifiedVarForm.getVar()
static TerminalForm	TerminalForm.getArraylength(IJml2bConfiguration config)

Constructors in jml2b.formula with parameters of type TerminalForm

QuantifiedVarForm(TerminalForm var, Formula type)
Creates a list with one quantified variable.

QuantifiedVarForm(TerminalForm var, Formula type, QuantifiedVarForm next)
Creates a quantified variable list from another one.

Uses of TerminalForm in jml2b.languages

Methods in jml2b.languages with parameters of type TerminalForm

void	ILanguage.save(IOutputStream s, TerminalForm f) Saves a terminal formula in a jpo file.

Uses of TerminalForm in jml2b.languages.java

Subclasses of TerminalForm in jml2b.languages.java

class	JavaModifiedFieldForm
class	JavaTerminalForm

Methods in jml2b.languages.java with parameters of type TerminalForm

void	JavaLanguage.save(IOutputStream s, TerminalForm f)