Package 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	Description
static class	TypeDataflow.LocationAndFactPair

Field Summary

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

DEBUG

Constructor Summary

Constructors

Constructor	Description
TypeDataflow(CFG cfg, TypeAnalysis analysis)

Method Summary

Modifier and Type	Method	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 Details

TypeDataflow

public TypeDataflow(CFG cfg,
 TypeAnalysis analysis)

Method Details

getEdgeExceptionSet

public ExceptionSet getEdgeExceptionSet(Edge edge)

getLocationAndFactForInstruction

@CheckForNull
public TypeDataflow.LocationAndFactPair getLocationAndFactForInstruction(int pc)