edu.umd.cs.findbugs.ba.ca

Class CallListAnalysis

public class CallListAnalysis extends AbstractDataflowAnalysis<CallList>

Constructor Summary
CallListAnalysis(CFG cfg, DepthFirstSearch dfs, ConstantPoolGen cpg)
Method Summary
voidcopy(CallList source, CallList dest)
CallListcreateFact()
BlockOrdergetBlockOrder(CFG cfg)
voidinitEntryFact(CallList fact)
voidinitResultFact(CallList fact)
booleanisForwards()
booleanisTop(CallList fact)
static voidmain(String[] argv)
voidmakeFactTop(CallList fact)
voidmeetInto(CallList start, Edge edge, CallList result)
booleansame(CallList a, CallList b)

Constructor Detail

CallListAnalysis

public CallListAnalysis(CFG cfg, DepthFirstSearch dfs, ConstantPoolGen cpg)

Method Detail

copy

public void copy(CallList source, CallList dest)

createFact

public CallList createFact()

getBlockOrder

public BlockOrder getBlockOrder(CFG cfg)

initEntryFact

public void initEntryFact(CallList fact)

initResultFact

public void initResultFact(CallList fact)

isForwards

public boolean isForwards()

isTop

public boolean isTop(CallList fact)

main

public static void main(String[] argv)

makeFactTop

public void makeFactTop(CallList fact)

meetInto

public void meetInto(CallList start, Edge edge, CallList result)

same

public boolean same(CallList a, CallList b)
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.