|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.umd.cs.findbugs.ba.AbstractDataflowAnalysis<Fact>
edu.umd.cs.findbugs.ba.ForwardDataflowAnalysis<LockCount>
edu.umd.cs.findbugs.ba.LockCountAnalysis
edu.umd.cs.findbugs.ba.AnyLockCountAnalysis
public class AnyLockCountAnalysis
Field Summary |
---|
Fields inherited from class edu.umd.cs.findbugs.ba.LockCountAnalysis |
---|
methodGen, vnaDataflow |
Constructor Summary | |
---|---|
AnyLockCountAnalysis(org.apache.bcel.generic.MethodGen methodGen,
ValueNumberDataflow vnaDataflow,
DepthFirstSearch dfs)
|
Method Summary | |
---|---|
int |
getDelta(org.apache.bcel.generic.Instruction ins,
ValueNumberFrame frame)
Get the lock count delta resulting from the execution of the given instruction. |
void |
initEntryFact(LockCount result)
Initialize the "entry" fact for the graph. |
Methods inherited from class edu.umd.cs.findbugs.ba.LockCountAnalysis |
---|
copy, createFact, initResultFact, isFactValid, isThisValue, makeFactTop, meetInto, same, transferInstruction |
Methods inherited from class edu.umd.cs.findbugs.ba.ForwardDataflowAnalysis |
---|
getBlockOrder, getDepthFirstSearch, isForwards |
Methods inherited from class edu.umd.cs.findbugs.ba.AbstractDataflowAnalysis |
---|
endTransfer, factToString, getFactAfterLocation, getFactAtLocation, getResultFact, getStartFact, resultFactIterator, startTransfer, transfer |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public AnyLockCountAnalysis(org.apache.bcel.generic.MethodGen methodGen, ValueNumberDataflow vnaDataflow, DepthFirstSearch dfs)
Method Detail |
---|
public void initEntryFact(LockCount result)
DataflowAnalysis
public int getDelta(org.apache.bcel.generic.Instruction ins, ValueNumberFrame frame) throws DataflowAnalysisException
LockCountAnalysis
getDelta
in class LockCountAnalysis
ins
- the instructionframe
- the ValueNumberFrame representing the values in the Java stack
frame at the point in the control-flow graph before the instruction
DataflowAnalysisException
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |