Uses of Class
edu.umd.cs.findbugs.ba.type.TypeFrame
Packages that use TypeFrame
Package
Description
A bytecode analysis framework for BCEL, providing CFG construction, generic
dataflow analysis, and a variety of specific dataflow analyses.
-
Uses of TypeFrame in edu.umd.cs.findbugs.ba
Methods in edu.umd.cs.findbugs.ba with parameters of type TypeFrameModifier and TypeMethodDescriptionstatic Set
<JavaClassAndMethod> Hierarchy.resolveMethodCallTargets
(org.apache.bcel.generic.InvokeInstruction invokeInstruction, TypeFrame typeFrame, org.apache.bcel.generic.ConstantPoolGen cpg) Resolve possible method call targets.Hierarchy2.resolveMethodCallTargets
(org.apache.bcel.generic.InvokeInstruction invokeInstruction, TypeFrame typeFrame, org.apache.bcel.generic.ConstantPoolGen cpg) Resolve possible method call targets. -
Uses of TypeFrame in edu.umd.cs.findbugs.ba.type
Fields in edu.umd.cs.findbugs.ba.type declared as TypeFrameModifier and TypeFieldDescriptionfinal TypeFrame
TypeDataflow.LocationAndFactPair.frame
private final TypeFrame
TypeAnalysis.CachedExceptionSet.result
Methods in edu.umd.cs.findbugs.ba.type that return TypeFrameModifier and TypeMethodDescriptionTypeAnalysis.createFact()
private TypeFrame
TypeAnalysis.handleInstanceOfBranch
(TypeFrame fact, TypeFrame tmpFact, Edge edge) Methods in edu.umd.cs.findbugs.ba.type with parameters of type TypeFrameModifier and TypeMethodDescriptionprivate TypeAnalysis.CachedExceptionSet
TypeAnalysis.computeBlockExceptionSet
(BasicBlock basicBlock, TypeFrame result) Compute the set of exceptions that can be thrown from the given basic block.private void
TypeAnalysis.computeThrownExceptionTypes
(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, TypeFrame result) void
private boolean
TypeFrameModelingVisitor.getResultTypeFromGenericType
(TypeFrame frame, int index, int expectedParameters) private boolean
TypeFrameModelingVisitor.handleGetMapView
(TypeFrame frame, String typeName, int index, int expectedNumberOfTypeParameters) private TypeFrame
TypeAnalysis.handleInstanceOfBranch
(TypeFrame fact, TypeFrame tmpFact, Edge edge) void
TypeAnalysis.initEntryFact
(TypeFrame result) boolean
TypeAnalysis.isFactValid
(TypeFrame fact) boolean
TypeAnalysis.CachedExceptionSet.isUpToDate
(TypeFrame result) void
TypeAnalysis.makeFactTop
(TypeFrame fact) void
protected void
TypeAnalysis.mergeValues
(TypeFrame otherFrame, TypeFrame resultFrame, int slot) boolean
void
TypeAnalysis.transfer
(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, TypeFrame start, TypeFrame result) void
TypeAnalysis.transferInstruction
(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, TypeFrame fact) Constructors in edu.umd.cs.findbugs.ba.type with parameters of type TypeFrameModifierConstructorDescriptionCachedExceptionSet
(TypeFrame result, ExceptionSet exceptionSet) (package private)
LocationAndFactPair
(Location location, TypeFrame frame) -
Uses of TypeFrame in edu.umd.cs.findbugs.detect
Methods in edu.umd.cs.findbugs.detect that return TypeFrameModifier and TypeMethodDescriptionFindUselessObjects.ExceptionLocation.typeFrameBefore()
FindUselessObjects.GenLocation.typeFrameBefore()
FindUselessObjects.RegularLocation.typeFrameBefore()
Methods in edu.umd.cs.findbugs.detect with parameters of type TypeFrameModifier and TypeMethodDescriptionvoid
FindRefComparison.SpecialTypeAnalysis.initEntryFact
(TypeFrame result)