edu.umd.cs.findbugs.ba.obl

Class InstructionActionCache

java.lang.Object

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

public class InstructionActionCache
extends java.lang.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 and Description
InstructionActionCache(ObligationPolicyDatabase database, XMethod xmethod, org.apache.bcel.generic.ConstantPoolGen cpg, TypeDataflow typeDataflow)

Method Summary

Methods

Modifier and Type	Method and 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)
java.util.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 Detail

InstructionActionCache

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

Method Detail

getActions

public java.util.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)