public class ASTPrinter extends ASTVisitorBase
Modifier and Type | Class and Description |
---|---|
static class |
ASTPrinter.PrintStatementSpec |
visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit
public static void print(AST tree, java.io.PrintWriter out, ASTPrinter.PrintStatementSpec printStatSpec, boolean printAnnotation)
tree
- the tree to be printed.out
- the writer to be used for printing.printStatSpec
- the flag to be used for printing command specifications.printAnnotation
- true if annotations are to be printed.public void visit(Import imp)
public void visit(PackageImport imp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(ClassImport imp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(ClassDeclaration c)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(GlobalVariableDeclaration g)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(ConstructorDeclaration g)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(MethodDeclaration m)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(StatementBase tree)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(StatJudgement spec)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(VariableStatement s)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(Handler s)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(BinaryValueExpression exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(UnaryValueExpression exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(SelectorExpression exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(NewArrayExpression exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(VariableValue exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(IntLiteral exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(BooleanLiteral exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(CharLiteral exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(StringLiteral exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(NullLiteral exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(PrimitiveType type)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(ArrayType type)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(NamedType type)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(NewType type)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(LeftValue l)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(IndexSelector s)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(IdentifierSelector s)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(MessageSelector s)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(Parameter p)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(Name name)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
name
- the name to be printed.public void visit(Identifier i)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(TheoryDeclaration c)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(UnitSpec spec)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(ClassSpec spec)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(MethodSpec spec)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(LoopSpec spec)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(StatementSpec spec)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(FormulaDefinition def)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(ValueDefinitionClass def)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(TypeDeclaration decl)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(ValueDeclarationClass decl)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(SelectorIdentifier sel)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(SelectorIndex sel)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(SelectorNumber sel)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(TypedIdentifier ident)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(ValuedIdentifier ident)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(AtomicFormula exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(FunctionApplication exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(BinaryAtomicFormula exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(BinaryExpression exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(Constant exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(WritesOnlyFormula exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(IfThenElseExpression exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(LetExpression exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(PostfixApplication exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(StateThrowsException exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(QuantifiedExpression exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(Reference exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(ProgramVariableBase exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(RecordTerm exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(SelectionTerm exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(TupleTerm exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(UpdateTerm exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(ArrayType exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(AtomicType exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(FunctionType exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(RecordType exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(StateType exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(SubrangeType exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(SubType exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(TupleType exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
public void visit(UnaryExpression exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase