boomerang.staticfields.StaticFieldStrategy Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of boomerangPDS Show documentation

There is a newer version: 3.2.2

package boomerang.staticfields;

import boomerang.scene.ControlFlowGraph.Edge;
import boomerang.scene.StaticFieldVal;
import boomerang.scene.Val;
import java.util.Set;
import wpds.impl.Weight;
import wpds.interfaces.State;

public interface StaticFieldStrategy {
  void handleForward(Edge storeStmt, Val storedVal, StaticFieldVal staticVal, Set out);

  void handleBackward(Edge curr, Val leftOp, StaticFieldVal staticField, Set out);
}