Uses of Class
edu.umd.cs.findbugs.ba.ResourceValueFrame

Packages that use ResourceValueFrame

Package	Description
edu.umd.cs.findbugs	Main package for the FindBugs application - contains the engine class (FindBugs), the object model classes for bug instances (BugInstance, BugAnnotation), and other miscellany.
edu.umd.cs.findbugs.ba	A bytecode analysis framework for BCEL, providing CFG construction, generic dataflow analysis, and a variety of specific dataflow analyses.
edu.umd.cs.findbugs.detect

Uses of ResourceValueFrame in edu.umd.cs.findbugs

Method parameters in edu.umd.cs.findbugs with type arguments of type ResourceValueFrame

Modifier and Type	Method and Description
abstract void	ResourceTrackingDetector.inspectResult(ClassContext classContext, org.apache.bcel.generic.MethodGen methodGen, CFG cfg, Dataflow<ResourceValueFrame,ResourceValueAnalysis<Resource>> dataflow, Resource resource)

Uses of ResourceValueFrame in edu.umd.cs.findbugs.ba

Methods in edu.umd.cs.findbugs.ba that return ResourceValueFrame

Modifier and Type	Method and Description
ResourceValueFrame	ResourceValueAnalysis.createFact()

Methods in edu.umd.cs.findbugs.ba with parameters of type ResourceValueFrame

Modifier and Type	Method and Description
void	ResourceValueAnalysis.initEntryFact(ResourceValueFrame result)
boolean	ResourceTracker.isResourceClose(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, Resource resource, ResourceValueFrame frame) Determine if the given instruction is the site where a resource is closed.
void	ResourceValueAnalysis.meetInto(ResourceValueFrame fact, Edge edge, ResourceValueFrame result)
protected void	ResourceValueAnalysis.mergeInto(ResourceValueFrame frame, ResourceValueFrame result)
protected void	ResourceValueAnalysis.mergeValues(ResourceValueFrame otherFrame, ResourceValueFrame resultFrame, int slot)
void	ResourceValueAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, ResourceValueFrame fact)

Uses of ResourceValueFrame in edu.umd.cs.findbugs.detect

Methods in edu.umd.cs.findbugs.detect with parameters of type ResourceValueFrame

Modifier and Type	Method and Description
boolean	StreamResourceTracker.isResourceClose(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, Stream resource, ResourceValueFrame frame)
boolean	StreamResourceTracker.isResourceOpen(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, Stream resource, ResourceValueFrame frame)
boolean	Stream.isStreamClose(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ResourceValueFrame frame, RepositoryLookupFailureCallback lookupFailureCallback)
boolean	Stream.isStreamOpen(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ResourceValueFrame frame)

Method parameters in edu.umd.cs.findbugs.detect with type arguments of type ResourceValueFrame

Modifier and Type	Method and Description
void	FindUnreleasedLock.inspectResult(ClassContext classContext, org.apache.bcel.generic.MethodGen methodGen, CFG cfg, Dataflow<ResourceValueFrame,ResourceValueAnalysis<edu.umd.cs.findbugs.detect.Lock>> dataflow, edu.umd.cs.findbugs.detect.Lock resource)
void	FindOpenStream.inspectResult(ClassContext classContext, org.apache.bcel.generic.MethodGen methodGen, CFG cfg, Dataflow<ResourceValueFrame,ResourceValueAnalysis<Stream>> dataflow, Stream stream)