edu.umd.cs.findbugs.ba.type

Class TypeDataflow

public class TypeDataflow extends Dataflow<TypeFrame,TypeAnalysis>

Nested Class Summary
static classTypeDataflow.LocationAndFactPair
Constructor Summary
TypeDataflow(CFG cfg, TypeAnalysis analysis)
Method Summary
ExceptionSetgetEdgeExceptionSet(Edge edge)
TypeFramegetFactAfterLocation(Location loc)
TypeFramegetFactAtLocation(Location loc)
TypeDataflow.LocationAndFactPairgetLocationAndFactForInstruction(int pc)

Constructor Detail

TypeDataflow

public TypeDataflow(CFG cfg, TypeAnalysis analysis)

Method Detail

getEdgeExceptionSet

public ExceptionSet getEdgeExceptionSet(Edge edge)

getFactAfterLocation

public TypeFrame getFactAfterLocation(Location loc)

getFactAtLocation

public TypeFrame getFactAtLocation(Location loc)

getLocationAndFactForInstruction

public TypeDataflow.LocationAndFactPair getLocationAndFactForInstruction(int pc)
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.