Interface Summary |
IAccess |
Base interface for IAccessBasic , IAccessIndexed , and IAccessMulti interfaces. |
IAnnotated |
Syntactical elements that can be annotated implement this interface. |
IAnnotations |
Annotations of syntactical elements that can be annotated -- elements that are
instances of classes implementing IAnnotated interface. |
IExpr |
The base interface for expressions. |
IExprBin |
Base interface for binary expressions. |
IExprQ |
Base interface for quantifier expressions. |
IExprUn |
Base interface for unary expressions. |
ILabel |
The base interface for transition labels. |
IScope |
Base interface for elements that have a variable table. |
IType |
Interface for a type. |
IVarTable |
A hierarchical variable table. |
IVarTableEntry |
An entry of a variable table. |
IVisitable |
Visitable syntactical elements. |
IVisitor |
The visitor is responsible for determining the order of traversal. |