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 ResourceValueFrameModelingVisitorResourceValueAnalysis.visitorMethods 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 classclassA 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)