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
voidcopy(LockSet source, LockSet dest)
LockSetcreateFact()
voidinitEntryFact(LockSet result)
voidinitResultFact(LockSet result)
booleanisTop(LockSet fact)
static voidmain(String[] argv)
voidmakeFactTop(LockSet fact)
voidmeetInto(LockSet fact, Edge edge, LockSet result)
booleansame(LockSet fact1, LockSet fact2)

Constructor Detail

LockAnalysis

public LockAnalysis(MethodGen methodGen, ValueNumberDataflow vnaDataflow, DepthFirstSearch dfs)

Method Detail

copy

public void copy(LockSet source, LockSet dest)

createFact

public LockSet createFact()

initEntryFact

public void initEntryFact(LockSet result)

initResultFact

public void initResultFact(LockSet result)

isTop

public boolean isTop(LockSet fact)

main

public static void main(String[] argv)

makeFactTop

public void makeFactTop(LockSet fact)

meetInto

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

same

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