Uses of Class
edu.umd.cs.findbugs.ba.type.TypeFrame
-
Packages that use TypeFrame Package Description edu.umd.cs.findbugs.ba A bytecode analysis framework for BCEL, providing CFG construction, generic dataflow analysis, and a variety of specific dataflow analyses.edu.umd.cs.findbugs.ba.type edu.umd.cs.findbugs.detect -
-
Uses of TypeFrame in edu.umd.cs.findbugs.ba
Methods in edu.umd.cs.findbugs.ba with parameters of type TypeFrame Modifier and Type Method Description static java.util.Set<JavaClassAndMethod>
Hierarchy. resolveMethodCallTargets(org.apache.bcel.generic.InvokeInstruction invokeInstruction, TypeFrame typeFrame, org.apache.bcel.generic.ConstantPoolGen cpg)
Resolve possible method call targets.static java.util.Set<XMethod>
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 TypeFrame Modifier and Type Field Description TypeFrame
TypeDataflow.LocationAndFactPair. frame
private TypeFrame
TypeAnalysis.CachedExceptionSet. result
Methods in edu.umd.cs.findbugs.ba.type that return TypeFrame Modifier and Type Method Description TypeFrame
TypeAnalysis. createFact()
private TypeFrame
TypeAnalysis. handleInstanceOfBranch(TypeFrame fact, TypeFrame tmpFact, Edge edge)
Methods in edu.umd.cs.findbugs.ba.type with parameters of type TypeFrame Modifier and Type Method Description private 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
TypeAnalysis. copy(TypeFrame source, TypeFrame dest)
private boolean
TypeFrameModelingVisitor. getResultTypeFromGenericType(TypeFrame frame, int index, int expectedParameters)
private boolean
TypeFrameModelingVisitor. handleGetMapView(TypeFrame frame, java.lang.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
TypeAnalysis. meetInto(TypeFrame fact, Edge edge, TypeFrame result)
protected void
TypeAnalysis. mergeValues(TypeFrame otherFrame, TypeFrame resultFrame, int slot)
boolean
TypeAnalysis. same(TypeFrame fact1, TypeFrame fact2)
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 TypeFrame Constructor Description CachedExceptionSet(TypeFrame result, ExceptionSet exceptionSet)
LocationAndFactPair(Location location, TypeFrame frame)
-
Uses of TypeFrame in edu.umd.cs.findbugs.detect
Methods in edu.umd.cs.findbugs.detect that return TypeFrame Modifier and Type Method Description TypeFrame
FindUselessObjects.ExceptionLocation. typeFrameBefore()
TypeFrame
FindUselessObjects.GenLocation. typeFrameBefore()
TypeFrame
FindUselessObjects.RegularLocation. typeFrameBefore()
Methods in edu.umd.cs.findbugs.detect with parameters of type TypeFrame Modifier and Type Method Description void
FindRefComparison.SpecialTypeAnalysis. initEntryFact(TypeFrame result)
-