Class FindRefComparison.SpecialTypeAnalysis

java.lang.Object

edu.umd.cs.findbugs.ba.BasicAbstractDataflowAnalysis<TypeFrame>

edu.umd.cs.findbugs.ba.AbstractDataflowAnalysis<TypeFrame>

edu.umd.cs.findbugs.ba.ForwardDataflowAnalysis<TypeFrame>

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 TypeAnalysis

cfg, DEBUG, FORCE_ACCURATE_EXCEPTIONS, methodGen

Fields inherited from interface 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

Modifier and Type	Method	Description
void	initEntryFact(TypeFrame result)	Initialize the "entry" fact for the graph.

Methods inherited from class TypeAnalysis

copy, createFact, getEdgeExceptionSet, isFactValid, isImpliedByGenericTypes, makeFactTop, meetInto, mergeValues, same, setFieldStoreTypeDatabase, setValueNumberDataflow, toString, transfer, transferInstruction

Methods inherited from class FrameDataflowAnalysis

getFactAtPC, getFactBeforeExceptionCheck, getLastUpdateTimestamp, isTop, mergeInto, modifyFrame, setLastUpdateTimestamp

Methods inherited from class ForwardDataflowAnalysis

getBlockOrder, getDepthFirstSearch, isForwards

Methods inherited from class AbstractDataflowAnalysis

getFactAfterLocation, getFactAtLocation

Methods inherited from class BasicAbstractDataflowAnalysis

edgeTransfer, factToString, finishIteration, getFactOnEdge, getResultFact, getStartFact, resultFactIterator, startIteration

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

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 Details

initEntryFact

public void initEntryFact(TypeFrame result)

Description copied from interface: DataflowAnalysis

Initialize the "entry" fact for the graph.

Specified by:

initEntryFact in interface DataflowAnalysis<TypeFrame>

Overrides:

initEntryFact in class TypeAnalysis