fmrisc.ProgramExplorer.InOut

Class PrettyPrinter

java.lang.Object

fmrisc.ProgramExplorer.Syntax.ASTVisitorBase

fmrisc.ProgramExplorer.InOut.PrettyPrinter

All Implemented Interfaces:

ASTVisitor

public final class PrettyPrinter
extends ASTVisitorBase

Printing abstract syntax trees with appropriate line breaks (old version).

Method Summary

Modifier and Type	Method and Description
static void	print(Formula formula, int width, java.io.PrintWriter out) Print formula.
static void	print(StatJudgement spec, int width, java.io.PrintWriter out) Print statement judgement.
void	visit(AndFormula exp)
void	visit(ApplicationExpression exp)
void	visit(ArrayType exp)
void	visit(AtomicType exp)
void	visit(BinaryAtomicFormula exp)
void	visit(BinaryTerm exp)
void	visit(Constant exp)
void	visit(EquivalentFormula exp)
void	visit(FunctionType exp)
void	visit(Identifier exp)
void	visit(IfThenElseExpression exp)
void	visit(ImpliesFormula exp)
void	visit(LetExpression exp)
void	visit(Name exp)
void	visit(NotEquivalentFormula exp)
void	visit(OrFormula exp)
void	visit(PostfixApplication exp)
void	visit(ProgramVariableBase exp)
void	visit(QuantifiedExpression exp)
void	visit(RecordTerm exp)
void	visit(RecordType exp)
void	visit(Reference exp)
void	visit(SelectionTerm exp)
void	visit(SelectorIdentifier exp)
void	visit(SelectorIndex exp)
void	visit(SelectorNumber exp)
void	visit(StateThrowsException exp)
void	visit(StateType exp)
void	visit(SubrangeType exp)
void	visit(SubType exp)
void	visit(TupleTerm exp)
void	visit(TupleType exp)
void	visit(TypedIdentifier exp)
void	visit(UnaryFormula exp)
void	visit(UnaryTerm exp)
void	visit(UpdateTerm exp)
void	visit(ValueDeclarationInitialized def)
void	visit(ValueDefinitionClass def)
void	visit(ValuedIdentifier exp)
void	visit(WritesOnlyFormula exp)

Methods inherited from class fmrisc.ProgramExplorer.Syntax.ASTVisitorBase

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, 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

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

print

public static void print(Formula formula,
                         int width,
                         java.io.PrintWriter out)

Print formula.

Parameters:

formula - the formula to be printed.

width - the line width (suggestion, not a hard bound).

out - the stream to print on.

print

public static void print(StatJudgement spec,
                         int width,
                         java.io.PrintWriter out)

Print statement judgement.

Parameters:

spec - the judgement to be printed.

width - the line width (suggestion, not a hard bound).

out - the stream to print on.

visit

public void visit(Identifier exp)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(Name exp)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(ApplicationExpression exp)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(BinaryTerm exp)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(BinaryAtomicFormula exp)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(AndFormula exp)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(OrFormula exp)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(EquivalentFormula exp)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(NotEquivalentFormula exp)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(ImpliesFormula exp)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(UnaryTerm exp)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(UnaryFormula exp)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(QuantifiedExpression exp)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(ArrayType exp)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(AtomicType exp)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(Constant exp)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(FunctionType exp)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(IfThenElseExpression exp)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(LetExpression exp)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(PostfixApplication exp)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(StateThrowsException exp)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(ProgramVariableBase exp)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(WritesOnlyFormula exp)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(RecordTerm exp)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(RecordType exp)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(Reference exp)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(SelectionTerm exp)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(SelectorIdentifier exp)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(SelectorIndex exp)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(SelectorNumber exp)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(StateType exp)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(SubrangeType exp)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(SubType exp)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(TupleTerm exp)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(TupleType exp)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(TypedIdentifier exp)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(UpdateTerm exp)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(ValueDeclarationInitialized def)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(ValueDefinitionClass def)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

visit

public void visit(ValuedIdentifier exp)

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase