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 TypeFrameTypeDataflow.LocationAndFactPair. frameprivate TypeFrameTypeAnalysis.CachedExceptionSet. resultMethods in edu.umd.cs.findbugs.ba.type that return TypeFrame Modifier and Type Method Description TypeFrameTypeAnalysis. createFact()private TypeFrameTypeAnalysis. 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.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)voidTypeAnalysis. copy(TypeFrame source, TypeFrame dest)private booleanTypeFrameModelingVisitor. getResultTypeFromGenericType(TypeFrame frame, int index, int expectedParameters)private booleanTypeFrameModelingVisitor. handleGetMapView(TypeFrame frame, java.lang.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)voidTypeAnalysis. meetInto(TypeFrame fact, Edge edge, TypeFrame result)protected voidTypeAnalysis. mergeValues(TypeFrame otherFrame, TypeFrame resultFrame, int slot)booleanTypeAnalysis. same(TypeFrame fact1, TypeFrame fact2)voidTypeAnalysis. 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 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 TypeFrameFindUselessObjects.ExceptionLocation. typeFrameBefore()TypeFrameFindUselessObjects.GenLocation. typeFrameBefore()TypeFrameFindUselessObjects.RegularLocation. typeFrameBefore()Methods in edu.umd.cs.findbugs.detect with parameters of type TypeFrame Modifier and Type Method Description voidFindRefComparison.SpecialTypeAnalysis. initEntryFact(TypeFrame result)
-