boomerang.staticfields

Interface StaticFieldStrategy<W extends wpds.impl.Weight>

All Known Implementing Classes:

FlowSensitiveStaticFieldStrategy, IgnoreStaticFieldStrategy, SingletonStaticFieldStrategy

public interface StaticFieldStrategy<W extends wpds.impl.Weight>

Method Summary

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

Method Detail

handleForward

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

handleBackward

void handleBackward(ControlFlowGraph.Edge curr,
                    Val leftOp,
                    StaticFieldVal staticField,
                    Set<wpds.interfaces.State> out)