Uses of Class
edu.umd.cs.findbugs.ba.ResourceValueFrameModelingVisitor
Packages that use ResourceValueFrameModelingVisitor
Package
Description
A bytecode analysis framework for BCEL, providing CFG construction, generic
dataflow analysis, and a variety of specific dataflow analyses.
-
Uses of ResourceValueFrameModelingVisitor in edu.umd.cs.findbugs.ba
Fields in edu.umd.cs.findbugs.ba declared as ResourceValueFrameModelingVisitorModifier and TypeFieldDescriptionprivate final ResourceValueFrameModelingVisitor
ResourceValueAnalysis.visitor
Methods in edu.umd.cs.findbugs.ba that return ResourceValueFrameModelingVisitorModifier and TypeMethodDescriptionResourceTracker.createVisitor
(Resource resource, org.apache.bcel.generic.ConstantPoolGen cpg) Create a ResourceValueFrameModelingVisitor to model the effect of instructions on the state of the resource. -
Uses of ResourceValueFrameModelingVisitor in edu.umd.cs.findbugs.detect
Subclasses of ResourceValueFrameModelingVisitor in edu.umd.cs.findbugs.detectModifier and TypeClassDescriptionprivate static class
class
A visitor to model the effect of instructions on the status of the resource (in this case, Streams).Methods in edu.umd.cs.findbugs.detect that return ResourceValueFrameModelingVisitorModifier and TypeMethodDescriptionFindUnreleasedLock.LockResourceTracker.createVisitor
(Lock resource, org.apache.bcel.generic.ConstantPoolGen cpg) StreamResourceTracker.createVisitor
(Stream resource, org.apache.bcel.generic.ConstantPoolGen cpg)