Modifier and Type | Method and Description |
---|---|
void |
StatJudgement.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
Modifier and Type | Class and Description |
---|---|
class |
ASTVisitorBaseOld
Base class of abstract syntax tree visitors (outdated version).
|
Modifier and Type | Method and Description |
---|---|
static void |
ASTBase.accept(AST[] trees,
ASTVisitorOld visitor)
Visit a sequence of abstract syntax trees.
|
void |
Name.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
Identifier.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
AST.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
ASTSourceBase.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
ASTBase.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
Modifier and Type | Method and Description |
---|---|
void |
RecordTerm.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
FormulaBase.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
SubType.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
DefinitionBase.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
LetExpression.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
GreaterFormula.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
AtomicFormula.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
SelectorIdentifier.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
EqualsFormula.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
QuantifiedExpression.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
GreaterEqualFormula.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
IfThenElseExpression.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
NotEqualsFormula.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
BitNegationTerm.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
UpdateTerm.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
SimilarFormula.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
AtomicType.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
ValueDeclarationClass.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
NotFormula.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
StateType.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
NotEquivalentFormula.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
TimesTerm.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
FunctionType.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
TypeDefinition.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
BinaryFormula.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
WritesOnlyFormula.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
TupleType.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
RecordType.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
FormulaDefinition.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
UnaryExpression.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
ApplicationExpression.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
PostfixApplication.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
ASTLogicBase.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
SelectorIndex.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
TypeBase.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
AndFormula.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
ValueDefinitionClass.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
PlusTerm.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
BinaryExpression.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
DividesTerm.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
SelectionTerm.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
TermBase.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
OrFormula.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
ValuedIdentifier.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
TypedIdentifier.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
UnaryTerm.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
TupleTerm.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
StateThrowsException.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
PowerTerm.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
BitOrTerm.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
SelectorNumber.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
NegationTerm.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
AxiomDefinition.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
LessFormula.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
LessEqualFormula.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
Constant.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
MinusTerm.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
ExpressionBase.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
DeclarationBase.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
ArrayType.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
Reference.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
BinaryTerm.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
SelectorBase.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
BinaryAtomicFormula.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
TypeDeclaration.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
SubrangeType.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
EquivalentFormula.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
ProgramVariableBase.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
BitAndTerm.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
UnaryFormula.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
ImpliesFormula.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
FunctionApplication.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
Modifier and Type | Method and Description |
---|---|
void |
NullLiteral.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
ProgramAnnotationBase.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
ObjectMethodDeclaration.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
EmptyStatement.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
CharLiteral.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
IndexSelector.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
AssertionStatement.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
ASTProgramAnnotatedBase.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
ParamDeclarationBase.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
UnaryValueExpression.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
SelectorExpression.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
TopDeclarationBase.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
WhileLoopStatement.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
StatementBase.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
VariableValue.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
VariableStatement.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
CallStatement.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
Handler.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
ClassDeclaration.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
ClassMethodDeclaration.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
IntLiteral.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
ImportBase.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
LoopStatementBase.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
IdentifierSelector.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
ReturnStatement.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
ConditionalStatement.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
ObjectVariableDeclaration.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
ForLoopStatement.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
TryCatchStatement.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
NewType.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
BreakStatement.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
GlobalVariableDeclaration.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
StringLiteral.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
BooleanLiteral.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
VariableDeclarationBase.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
CompilationUnitBase.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
MethodDeclaration.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
ConstructorDeclaration.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
NewArrayExpression.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
MessageSelector.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
ASTProgramBase.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
ContinueStatement.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
NamedType.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
DeclCallStatement.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
PrimitiveType.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
DeclarationBase.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
Parameter.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
ArrayType.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
AssignCallStatement.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
BlockStatement.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
AssignmentStatement.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
BinaryValueExpression.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
LeftValue.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
VoidCallStatement.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
ThrowStatement.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
ClassVariableDeclaration.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
Modifier and Type | Method and Description |
---|---|
void |
UnitSpec.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
ClassSpec.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
SpecificationBase.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
StatementSpec.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
LoopSpec.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
MethodSpec.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
TheoryDeclaration.accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|