FindBugs™ 1.3.9

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

java.lang.Object
  extended by edu.umd.cs.findbugs.ba.Dataflow<TypeFrame,TypeAnalysis>
      extended by 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)

FindBugs™ 1.3.9

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.