dk.brics.string.intermediate
Interface StatementVisitor

All Known Implementing Classes:

AliasAnalysis, DefinesVisitor, FlowGraphEdgeCreator, FlowGraphNodeCreator, ToStringVisitor, UsesVisitor

public interface StatementVisitor

A visitor pattern for statements.

A visitor is invoked by passing it to the visitBy method of the statement to visit. This will invoke the corresponding method in the visitor.

Method Summary

void	visitArrayAddAll(ArrayAddAll s) Visit an ArrayAddAll statement.
void	visitArrayAssignment(ArrayAssignment s) Visit an ArrayAssignment statement.
void	visitArrayCorrupt(ArrayCorrupt s) Visit an ArrayCorrupt statement.
void	visitArrayFromArray(ArrayFromArray s) Visit an ArrayFromArray statement.
void	visitArrayNew(ArrayNew s) Visit an ArrayNew statement.
void	visitArrayWriteArray(ArrayWriteArray s) Visit an ArrayWriteArray statement.
void	visitArrayWriteElement(ArrayWriteElement s) Visit an ArrayWriteElement statement.
void	visitAssertAliases(AssertAliases s)
void	visitAssertBinaryOp(AssertBinaryOp s)
void	visitAssertUnaryOp(AssertUnaryOp s)
void	visitBasicBinaryOp(BasicBinaryOp s)
void	visitBasicUnaryOp(BasicUnaryOp s)
void	visitCall(Call s) Visit a Call statement.
void	visitCatch(Catch s) Visit a Catch statement.
void	visitExceptionalReturn(ExceptionalReturn s) Visit a ExceptionalReturn statement.
void	visitFieldAssignment(FieldAssignment s) Visit a FieldAssignment statement.
void	visitFieldReference(FieldReference s) Visit a FieldReference statement.
void	visitHotspot(Hotspot s) Visit a Hotspot statement.
void	visitMethodHead(MethodHead s) Visit a MethodHead statement.
void	visitNop(Nop s) Visit a Nop statement.
void	visitObjectAssignment(ObjectAssignment s) Visit a ObjectAssignment statement.
void	visitObjectCorrupt(ObjectCorrupt s) Visit a ObjectCorrupt statement.
void	visitPrimitiveAssignment(PrimitiveAssignment s)
void	visitPrimitiveFromArray(PrimitiveFromArray s)
void	visitPrimitiveInit(PrimitiveInit s)
void	visitReturn(Return s) Visit a Return statement.
void	visitStringAssignment(StringAssignment s) Visit a StringAssignment statement.
void	visitStringBufferAppend(StringBufferAppend s) Visit a StringBufferAppend statement.
void	visitStringBufferAppendChar(StringBufferAppendChar s)
void	visitStringBufferAssignment(StringBufferAssignment s) Visit a StringBufferAssignment statement.
void	visitStringBufferBinaryOp(StringBufferBinaryOp s) Visit a StringBufferBinaryOp statement.
void	visitStringBufferCorrupt(StringBufferCorrupt s) Visit a StringBufferCorrupt statement.
void	visitStringBufferInit(StringBufferInit s) Visit a StringBufferInit statement.
void	visitStringBufferPrepend(StringBufferPrepend s) Visit a StringBufferPrepend statement.
void	visitStringBufferUnaryOp(StringBufferUnaryOp s) Visit a StringBufferUnaryOp statement.
void	visitStringConcat(StringConcat s) Visit a StringConcat statement.
void	visitStringFromArray(StringFromArray s) Visit a StringFromArray statement.
void	visitStringFromStringBuffer(StringFromStringBuffer s) Visit a StringFromStringBuffer statement.
void	visitStringInit(StringInit s) Visit a StringInit statement.

Method Detail

visitArrayAddAll

void visitArrayAddAll(ArrayAddAll s)

Visit an ArrayAddAll statement.

Parameters:

s - the visited statement.

visitArrayAssignment

void visitArrayAssignment(ArrayAssignment s)

Visit an ArrayAssignment statement.

Parameters:

s - the visited statement.

visitArrayCorrupt

void visitArrayCorrupt(ArrayCorrupt s)

Visit an ArrayCorrupt statement.

Parameters:

s - the visited statement.

visitArrayFromArray

void visitArrayFromArray(ArrayFromArray s)

Visit an ArrayFromArray statement.

Parameters:

s - the visited statement.

visitArrayNew

void visitArrayNew(ArrayNew s)

Visit an ArrayNew statement.

Parameters:

s - the visited statement.

visitArrayWriteArray

void visitArrayWriteArray(ArrayWriteArray s)

Visit an ArrayWriteArray statement.

Parameters:

s - the visited statement.

visitArrayWriteElement

void visitArrayWriteElement(ArrayWriteElement s)

Visit an ArrayWriteElement statement.

Parameters:

s - the visited statement.

visitAssertAliases

void visitAssertAliases(AssertAliases s)

visitAssertBinaryOp

void visitAssertBinaryOp(AssertBinaryOp s)

visitAssertUnaryOp

void visitAssertUnaryOp(AssertUnaryOp s)

visitBasicBinaryOp

void visitBasicBinaryOp(BasicBinaryOp s)

visitBasicUnaryOp

void visitBasicUnaryOp(BasicUnaryOp s)

visitCall

void visitCall(Call s)

Visit a Call statement.

Parameters:

s - the visited statement.

visitCatch

void visitCatch(Catch s)

Visit a Catch statement.

Parameters:

s - the visited statement.

visitExceptionalReturn

void visitExceptionalReturn(ExceptionalReturn s)

Visit a ExceptionalReturn statement.

Parameters:

s - the visited statement.

visitFieldAssignment

void visitFieldAssignment(FieldAssignment s)

Visit a FieldAssignment statement.

Parameters:

s - the visited statement.

visitFieldReference

void visitFieldReference(FieldReference s)

Visit a FieldReference statement.

Parameters:

s - the visited statement.

visitHotspot

void visitHotspot(Hotspot s)

Visit a Hotspot statement.

Parameters:

s - the visited statement.

visitMethodHead

void visitMethodHead(MethodHead s)

Visit a MethodHead statement.

Parameters:

s - the visited statement.

visitNop

void visitNop(Nop s)

Visit a Nop statement.

Parameters:

s - the visited statement.

visitObjectAssignment

void visitObjectAssignment(ObjectAssignment s)

Visit a ObjectAssignment statement.

Parameters:

s - the visited statement.

visitObjectCorrupt

void visitObjectCorrupt(ObjectCorrupt s)

Visit a ObjectCorrupt statement.

Parameters:

s - the visited statement.

visitPrimitiveAssignment

void visitPrimitiveAssignment(PrimitiveAssignment s)

visitPrimitiveFromArray

void visitPrimitiveFromArray(PrimitiveFromArray s)

visitPrimitiveInit

void visitPrimitiveInit(PrimitiveInit s)

visitReturn

void visitReturn(Return s)

Visit a Return statement.

Parameters:

s - the visited statement.

visitStringAssignment

void visitStringAssignment(StringAssignment s)

Visit a StringAssignment statement.

Parameters:

s - the visited statement.

visitStringBufferAppend

void visitStringBufferAppend(StringBufferAppend s)

Visit a StringBufferAppend statement.

Parameters:

s - the visited statement.

visitStringBufferAppendChar

void visitStringBufferAppendChar(StringBufferAppendChar s)

visitStringBufferAssignment

void visitStringBufferAssignment(StringBufferAssignment s)

Visit a StringBufferAssignment statement.

Parameters:

s - the visited statement.

visitStringBufferBinaryOp

void visitStringBufferBinaryOp(StringBufferBinaryOp s)

Visit a StringBufferBinaryOp statement.

Parameters:

s - the visited statement.

visitStringBufferCorrupt

void visitStringBufferCorrupt(StringBufferCorrupt s)

Visit a StringBufferCorrupt statement.

Parameters:

s - the visited statement.

visitStringBufferInit

void visitStringBufferInit(StringBufferInit s)

Visit a StringBufferInit statement.

Parameters:

s - the visited statement.

visitStringBufferPrepend

void visitStringBufferPrepend(StringBufferPrepend s)

Visit a StringBufferPrepend statement.

Parameters:

s - the visited statement.

visitStringBufferUnaryOp

void visitStringBufferUnaryOp(StringBufferUnaryOp s)

Visit a StringBufferUnaryOp statement.

Parameters:

s - the visited statement.

visitStringConcat

void visitStringConcat(StringConcat s)

Visit a StringConcat statement.

Parameters:

s - the visited statement.

visitStringFromArray

void visitStringFromArray(StringFromArray s)

Visit a StringFromArray statement.

Parameters:

s - the visited statement.

visitStringFromStringBuffer

void visitStringFromStringBuffer(StringFromStringBuffer s)

Visit a StringFromStringBuffer statement.

Parameters:

s - the visited statement.

visitStringInit

void visitStringInit(StringInit s)

Visit a StringInit statement.

Parameters:

s - the visited statement.