gov.nasa.jpf.symbc.veritesting.ast.visitors

Class PrettyPrintVisitor

java.lang.Object

gov.nasa.jpf.symbc.veritesting.ast.visitors.PrettyPrintVisitor

All Implemented Interfaces:

AstVisitor<java.lang.Void>

Direct Known Subclasses:

StmtPrintVisitor

public class PrettyPrintVisitor
extends java.lang.Object
implements AstVisitor<java.lang.Void>

Pretty print of all statements and expressions in RangerIR.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	PrettyPrintVisitor.PrettyPrintExpr

Field Summary

Fields

Modifier and Type	Field and Description
(package private) ExprVisitorAdapter<java.lang.Void>	eva
(package private) int	indent
private java.lang.String	main
(package private) PrettyPrintVisitor.PrettyPrintExpr	ppe
private java.lang.StringBuilder	sb

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	PrettyPrintVisitor()

Method Summary

Modifier and Type	Method and Description
protected void	ind()
protected void	indent()
protected void	nl()
static java.lang.String	print(Ast s)
static java.lang.String	print(za.ac.sun.cs.green.expr.Expression s)
java.lang.String	toString()
protected void	unindent()
java.lang.Void	visit(ArrayLengthInstruction c)
java.lang.Void	visit(ArrayLoadInstruction c)
java.lang.Void	visit(ArrayStoreInstruction c)
java.lang.Void	visit(AssignmentStmt a)
java.lang.Void	visit(CheckCastInstruction c)
java.lang.Void	visit(CompositionStmt a)
java.lang.Void	visit(GetInstruction c)
java.lang.Void	visit(IfThenElseStmt a)
java.lang.Void	visit(InstanceOfInstruction c)
java.lang.Void	visit(InvokeInstruction c)
java.lang.Void	visit(NewInstruction c)
java.lang.Void	visit(PhiInstruction c)
java.lang.Void	visit(PutInstruction c)
java.lang.Void	visit(ReturnInstruction c)
java.lang.Void	visit(SkipStmt a)
java.lang.Void	visit(SPFCaseStmt c)
java.lang.Void	visit(SwitchInstruction c)
java.lang.Void	visit(ThrowInstruction c)
protected void	write(za.ac.sun.cs.green.expr.Expression e)
protected void	write(Stmt a)
protected void	write(java.lang.String s)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

indent

int indent

sb

private java.lang.StringBuilder sb

main

private java.lang.String main

ppe

PrettyPrintVisitor.PrettyPrintExpr ppe

eva

ExprVisitorAdapter<java.lang.Void> eva

Constructor Detail

PrettyPrintVisitor

protected PrettyPrintVisitor()

Method Detail

ind

protected void ind()

indent

protected void indent()

unindent

protected void unindent()

nl

protected void nl()

write

protected void write(Stmt a)

write

protected void write(java.lang.String s)

write

protected void write(za.ac.sun.cs.green.expr.Expression e)

visit

public java.lang.Void visit(AssignmentStmt a)

Specified by:

visit in interface AstVisitor<java.lang.Void>

visit

public java.lang.Void visit(CompositionStmt a)

Specified by:

visit in interface AstVisitor<java.lang.Void>

visit

public java.lang.Void visit(IfThenElseStmt a)

Specified by:

visit in interface AstVisitor<java.lang.Void>

visit

public java.lang.Void visit(SkipStmt a)

Specified by:

visit in interface AstVisitor<java.lang.Void>

visit

public java.lang.Void visit(SPFCaseStmt c)

Specified by:

visit in interface AstVisitor<java.lang.Void>

visit

public java.lang.Void visit(ArrayLoadInstruction c)

Specified by:

visit in interface AstVisitor<java.lang.Void>

visit

public java.lang.Void visit(ArrayStoreInstruction c)

Specified by:

visit in interface AstVisitor<java.lang.Void>

visit

public java.lang.Void visit(SwitchInstruction c)

Specified by:

visit in interface AstVisitor<java.lang.Void>

visit

public java.lang.Void visit(ReturnInstruction c)

Specified by:

visit in interface AstVisitor<java.lang.Void>

visit

public java.lang.Void visit(GetInstruction c)

Specified by:

visit in interface AstVisitor<java.lang.Void>

visit

public java.lang.Void visit(PutInstruction c)

Specified by:

visit in interface AstVisitor<java.lang.Void>

visit

public java.lang.Void visit(NewInstruction c)

Specified by:

visit in interface AstVisitor<java.lang.Void>

visit

public java.lang.Void visit(InvokeInstruction c)

Specified by:

visit in interface AstVisitor<java.lang.Void>

visit

public java.lang.Void visit(ArrayLengthInstruction c)

Specified by:

visit in interface AstVisitor<java.lang.Void>

visit

public java.lang.Void visit(ThrowInstruction c)

Specified by:

visit in interface AstVisitor<java.lang.Void>

visit

public java.lang.Void visit(CheckCastInstruction c)

Specified by:

visit in interface AstVisitor<java.lang.Void>

visit

public java.lang.Void visit(InstanceOfInstruction c)

Specified by:

visit in interface AstVisitor<java.lang.Void>

visit

public java.lang.Void visit(PhiInstruction c)

Specified by:

visit in interface AstVisitor<java.lang.Void>

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

print

public static java.lang.String print(Ast s)

print

public static java.lang.String print(za.ac.sun.cs.green.expr.Expression s)