edu.umd.cs.findbugs.ba

Class ReturnPathAnalysis

public class ReturnPathAnalysis extends ForwardDataflowAnalysis<ReturnPath> implements EdgeTypes

Constructor Summary
ReturnPathAnalysis(DepthFirstSearch dfs)
Method Summary
voidcopy(ReturnPath source, ReturnPath dest)
ReturnPathcreateFact()
voidinitEntryFact(ReturnPath fact)
voidinitResultFact(ReturnPath result)
booleanisTop(ReturnPath fact)
static voidmain(String[] argv)
voidmakeFactTop(ReturnPath fact)
voidmeetInto(ReturnPath fact, Edge edge, ReturnPath result)
booleansame(ReturnPath fact1, ReturnPath fact2)

Constructor Detail

ReturnPathAnalysis

public ReturnPathAnalysis(DepthFirstSearch dfs)

Method Detail

copy

public void copy(ReturnPath source, ReturnPath dest)

createFact

public ReturnPath createFact()

initEntryFact

public void initEntryFact(ReturnPath fact)

initResultFact

public void initResultFact(ReturnPath result)

isTop

public boolean isTop(ReturnPath fact)

main

public static void main(String[] argv)

makeFactTop

public void makeFactTop(ReturnPath fact)

meetInto

public void meetInto(ReturnPath fact, Edge edge, ReturnPath result)

same

public boolean same(ReturnPath fact1, ReturnPath fact2)
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.