Uses of Class
edu.umd.cs.findbugs.ba.ResourceValueFrame
Packages that use ResourceValueFrame
Package
Description
Main package for the FindBugs application - contains the engine class
(
FindBugs), the object model classes for bug
instances (BugInstance,
BugAnnotation), and other miscellany.A bytecode analysis framework for BCEL, providing CFG construction, generic
dataflow analysis, and a variety of specific dataflow analyses.
-
Uses of ResourceValueFrame in edu.umd.cs.findbugs
Method parameters in edu.umd.cs.findbugs with type arguments of type ResourceValueFrameModifier and TypeMethodDescriptionabstract voidResourceTrackingDetector.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
Subclasses with type arguments of type ResourceValueFrame in edu.umd.cs.findbugs.baMethods in edu.umd.cs.findbugs.ba that return ResourceValueFrameMethods in edu.umd.cs.findbugs.ba with parameters of type ResourceValueFrameModifier and TypeMethodDescriptionvoidResourceValueAnalysis.initEntryFact(ResourceValueFrame result) booleanResourceTracker.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.voidResourceValueAnalysis.meetInto(ResourceValueFrame fact, Edge edge, ResourceValueFrame result) protected voidResourceValueAnalysis.mergeInto(ResourceValueFrame frame, ResourceValueFrame result) protected voidResourceValueAnalysis.mergeValues(ResourceValueFrame otherFrame, ResourceValueFrame resultFrame, int slot) voidResourceValueAnalysis.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 ResourceValueFrameModifier and TypeMethodDescriptionprivate ResourceValueStream.getInstanceValue(ResourceValueFrame frame, org.apache.bcel.generic.InvokeInstruction inv, org.apache.bcel.generic.ConstantPoolGen cpg) booleanFindUnreleasedLock.LockResourceTracker.isResourceClose(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, Lock resource, ResourceValueFrame frame) booleanStreamResourceTracker.isResourceClose(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, Stream resource, ResourceValueFrame frame) booleanStreamResourceTracker.isResourceOpen(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, Stream resource, ResourceValueFrame frame) booleanStream.isStreamClose(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ResourceValueFrame frame, RepositoryLookupFailureCallback lookupFailureCallback) booleanStream.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 ResourceValueFrameModifier and TypeMethodDescriptionvoidFindOpenStream.inspectResult(ClassContext classContext, org.apache.bcel.generic.MethodGen methodGen, CFG cfg, Dataflow<ResourceValueFrame, ResourceValueAnalysis<Stream>> dataflow, Stream stream) voidFindUnreleasedLock.inspectResult(ClassContext classContext, org.apache.bcel.generic.MethodGen methodGen, CFG cfg, Dataflow<ResourceValueFrame, ResourceValueAnalysis<Lock>> dataflow, Lock resource)