Package jml2b.formula

Provides the classes necessary to create and manage formulas.

See:
Description

Interface Summary

IFormToken	This interface defines the token associated to formulas corresponding to operators.
IModifiesField

Class Summary

BasicType	Type of formula, the type can be boolean integer reference proposition JML \TYPE function of two types.
BinaryForm	This class implements binary formula.
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.
Formula	This class describes a formula.
ModifiedFieldForm
QuantifiedForm	This class implements quantified formula: universal, existential or union.
QuantifiedVarForm	This class implements a list of quatified variables.
TerminalForm	This class implements terminal formula: identifiers, literal constants and builtin types.
TriaryForm	This class implements tri-ary formula, that is conditional formula coming from the Java structure a ? b : c or equals with restricted domains formulas.
TTypeForm	This class implements type formula.
UnaryForm	This class implements unary Formula.

Package jml2b.formula Description

Provides the classes necessary to create and manage formulas.

Package Specification

• toto

Related Documentation

• Class hierarchy
• Class associations