edu.umd.cs.findbugs.ba

Class LockAnalysis

public class LockAnalysis extends ForwardDataflowAnalysis<LockSet>

Analysis to determine where particular values are locked in a method. The dataflow values are maps of value numbers to the number of times those values are locked.

Author: David Hovemeyer

See Also: ValueNumberAnalysis

Constructor Summary
	LockAnalysis(MethodGen methodGen, ValueNumberDataflow vnaDataflow, DepthFirstSearch dfs)

Method Summary
void	copy(LockSet source, LockSet dest)
LockSet	createFact()
void	initEntryFact(LockSet result)
void	initResultFact(LockSet result)
boolean	isTop(LockSet fact)
static void	main(String[] argv)
void	makeFactTop(LockSet fact)
void	meetInto(LockSet fact, Edge edge, LockSet result)
boolean	same(LockSet fact1, LockSet fact2)