Package boomerang.staticfields

Class SingletonStaticFieldStrategy<W extends wpds.impl.Weight>

java.lang.Object

boomerang.staticfields.SingletonStaticFieldStrategy<W>

All Implemented Interfaces:

StaticFieldStrategy<W>

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

Constructor Summary

Constructors

Constructor	Description
SingletonStaticFieldStrategy(AbstractBoomerangSolver solver, com.google.common.collect.Multimap<Field,Statement> fieldLoadStatements, com.google.common.collect.Multimap<Field,Statement> fieldStoreStatements)

Method Summary

Modifier and Type	Method	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

SingletonStaticFieldStrategy

public SingletonStaticFieldStrategy(AbstractBoomerangSolver solver,
                                    com.google.common.collect.Multimap<Field,Statement> fieldLoadStatements,
                                    com.google.common.collect.Multimap<Field,Statement> fieldStoreStatements)

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>