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
-
Constructor Summary
Constructors Constructor Description TypeDataflow(CFG cfg, TypeAnalysis analysis)
-
Method Summary
All Methods Instance Methods Concrete Methods 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
-
-
-
-
Constructor Detail
-
TypeDataflow
public TypeDataflow(CFG cfg, TypeAnalysis analysis)
-
-
Method Detail
-
getEdgeExceptionSet
public ExceptionSet getEdgeExceptionSet(Edge edge)
-
getLocationAndFactForInstruction
public TypeDataflow.LocationAndFactPair getLocationAndFactForInstruction(int pc)
-
-