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

Class StmtPrintVisitor

java.lang.Object

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

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

All Implemented Interfaces:

AstVisitor<java.lang.Void>

public class StmtPrintVisitor
extends PrettyPrintVisitor

Prints out Statement in RangerIR.

Nested Class Summary

Nested classes/interfaces inherited from class gov.nasa.jpf.symbc.veritesting.ast.visitors.PrettyPrintVisitor

PrettyPrintVisitor.PrettyPrintExpr

Field Summary

Fields inherited from class gov.nasa.jpf.symbc.veritesting.ast.visitors.PrettyPrintVisitor

eva, indent, ppe

Constructor Summary

Constructors

Constructor and Description
StmtPrintVisitor()

Method Summary

Modifier and Type	Method and Description
static java.lang.String	print(Ast s)
java.lang.Void	visit(ArrayLengthInstruction c)
java.lang.Void	visit(ArrayLoadInstruction c)
java.lang.Void	visit(ArrayStoreInstruction c)
java.lang.Void	visit(CheckCastInstruction c)
java.lang.Void	visit(GetInstruction c)
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(SwitchInstruction c)
java.lang.Void	visit(ThrowInstruction c)

Methods inherited from class gov.nasa.jpf.symbc.veritesting.ast.visitors.PrettyPrintVisitor

ind, indent, nl, print, toString, unindent, visit, visit, visit, visit, visit, write, write, write

Methods inherited from class java.lang.Object

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

Constructor Detail

StmtPrintVisitor

StmtPrintVisitor()

Method Detail

visit

public java.lang.Void visit(SwitchInstruction c)

Specified by:

visit in interface AstVisitor<java.lang.Void>

Overrides:

visit in class PrettyPrintVisitor

visit

public java.lang.Void visit(ReturnInstruction c)

Specified by:

visit in interface AstVisitor<java.lang.Void>

Overrides:

visit in class PrettyPrintVisitor

visit

public java.lang.Void visit(GetInstruction c)

Specified by:

visit in interface AstVisitor<java.lang.Void>

Overrides:

visit in class PrettyPrintVisitor

visit

public java.lang.Void visit(PutInstruction c)

Specified by:

visit in interface AstVisitor<java.lang.Void>

Overrides:

visit in class PrettyPrintVisitor

visit

public java.lang.Void visit(NewInstruction c)

Specified by:

visit in interface AstVisitor<java.lang.Void>

Overrides:

visit in class PrettyPrintVisitor

visit

public java.lang.Void visit(InvokeInstruction c)

Specified by:

visit in interface AstVisitor<java.lang.Void>

Overrides:

visit in class PrettyPrintVisitor

visit

public java.lang.Void visit(ArrayLengthInstruction c)

Specified by:

visit in interface AstVisitor<java.lang.Void>

Overrides:

visit in class PrettyPrintVisitor

visit

public java.lang.Void visit(ArrayLoadInstruction c)

Specified by:

visit in interface AstVisitor<java.lang.Void>

Overrides:

visit in class PrettyPrintVisitor

visit

public java.lang.Void visit(ArrayStoreInstruction c)

Specified by:

visit in interface AstVisitor<java.lang.Void>

Overrides:

visit in class PrettyPrintVisitor

visit

public java.lang.Void visit(ThrowInstruction c)

Specified by:

visit in interface AstVisitor<java.lang.Void>

Overrides:

visit in class PrettyPrintVisitor

visit

public java.lang.Void visit(CheckCastInstruction c)

Specified by:

visit in interface AstVisitor<java.lang.Void>

Overrides:

visit in class PrettyPrintVisitor

visit

public java.lang.Void visit(InstanceOfInstruction c)

Specified by:

visit in interface AstVisitor<java.lang.Void>

Overrides:

visit in class PrettyPrintVisitor

visit

public java.lang.Void visit(PhiInstruction c)

Specified by:

visit in interface AstVisitor<java.lang.Void>

Overrides:

visit in class PrettyPrintVisitor

print

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