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
Subclasses with type arguments of type TypeFrame in edu.umd.cs.findbugs.ba.typeModifier and TypeClassDescriptionclassA forward dataflow analysis to determine the types of all values in the Java stack frame at all points in a Java method.classclassVisitor to model the effects of bytecode instructions on the types of the values (local and operand stack) in Java stack frames.Fields in edu.umd.cs.findbugs.ba.type declared as TypeFrameModifier and TypeFieldDescriptionfinal TypeFrameTypeDataflow.LocationAndFactPair.frameprivate final TypeFrameTypeAnalysis.CachedExceptionSet.resultMethods in edu.umd.cs.findbugs.ba.type that return TypeFrameModifier and TypeMethodDescriptionTypeAnalysis.createFact()private TypeFrameTypeAnalysis.handleInstanceOfBranch(TypeFrame fact, TypeFrame tmpFact, Edge edge) Methods in edu.umd.cs.findbugs.ba.type with parameters of type TypeFrameModifier and TypeMethodDescriptionprivate TypeAnalysis.CachedExceptionSetTypeAnalysis.computeBlockExceptionSet(BasicBlock basicBlock, TypeFrame result) Compute the set of exceptions that can be thrown from the given basic block.private voidTypeAnalysis.computeThrownExceptionTypes(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, TypeFrame result) voidprivate booleanTypeFrameModelingVisitor.getResultTypeFromGenericType(TypeFrame frame, int index, int expectedParameters) private booleanTypeFrameModelingVisitor.handleGetMapView(TypeFrame frame, String typeName, int index, int expectedNumberOfTypeParameters) private TypeFrameTypeAnalysis.handleInstanceOfBranch(TypeFrame fact, TypeFrame tmpFact, Edge edge) voidTypeAnalysis.initEntryFact(TypeFrame result) booleanTypeAnalysis.isFactValid(TypeFrame fact) booleanTypeAnalysis.CachedExceptionSet.isUpToDate(TypeFrame result) voidTypeAnalysis.makeFactTop(TypeFrame fact) voidprotected voidTypeAnalysis.mergeValues(TypeFrame otherFrame, TypeFrame resultFrame, int slot) booleanvoidTypeAnalysis.transfer(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, TypeFrame start, TypeFrame result) voidTypeAnalysis.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 TypeMethodDescriptionvoidFindRefComparison.SpecialTypeAnalysis.initEntryFact(TypeFrame result)