Package edu.umd.cs.findbugs.detect
Class FindRefComparison.SpecialTypeAnalysis
- java.lang.Object
-
- edu.umd.cs.findbugs.ba.BasicAbstractDataflowAnalysis<Fact>
-
- edu.umd.cs.findbugs.ba.AbstractDataflowAnalysis<Fact>
-
- edu.umd.cs.findbugs.ba.ForwardDataflowAnalysis<FrameType>
-
- edu.umd.cs.findbugs.ba.FrameDataflowAnalysis<org.apache.bcel.generic.Type,TypeFrame>
-
- edu.umd.cs.findbugs.ba.type.TypeAnalysis
-
- edu.umd.cs.findbugs.detect.FindRefComparison.SpecialTypeAnalysis
-
- All Implemented Interfaces:
DataflowAnalysis<TypeFrame>
,EdgeTypes
- Enclosing class:
- FindRefComparison
private static final class FindRefComparison.SpecialTypeAnalysis extends TypeAnalysis
-
-
Field Summary
-
Fields inherited from class edu.umd.cs.findbugs.ba.type.TypeAnalysis
cfg, DEBUG, FORCE_ACCURATE_EXCEPTIONS, methodGen
-
Fields inherited from interface edu.umd.cs.findbugs.ba.EdgeTypes
BACKEDGE_SOURCE_EDGE, BACKEDGE_TARGET_EDGE, CHECKED_EXCEPTIONS_FLAG, EXIT_EDGE, EXPLICIT_EXCEPTIONS_FLAG, FALL_THROUGH_EDGE, GOTO_EDGE, HANDLED_EXCEPTION_EDGE, IFCMP_EDGE, JSR_EDGE, RET_EDGE, RETURN_EDGE, START_EDGE, SWITCH_DEFAULT_EDGE, SWITCH_EDGE, UNHANDLED_EXCEPTION_EDGE, UNKNOWN_EDGE
-
-
Constructor Summary
Constructors Modifier Constructor Description private
SpecialTypeAnalysis(org.apache.bcel.classfile.Method method, org.apache.bcel.generic.MethodGen methodGen, CFG cfg, DepthFirstSearch dfs, TypeMerger typeMerger, TypeFrameModelingVisitor visitor, RepositoryLookupFailureCallback lookupFailureCallback, ExceptionSetFactory exceptionSetFactory)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
initEntryFact(TypeFrame result)
Initialize the "entry" fact for the graph.-
Methods inherited from class edu.umd.cs.findbugs.ba.type.TypeAnalysis
copy, createFact, getEdgeExceptionSet, isFactValid, isImpliedByGenericTypes, makeFactTop, meetInto, mergeValues, same, setFieldStoreTypeDatabase, setValueNumberDataflow, toString, transfer, transferInstruction
-
Methods inherited from class edu.umd.cs.findbugs.ba.FrameDataflowAnalysis
getFactAtPC, getFactBeforeExceptionCheck, getLastUpdateTimestamp, isTop, mergeInto, modifyFrame, setLastUpdateTimestamp
-
Methods inherited from class edu.umd.cs.findbugs.ba.ForwardDataflowAnalysis
getBlockOrder, getDepthFirstSearch, isForwards
-
Methods inherited from class edu.umd.cs.findbugs.ba.AbstractDataflowAnalysis
getFactAfterLocation, getFactAtLocation
-
Methods inherited from class edu.umd.cs.findbugs.ba.BasicAbstractDataflowAnalysis
edgeTransfer, factToString, finishIteration, getFactOnEdge, getResultFact, getStartFact, resultFactIterator, startIteration
-
-
-
-
Constructor Detail
-
SpecialTypeAnalysis
private SpecialTypeAnalysis(org.apache.bcel.classfile.Method method, org.apache.bcel.generic.MethodGen methodGen, CFG cfg, DepthFirstSearch dfs, TypeMerger typeMerger, TypeFrameModelingVisitor visitor, RepositoryLookupFailureCallback lookupFailureCallback, ExceptionSetFactory exceptionSetFactory)
-
-
Method Detail
-
initEntryFact
public void initEntryFact(TypeFrame result)
Description copied from interface:DataflowAnalysis
Initialize the "entry" fact for the graph.- Specified by:
initEntryFact
in interfaceDataflowAnalysis<TypeFrame>
- Overrides:
initEntryFact
in classTypeAnalysis
-
-