boomerang.staticfields

Class FlowSensitiveStaticFieldStrategy<W extends wpds.impl.Weight>

java.lang.Object

boomerang.staticfields.FlowSensitiveStaticFieldStrategy<W>

All Implemented Interfaces:

StaticFieldStrategy<W>

public class FlowSensitiveStaticFieldStrategy<W extends wpds.impl.Weight>
extends Object
implements StaticFieldStrategy<W>

Constructor Summary

Constructors

Constructor and Description
FlowSensitiveStaticFieldStrategy()

Method Summary

Modifier and Type	Method and Description
void	handleBackward(ControlFlowGraph.Edge loadStatement, Val loadedVal, StaticFieldVal staticVal, Set<wpds.interfaces.State> out)
void	handleForward(ControlFlowGraph.Edge storeStmt, Val storedVal, StaticFieldVal staticVal, Set<wpds.interfaces.State> out)

Methods inherited from class java.lang.Object

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

Constructor Detail

FlowSensitiveStaticFieldStrategy

public FlowSensitiveStaticFieldStrategy()

Method Detail

handleForward

public void handleForward(ControlFlowGraph.Edge storeStmt,
                          Val storedVal,
                          StaticFieldVal staticVal,
                          Set<wpds.interfaces.State> out)

Specified by:

handleForward in interface StaticFieldStrategy<W extends wpds.impl.Weight>

handleBackward

public void handleBackward(ControlFlowGraph.Edge loadStatement,
                           Val loadedVal,
                           StaticFieldVal staticVal,
                           Set<wpds.interfaces.State> out)

Specified by:

handleBackward in interface StaticFieldStrategy<W extends wpds.impl.Weight>