Package edu.umd.cs.findbugs.ba.obl

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.

Author:

David Hovemeyer

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)

Methods inherited from class java.lang.Object

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

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)