edu.umd.cs.findbugs.ba.type

Class TypeDataflow

java.lang.Object

edu.umd.cs.findbugs.ba.Dataflow<TypeFrame,TypeAnalysis>

edu.umd.cs.findbugs.ba.type.TypeDataflow

public class TypeDataflow
extends Dataflow<TypeFrame,TypeAnalysis>

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	TypeDataflow.LocationAndFactPair

Field Summary

Fields inherited from class edu.umd.cs.findbugs.ba.Dataflow

DEBUG

Constructor Summary

Constructors

Constructor and Description
TypeDataflow(CFG cfg, TypeAnalysis analysis)

Method Summary

Methods

Modifier and Type	Method and Description
ExceptionSet	getEdgeExceptionSet(Edge edge)
TypeDataflow.LocationAndFactPair	getLocationAndFactForInstruction(int pc)

Methods inherited from class edu.umd.cs.findbugs.ba.Dataflow

dumpDataflow, execute, getAnalysis, getCFG, getFactAfterLocation, getFactAtLocation, getFactOnEdge, getNumIterations, getResultFact, getStartFact

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeDataflow

public TypeDataflow(CFG cfg,
            TypeAnalysis analysis)

Method Detail

getEdgeExceptionSet

public ExceptionSet getEdgeExceptionSet(Edge edge)

getLocationAndFactForInstruction

public TypeDataflow.LocationAndFactPair getLocationAndFactForInstruction(int pc)