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

static class

TypeDataflow.LocationAndFactPair

Field Summary

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

DEBUG

Constructor Summary

TypeDataflow(CFG cfg, TypeAnalysis analysis)

Method Summary

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)