Package jml2b.structure.statement

Provides the classes necessary to create and manage java and jml statements and expressions.

See:
Description

Interface Summary

MyToken

This class defines tokens that are used to create expressions and statement that does not exist as an output of the JML parser.

Class Summary

ArrayInitializer	This class implements an array initializer statement, that is, for instance, { {"car", "house" }, {"dog", "cat", "monkey"} }.
BinaryExp	This class implements binary expressions.
Expression	This class defines a Java expression.
IsSubtypeOfExp	This class implements subtype JML expression, it corresponds to code like a <: b
MethodCallExp	This class implements a method call expression
QuantifiedExp	This class implements a quantified expression, that is \forall type var; body or \exists type var; body.
QuantifiedVar	This class implements a list of quantified fields.
QuestionExp	This class implements a question expression, that is a ? b :c
StAssert
Statement	This class defines a Java statement.
StBlock	This class implements a block statement
StControlFlowBreak	This class implements a control flow break statement, that is a throw, a continue, a break or a return.
StDoWhile
StFor
StIf
StImplementsLabel	This class implements an implements label statement.
StLabel
StLoops	This abstract class implements a loop statement.
StSequence	This class implements a sequence of two statements.
StSkip	This class implements a skip statement.
StSpecBlock	This class implements a specified block.
StSwitch	This class implements a switch statement
StTry	This class implements a try catch finally statement or a try catch or a try finally statement.
StVarDecl	This class implements a set of local field declaration statement
TerminalExp	This class implements a terminal expression.
TTypeExp	This class implements expressions corresponding to types.
UnaryExp	This class implements unary expressions.
WithTypeExp	This class implements expression with type, that is object and array creation, casting and instanceof.

Package jml2b.structure.statement Description

Provides the classes necessary to create and manage java and jml statements and expressions.

Package Specification

Related Documentation