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 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 Description ResourceValueFrame
ResourceValueAnalysis. createFact()
Methods in edu.umd.cs.findbugs.ba with parameters of type ResourceValueFrame Modifier and Type Method 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 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 Description void
FindOpenStream. inspectResult(ClassContext classContext, org.apache.bcel.generic.MethodGen methodGen, CFG cfg, Dataflow<ResourceValueFrame,ResourceValueAnalysis<Stream>> dataflow, Stream stream)
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)
-