Uses of Class
edu.umd.cs.findbugs.ba.LockSet
Packages that use LockSet
Package
Description
A bytecode analysis framework for BCEL, providing CFG construction, generic
dataflow analysis, and a variety of specific dataflow analyses.
-
Uses of LockSet in edu.umd.cs.findbugs.ba
Subclasses with type arguments of type LockSet in edu.umd.cs.findbugs.baModifier and TypeClassDescriptionclassAnalysis to determine where particular values are locked in a method.classDataflow class for LockAnalysis.Fields in edu.umd.cs.findbugs.ba with type parameters of type LockSetMethods in edu.umd.cs.findbugs.ba that return LockSetModifier and TypeMethodDescriptionLockAnalysis.createFact()LockChecker.getFactAtLocation(Location location) Get LockSet at given Location.Methods in edu.umd.cs.findbugs.ba with parameters of type LockSetModifier and TypeMethodDescriptionvoidvoidMake this LockSet the same as the given one.private booleanLockSet.identicalSubset(LockSet other) voidLockAnalysis.initEntryFact(LockSet result) voidLockSet.intersectWith(LockSet other) Destructively intersect this lock set with another.booleanLockAnalysis.isFactValid(LockSet fact) booleanprivate voidvoidLockAnalysis.makeFactTop(LockSet fact) voidvoidMeet this LockSet with another LockSet, storing the result in this object.private voidLockAnalysis.modifyLock(ValueNumberFrame frame, LockSet fact, int delta) booleanbooleanReturn whether or not this LockSet is the same as the one given.voidLockAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, LockSet fact)