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
void	copy(CallList source, CallList dest)
CallList	createFact()
BlockOrder	getBlockOrder(CFG cfg)
void	initEntryFact(CallList fact)
void	initResultFact(CallList fact)
boolean	isForwards()
boolean	isTop(CallList fact)
static void	main(String[] argv)
void	makeFactTop(CallList fact)
void	meetInto(CallList start, Edge edge, CallList result)
boolean	same(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.