Class InstructionActionCache

java.lang.Object

edu.umd.cs.findbugs.ba.obl.InstructionActionCache

public class InstructionActionCache
extends Object

A cache for looking up the collection of ObligationPolicyDatabaseActions associated with a given InstructionHandle. Avoids the need for repeated (slow) lookups.

Field Summary

Fields

Modifier and Type	Field	Description
private final Map<org.apache.bcel.generic.InstructionHandle, Collection<ObligationPolicyDatabaseAction>>	actionCache
private final org.apache.bcel.generic.ConstantPoolGen	cpg
private final ObligationPolicyDatabase	database
private static final boolean	DEBUG_LOOKUP
private final TypeDataflow	typeDataflow
(package private) static final ClassDescriptor	WILL_CLOSE
private final XMethod	xmethod

Constructor Summary

Constructors

Constructor	Description
InstructionActionCache(ObligationPolicyDatabase database, XMethod xmethod, org.apache.bcel.generic.ConstantPoolGen cpg, TypeDataflow typeDataflow)

Method Summary

Modifier and Type	Method	Description
boolean	addsObligation(BasicBlock block, org.apache.bcel.generic.InstructionHandle handle, Obligation obligation)
boolean	deletesObligation(BasicBlock block, org.apache.bcel.generic.InstructionHandle handle, Obligation obligation)
Collection<ObligationPolicyDatabaseAction>	getActions(BasicBlock block, org.apache.bcel.generic.InstructionHandle handle)
private boolean	hasAction(BasicBlock block, org.apache.bcel.generic.InstructionHandle handle, Obligation obligation, ObligationPolicyDatabaseActionType actionType)

Methods inherited from class Object

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

Field Details

DEBUG_LOOKUP

private static final boolean DEBUG_LOOKUP

database

private final ObligationPolicyDatabase database

actionCache

private final Map<org.apache.bcel.generic.InstructionHandle, Collection<ObligationPolicyDatabaseAction>> actionCache

xmethod

private final XMethod xmethod

typeDataflow

private final TypeDataflow typeDataflow

cpg

private final org.apache.bcel.generic.ConstantPoolGen cpg

WILL_CLOSE

static final ClassDescriptor WILL_CLOSE

Constructor Details

InstructionActionCache

public InstructionActionCache(ObligationPolicyDatabase database,
 XMethod xmethod,
 org.apache.bcel.generic.ConstantPoolGen cpg,
 TypeDataflow typeDataflow)

Method Details

getActions

public Collection<ObligationPolicyDatabaseAction> getActions(BasicBlock block,
 org.apache.bcel.generic.InstructionHandle handle)

addsObligation

public boolean addsObligation(BasicBlock block,
 org.apache.bcel.generic.InstructionHandle handle,
 Obligation obligation)

deletesObligation

public boolean deletesObligation(BasicBlock block,
 org.apache.bcel.generic.InstructionHandle handle,
 Obligation obligation)

hasAction

private boolean hasAction(BasicBlock block,
 org.apache.bcel.generic.InstructionHandle handle,
 Obligation obligation,
 ObligationPolicyDatabaseActionType actionType)