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 int`	`ALIAS`
`static int`	`ALLOC`
`static int`	`CALL`
`static int`	`RC`
`static int`	`STACK`
`static int`	`STORE`
`static int`	`SYNC`
`static int`	`THROW`
`static int`	`UC`
`static int`	`VOLATILE`

Fields inherited from class EDU.purdue.cs.bloat.tree.TreeVisitor
FORWARD, REVERSE

Constructor Summary

Constructors
Constructor Description

SideEffectChecker(EditorContext context)
Constructor.

Constructors
Constructor	Description
`SideEffectChecker(EditorContext context)`	Constructor.

Method Summary

All Methods Instance Methods Concrete Methods
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 java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from class EDU.purdue.cs.bloat.tree.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

- Field Detail
  - 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 Detail
  - SideEffectChecker
```
public SideEffectChecker(EditorContext context)
```
    Constructor. The Context is needed to determine whether or not a field is VOLATILE, etc.
- Method Detail
  - 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

Class SideEffectChecker

Field Summary

Fields inherited from class EDU.purdue.cs.bloat.tree.TreeVisitor

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Methods inherited from class EDU.purdue.cs.bloat.tree.TreeVisitor

Field Detail

STACK

THROW

CALL

SYNC

ALLOC

RC

UC

STORE

ALIAS

VOLATILE

Constructor Detail

SideEffectChecker

Method Detail

sideEffects

hasSideEffects

reset

visitStoreExpr

visitLocalExpr

visitZeroCheckExpr

visitRCExpr

visitUCExpr

visitNewMultiArrayExpr

visitNewArrayExpr

visitCatchExpr

visitNewExpr

visitStackExpr

visitCastExpr

visitArithExpr

visitArrayLengthExpr

visitArrayRefExpr

visitFieldExpr

visitStaticFieldExpr

visitCallStaticExpr

visitCallMethodExpr

visitMonitorStmt

visitStackManipStmt