Class SideEffectChecker

java.lang.Object

EDU.purdue.cs.bloat.tree.TreeVisitor

EDU.purdue.cs.bloat.trans.SideEffectChecker

public class SideEffectChecker
extends TreeVisitor

SideEffectChecker traverses a tree and determines is a node has any side effects such as changing the stack, calling a function, or performing a residency check. The side effects are represented by an integer whose bits represent a certain kind of side effect.

SideEffectChecker is a TreeVisitor. The way it works is that after a SideEffectChecker is reset, an expression tree Node is visited to determine whether or not it has side effects. Neat.

Field Summary

Fields

Modifier and Type	Field	Description
static final int	ALIAS
static final int	ALLOC
static final int	CALL
static final int	RC
static final int	STACK
static final int	STORE
static final int	SYNC
static final int	THROW
static final int	UC
static final int	VOLATILE

Fields inherited from class TreeVisitor

FORWARD, REVERSE

Constructor Summary

Constructors

Constructor	Description
SideEffectChecker(EditorContext context)	Constructor.

Method Summary

Modifier and Type	Method	Description
boolean	hasSideEffects()
void	reset()
int	sideEffects()
void	visitArithExpr(ArithExpr expr)
void	visitArrayLengthExpr(ArrayLengthExpr expr)
void	visitArrayRefExpr(ArrayRefExpr expr)
void	visitCallMethodExpr(CallMethodExpr expr)
void	visitCallStaticExpr(CallStaticExpr expr)
void	visitCastExpr(CastExpr expr)
void	visitCatchExpr(CatchExpr expr)
void	visitFieldExpr(FieldExpr expr)
void	visitLocalExpr(LocalExpr expr)
void	visitMonitorStmt(MonitorStmt stmt)
void	visitNewArrayExpr(NewArrayExpr expr)
void	visitNewExpr(NewExpr expr)
void	visitNewMultiArrayExpr(NewMultiArrayExpr expr)
void	visitRCExpr(RCExpr expr)
void	visitStackExpr(StackExpr expr)
void	visitStackManipStmt(StackManipStmt stmt)
void	visitStaticFieldExpr(StaticFieldExpr expr)
void	visitStoreExpr(StoreExpr expr)
void	visitUCExpr(UCExpr expr)
void	visitZeroCheckExpr(ZeroCheckExpr expr)

Methods inherited from class TreeVisitor

direction, forward, prune, reverse, setPrune, visitAddressStoreStmt, visitBlock, visitCallExpr, visitCheckExpr, visitConstantExpr, visitDefExpr, visitExpr, visitExprStmt, visitFlowGraph, visitGotoStmt, visitIfCmpStmt, visitIfStmt, visitIfZeroStmt, visitInitStmt, visitInstanceOfExpr, visitJsrStmt, visitLabelStmt, visitMemExpr, visitMemRefExpr, visitNegExpr, visitNode, visitPhiCatchStmt, visitPhiJoinStmt, visitPhiStmt, visitRetStmt, visitReturnAddressExpr, visitReturnExprStmt, visitReturnStmt, visitSCStmt, visitShiftExpr, visitSRStmt, visitStmt, visitSwitchStmt, visitThrowStmt, visitTree, visitVarExpr

Methods inherited from class Object

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

Field Details

STACK

public static final int STACK

See Also:

• Constant Field Values

THROW

public static final int THROW

See Also:

• Constant Field Values

CALL

public static final int CALL

See Also:

• Constant Field Values

SYNC

public static final int SYNC

See Also:

• Constant Field Values

ALLOC

public static final int ALLOC

See Also:

• Constant Field Values

RC

public static final int RC

See Also:

• Constant Field Values

UC

public static final int UC

See Also:

• Constant Field Values

STORE

public static final int STORE

See Also:

• Constant Field Values

ALIAS

public static final int ALIAS

See Also:

• Constant Field Values

VOLATILE

public static final int VOLATILE

See Also:

• Constant Field Values

Constructor Details

SideEffectChecker

public SideEffectChecker(EditorContext context)

Constructor. The Context is needed to determine whether or not a field is VOLATILE, etc.

Method Details

sideEffects

public int sideEffects()

hasSideEffects

public boolean hasSideEffects()

reset

public void reset()

visitStoreExpr

public void visitStoreExpr(StoreExpr expr)

Overrides:

visitStoreExpr in class TreeVisitor

visitLocalExpr

public void visitLocalExpr(LocalExpr expr)

Overrides:

visitLocalExpr in class TreeVisitor

visitZeroCheckExpr

public void visitZeroCheckExpr(ZeroCheckExpr expr)

Overrides:

visitZeroCheckExpr in class TreeVisitor

visitRCExpr

public void visitRCExpr(RCExpr expr)

Overrides:

visitRCExpr in class TreeVisitor

visitUCExpr

public void visitUCExpr(UCExpr expr)

Overrides:

visitUCExpr in class TreeVisitor

visitNewMultiArrayExpr

public void visitNewMultiArrayExpr(NewMultiArrayExpr expr)

Overrides:

visitNewMultiArrayExpr in class TreeVisitor

visitNewArrayExpr

public void visitNewArrayExpr(NewArrayExpr expr)

Overrides:

visitNewArrayExpr in class TreeVisitor

visitCatchExpr

public void visitCatchExpr(CatchExpr expr)

Overrides:

visitCatchExpr in class TreeVisitor

visitNewExpr

public void visitNewExpr(NewExpr expr)

Overrides:

visitNewExpr in class TreeVisitor

visitStackExpr

public void visitStackExpr(StackExpr expr)

Overrides:

visitStackExpr in class TreeVisitor

visitCastExpr

public void visitCastExpr(CastExpr expr)

Overrides:

visitCastExpr in class TreeVisitor

visitArithExpr

public void visitArithExpr(ArithExpr expr)

Overrides:

visitArithExpr in class TreeVisitor

visitArrayLengthExpr

public void visitArrayLengthExpr(ArrayLengthExpr expr)

Overrides:

visitArrayLengthExpr in class TreeVisitor

visitArrayRefExpr

public void visitArrayRefExpr(ArrayRefExpr expr)

Overrides:

visitArrayRefExpr in class TreeVisitor

visitFieldExpr

public void visitFieldExpr(FieldExpr expr)

Overrides:

visitFieldExpr in class TreeVisitor

visitStaticFieldExpr

public void visitStaticFieldExpr(StaticFieldExpr expr)

Overrides:

visitStaticFieldExpr in class TreeVisitor

visitCallStaticExpr

public void visitCallStaticExpr(CallStaticExpr expr)

Overrides:

visitCallStaticExpr in class TreeVisitor

visitCallMethodExpr

public void visitCallMethodExpr(CallMethodExpr expr)

Overrides:

visitCallMethodExpr in class TreeVisitor

visitMonitorStmt

public void visitMonitorStmt(MonitorStmt stmt)

Overrides:

visitMonitorStmt in class TreeVisitor

visitStackManipStmt

public void visitStackManipStmt(StackManipStmt stmt)

Overrides:

visitStackManipStmt in class TreeVisitor