Uses of Class
edu.umd.cs.findbugs.ba.BasicBlock

Packages that use BasicBlock

Package	Description
edu.umd.cs.findbugs	Main package for the FindBugs application - contains the engine class (FindBugs), the object model classes for bug instances (BugInstance, BugAnnotation), and other miscellany.
edu.umd.cs.findbugs.ba	A bytecode analysis framework for BCEL, providing CFG construction, generic dataflow analysis, and a variety of specific dataflow analyses.
edu.umd.cs.findbugs.ba.bcp
edu.umd.cs.findbugs.ba.ca
edu.umd.cs.findbugs.ba.constant
edu.umd.cs.findbugs.ba.deref
edu.umd.cs.findbugs.ba.heap
edu.umd.cs.findbugs.ba.jsr305	Support for analyzing code containing JSR-305 type qualifier annotations.
edu.umd.cs.findbugs.ba.npe
edu.umd.cs.findbugs.ba.obl	Implementation of dataflow analysis for checking whether obligations to close streams and other resources (e.g., database objects) are satisfied.
edu.umd.cs.findbugs.ba.type
edu.umd.cs.findbugs.ba.vna
edu.umd.cs.findbugs.classfile.engine.bcel	Support for analyses based on the BCEL bytecode framework.
edu.umd.cs.findbugs.detect

Uses of BasicBlock in edu.umd.cs.findbugs

Methods in edu.umd.cs.findbugs that return BasicBlock

Modifier and Type	Method	Description
BasicBlock	CallSite.getBasicBlock()	Get the basic block where the call site is located.

Constructors in edu.umd.cs.findbugs with parameters of type BasicBlock

Modifier	Constructor	Description
	CallSite(org.apache.bcel.classfile.Method method, BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle)	Constructor.

Uses of BasicBlock in edu.umd.cs.findbugs.ba

Subclasses with type arguments of type BasicBlock in edu.umd.cs.findbugs.ba

Modifier and Type	Class	Description
class	BasicBlock	Simple basic block abstraction for BCEL.
class	CFG	Simple control flow graph abstraction for BCEL.
class	DepthFirstSearch	Algorithm to perform a depth first search on a CFG.
class	Edge	An edge of a control flow graph.
class	ReverseDepthFirstSearch	Algorithm to perform a reverse depth first search on a CFG.

Classes in edu.umd.cs.findbugs.ba that implement interfaces with type arguments of type BasicBlock

Modifier and Type	Class	Description
(package private) static class	Dataflow.ForwardProgramOrder
private static class	ReverseDFSOrder.ReverseDFSComparator
private static class	ReversePostOrder.ReversePostfixComparator	A Comparator to order the blocks in the reverse of the order in which they would be finished by a depth first search.

Fields in edu.umd.cs.findbugs.ba declared as BasicBlock

Modifier and Type	Field	Description
private final BasicBlock	BetterCFGBuilder2.WorkListItem.basicBlock
private final BasicBlock	Location.basicBlock
private BasicBlock	CFG.LocationIterator.curBlock
private BasicBlock	CFG.entry
private BasicBlock	CFG.exit
private BasicBlock	DepthFirstSearch.firstRoot
private BasicBlock	ReverseDepthFirstSearch.firstRoot

Fields in edu.umd.cs.findbugs.ba with type parameters of type BasicBlock

Modifier and Type	Field	Description
private final Iterator<BasicBlock>	CFG.LocationIterator.blockIter
private final ArrayList<BasicBlock>	AbstractBlockOrder.blockList
private final IdentityHashMap<BasicBlock, BasicBlock>	BetterCFGBuilder2.Context.blockMap
private final IdentityHashMap<BasicBlock, BasicBlock>	BetterCFGBuilder2.Context.blockMap
private final IdentityHashMap<org.apache.bcel.generic.InstructionHandle, BasicBlock>	BetterCFGBuilder2.Subroutine.blockMap
private final Comparator<BasicBlock>	AbstractBlockOrder.comparator
private final IdentityHashMap<BasicBlock, List<BetterCFGBuilder2.EscapeTarget>>	BetterCFGBuilder2.Subroutine.escapeTargetListMap
private final IdentityHashMap<BasicBlock, Fact>	BasicAbstractDataflowAnalysis.resultFactMap
private final IdentityHashMap<BasicBlock, Fact>	BasicAbstractDataflowAnalysis.startFactMap
private final LinkedList<BasicBlock>	BetterCFGBuilder2.Context.workList

Methods in edu.umd.cs.findbugs.ba that return BasicBlock

Modifier and Type	Method	Description
BasicBlock	CFG.allocate()	Allocate a new BasicBlock.
BasicBlock	BetterCFGBuilder2.Subroutine.allocateBasicBlock()	Allocate a new basic block in the subroutine.
private BasicBlock	BasicBlock.InstructionIterator.getBasicBlock()
BasicBlock	BetterCFGBuilder2.WorkListItem.getBasicBlock()	Get the basic block.
BasicBlock	Location.getBasicBlock()	Get the basic block.
BasicBlock	BetterCFGBuilder2.Context.getBlock(BasicBlock subBlock)	Get the block in the result CFG corresponding to the given subroutine block.
BasicBlock	BetterCFGBuilder2.Subroutine.getBlock(org.apache.bcel.generic.InstructionHandle start)	Get the basic block in the subroutine for the given instruction.
BasicBlock	BetterCFGBuilder2.Subroutine.getEntry()	Get the entry block for the subroutine's CFG.
BasicBlock	CFG.getEntry()	Get the entry node.
BasicBlock	BetterCFGBuilder2.Subroutine.getExit()	Get the exit block for the subroutine's CFG.
BasicBlock	CFG.getExit()	Get the exit node.
protected BasicBlock	DepthFirstSearch.getNextSearchTreeRoot()
protected BasicBlock	ReverseDepthFirstSearch.getNextSearchTreeRoot()
BasicBlock	CFG.getPredecessorWithEdgeType(BasicBlock target, int edgeType)	Get the first predecessor reachable from given edge type.
BasicBlock	BetterCFGBuilder2.Subroutine.getStartBlock()	Get the start block for the subroutine's CFG.
BasicBlock	CFG.getSuccessorWithEdgeType(BasicBlock source, int edgeType)	Get the first successor reachable from given edge type.
private BasicBlock	Dataflow.logicalEntryBlock()	Get the "logical" entry block of the CFG.
BasicBlock	CFG.lookupBlockByLabel(int blockLabel)	Look up a BasicBlock by its unique label.
BasicBlock	BetterCFGBuilder2.Context.nextItem()	Get the next work list item (basic block to be inlined).

Methods in edu.umd.cs.findbugs.ba that return types with arguments of type BasicBlock

Modifier and Type	Method	Description
Iterator<BasicBlock>	AbstractBlockOrder.blockIterator()
Iterator<BasicBlock>	BlockOrder.blockIterator()	Return an Iterator which visits the basic blocks in order.
Iterator<BasicBlock>	CFG.blockIterator()	Get an Iterator over the nodes (BasicBlocks) of the control flow graph.
Iterable<BasicBlock>	CFG.blocks()
Collection<BasicBlock>	CFG.getBlocks(BitSet labelSet)	Get Collection of basic blocks whose IDs are specified by given BitSet.
Collection<BasicBlock>	CFG.getBlocksContainingInstructionWithOffset(int offset)	Get a Collection of basic blocks which contain the bytecode instruction with given offset.

Methods in edu.umd.cs.findbugs.ba with parameters of type BasicBlock

Modifier and Type	Method	Description
void	Path.acceptVisitorStartingFromLocation(CFG cfg, PathVisitor visitor, BasicBlock startBlock, org.apache.bcel.generic.InstructionHandle startHandle)	Accept a PathVisitor, starting from a given BasicBlock and InstructionHandle.
void	BetterCFGBuilder2.Subroutine.addEdge(BasicBlock sourceBlock, BasicBlock destBlock, int edgeType)	Add an edge to the subroutine's CFG.
void	BetterCFGBuilder2.Subroutine.addEdgeAndExplore(BasicBlock sourceBlock, org.apache.bcel.generic.InstructionHandle target, int edgeType)	Add a control flow edge to the subroutine.
protected Edge	CFG.allocateEdge(BasicBlock source, BasicBlock target)
String	CFGPrinter.blockAnnotate(BasicBlock block)
String	DataflowCFGPrinter.blockAnnotate(BasicBlock bb)
private static String	Dataflow.blockId(BasicBlock bb)
String	CFGPrinter.blockStartAnnotate(BasicBlock block)
String	DataflowCFGPrinter.blockStartAnnotate(BasicBlock bb)
int	AbstractBlockOrder.compare(BasicBlock b1, BasicBlock b2)
int	BlockOrder.compare(BasicBlock b1, BasicBlock b2)	Return relative order of blocks.
int	Dataflow.BackwardProgramOrder.compare(BasicBlock o1, BasicBlock o2)
int	Dataflow.ForwardProgramOrder.compare(BasicBlock o1, BasicBlock o2)
int	ReverseDFSOrder.ReverseDFSComparator.compare(BasicBlock a, BasicBlock b)
int	ReversePostOrder.ReversePostfixComparator.compare(BasicBlock aa, BasicBlock bb)
Edge	CFG.createEdge(BasicBlock source, BasicBlock dest, int type)	Add a unique edge to the graph.
private static void	Dataflow.debug(BasicBlock bb, BasicBlock pred, Edge edge, String msg)
private static void	Dataflow.debug(BasicBlock bb, String msg)
Iterator<BetterCFGBuilder2.EscapeTarget>	BetterCFGBuilder2.Subroutine.escapeTargetIterator(BasicBlock sourceBlock)	Get an Iterator over the EscapeTargets of given basic block.
BitSet	AbstractDominatorsAnalysis.getAllDominatedBy(BasicBlock dominator)	Get a bitset containing the unique IDs of all blocks in CFG dominated (or postdominated, depending on how the analysis was done) by given block.
BitSet	AbstractDominatorsAnalysis.getAllDominatorsOf(BasicBlock block)	Get a bitset containing the unique IDs of all blocks which dominate (or postdominate) the given block.
BasicBlock	BetterCFGBuilder2.Context.getBlock(BasicBlock subBlock)	Get the block in the result CFG corresponding to the given subroutine block.
static Location	Location.getFirstLocation(BasicBlock basicBlock)
Edge	CFG.getIncomingEdgeWithType(BasicBlock basicBlock, int edgeType)	Get the first incoming edge in basic block with given type.
static Location	Location.getLastLocation(BasicBlock basicBlock)
int	CFG.getNumNonExceptionSucessors(BasicBlock block)	Get number of non-exception control successors of given basic block.
Edge	CFG.getOutgoingEdgeWithType(BasicBlock basicBlock, int edgeType)	Get the first outgoing edge in basic block with given type.
BasicBlock	CFG.getPredecessorWithEdgeType(BasicBlock target, int edgeType)	Get the first predecessor reachable from given edge type.
Fact	BasicAbstractDataflowAnalysis.getResultFact(BasicBlock block)
Fact	Dataflow.getResultFact(BasicBlock block)	Get dataflow facts for end of given block.
Fact	DataflowAnalysis.getResultFact(BasicBlock block)	Get the result fact for given basic block.
Fact	BasicAbstractDataflowAnalysis.getStartFact(BasicBlock block)
Fact	Dataflow.getStartFact(BasicBlock block)	Get dataflow facts for start of given block.
Fact	DataflowAnalysis.getStartFact(BasicBlock block)	Get the start fact for given basic block.
BasicBlock	CFG.getSuccessorWithEdgeType(BasicBlock source, int edgeType)	Get the first successor reachable from given edge type.
private void	BetterCFGBuilder2.handleExceptions(BetterCFGBuilder2.Subroutine subroutine, org.apache.bcel.generic.InstructionHandle pei, BasicBlock etb)	Add exception edges for given instruction.
String	CFGPrinter.instructionAnnotate(org.apache.bcel.generic.InstructionHandle handle, BasicBlock bb)
String	DataflowCFGPrinter.instructionAnnotate(org.apache.bcel.generic.InstructionHandle handle, BasicBlock bb)
protected Iterator<org.apache.bcel.generic.InstructionHandle>	CFGPrinter.instructionIterator(BasicBlock bb)
boolean	BetterCFGBuilder2.Subroutine.isExitBlock(BasicBlock block)	Is System.exit() called at the end of this block?
boolean	ResourceTracker.isResourceClose(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, Resource resource, ResourceValueFrame frame)	Determine if the given instruction is the site where a resource is closed.
Resource	ResourceTracker.isResourceCreation(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg)	Determine if the given instruction is the site where a resource is created.
boolean	BetterCFGBuilder2.Subroutine.isReturnBlock(BasicBlock block)	Does the method return at the end of this block?
boolean	BetterCFGBuilder2.Subroutine.isUnhandledExceptionBlock(BasicBlock block)	Does this block throw an unhandled exception?
private Iterator<Edge>	Dataflow.logicalPredecessorEdgeIterator(BasicBlock block)	Return an Iterator over edges that connect given block to its logical predecessors.
private Fact	BasicAbstractDataflowAnalysis.lookupOrCreateFact(Map<BasicBlock, Fact> map, BasicBlock block)
void	BetterCFGBuilder2.Context.mapBlock(BasicBlock subBlock, BasicBlock resultBlock)	Map a basic block in a subroutine to the corresponding block in the resulting CFG.
boolean	ResourceTracker.mightCloseResource(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg)	Determine if the given instruction is the site where a resource is closed.
void	BetterCFGBuilder2.Subroutine.setExitBlock(BasicBlock block)	Indicate that System.exit() is called at the end of the given block.
void	BetterCFGBuilder2.Subroutine.setReturnBlock(BasicBlock block)	Indicate that the method returns at the end of the given block.
void	BetterCFGBuilder2.Subroutine.setUnhandledExceptionBlock(BasicBlock block)	Indicate that an unhandled exception may be thrown by the given block.
void	AbstractDataflowAnalysis.transfer(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, Fact start, Fact result)
void	AbstractDominatorsAnalysis.transfer(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, BitSet start, BitSet result)
void	BlockTypeAnalysis.transfer(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, BlockType start, BlockType result)
void	DataflowAnalysis.transfer(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, Fact start, Fact result)	Transfer function for the analysis.
abstract void	AbstractDataflowAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, Fact fact)	Transfer function for a single instruction.
void	LiveLocalStoreAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, BitSet fact)
void	LockAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, LockSet fact)
void	ResourceValueAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, ResourceValueFrame fact)
abstract void	ResourceValueFrameModelingVisitor.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock)	Subclasses must override this to model the effect of the given instruction on the current frame.
void	ReturnPathAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, ReturnPath fact)
void	StackDepthAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, StackDepth fact)
void	PathVisitor.visitBasicBlock(BasicBlock basicBlock)	Start to visit the given BasicBlock.

Method parameters in edu.umd.cs.findbugs.ba with type arguments of type BasicBlock

Modifier and Type	Method	Description
private Fact	BasicAbstractDataflowAnalysis.lookupOrCreateFact(Map<BasicBlock, Fact> map, BasicBlock block)

Constructors in edu.umd.cs.findbugs.ba with parameters of type BasicBlock

Modifier	Constructor	Description
	Edge(BasicBlock source, BasicBlock dest)	Constructor.
	Location(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock)	Constructor.
	WorkListItem(org.apache.bcel.generic.InstructionHandle start, BasicBlock basicBlock)	Constructor.

Constructor parameters in edu.umd.cs.findbugs.ba with type arguments of type BasicBlock

Modifier	Constructor	Description
protected	AbstractBlockOrder(CFG cfg, Comparator<BasicBlock> comparator)

Uses of BasicBlock in edu.umd.cs.findbugs.ba.bcp

Fields in edu.umd.cs.findbugs.ba.bcp declared as BasicBlock

Modifier and Type	Field	Description
private final BasicBlock	PatternElementMatch.basicBlock
private final BasicBlock	PatternMatcher.State.basicBlock

Fields in edu.umd.cs.findbugs.ba.bcp with type parameters of type BasicBlock

Modifier and Type	Field	Description
private final IdentityHashMap<BasicBlock, BasicBlock>	PatternMatcher.visitedBlockMap
private final IdentityHashMap<BasicBlock, BasicBlock>	PatternMatcher.visitedBlockMap
private final LinkedList<BasicBlock>	PatternMatcher.workList

Methods in edu.umd.cs.findbugs.ba.bcp that return BasicBlock

Modifier and Type	Method	Description
BasicBlock	PatternElementMatch.getBasicBlock()	Get the basic block containing the matched instruction.
BasicBlock	PatternMatcher.State.getBasicBlock()	Get basic block.

Methods in edu.umd.cs.findbugs.ba.bcp with parameters of type BasicBlock

Modifier and Type	Method	Description
private void	PatternMatcher.attemptMatch(BasicBlock basicBlock, BasicBlock.InstructionIterator instructionIterator)	Attempt to begin a match.

Constructors in edu.umd.cs.findbugs.ba.bcp with parameters of type BasicBlock

Modifier	Constructor	Description
	PatternElementMatch(PatternElement patternElement, org.apache.bcel.generic.InstructionHandle matchedInstruction, BasicBlock basicBlock, int matchCount, PatternElementMatch prev)	Constructor.
	State(BasicBlock basicBlock, BasicBlock.InstructionIterator instructionIterator, PatternElement patternElement)	Constructor.
	State(PatternMatcher.State parent, BasicBlock basicBlock, BasicBlock.InstructionIterator instructionIterator, PatternElement patternElement, int matchCount, PatternElementMatch currentMatch, BindingSet bindingSet, boolean canFork)	Constructor.

Uses of BasicBlock in edu.umd.cs.findbugs.ba.ca

Methods in edu.umd.cs.findbugs.ba.ca with parameters of type BasicBlock

Modifier and Type	Method	Description
void	CallListAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, CallList fact)

Uses of BasicBlock in edu.umd.cs.findbugs.ba.constant

Methods in edu.umd.cs.findbugs.ba.constant with parameters of type BasicBlock

Modifier and Type	Method	Description
void	ConstantAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, ConstantFrame frame)

Uses of BasicBlock in edu.umd.cs.findbugs.ba.deref

Methods in edu.umd.cs.findbugs.ba.deref with parameters of type BasicBlock

Modifier and Type	Method	Description
void	UnconditionalValueDerefAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, UnconditionalValueDerefSet fact)

Uses of BasicBlock in edu.umd.cs.findbugs.ba.heap

Methods in edu.umd.cs.findbugs.ba.heap with parameters of type BasicBlock

Modifier and Type	Method	Description
private void	FieldSetAnalysis.handleInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, FieldSet fact)
void	FieldSetAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, FieldSet fact)

Uses of BasicBlock in edu.umd.cs.findbugs.ba.jsr305

Methods in edu.umd.cs.findbugs.ba.jsr305 with parameters of type BasicBlock

Modifier and Type	Method	Description
void	BackwardTypeQualifierDataflowAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, TypeQualifierValueSet fact)
void	TypeQualifierDataflowAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, TypeQualifierValueSet fact)

Uses of BasicBlock in edu.umd.cs.findbugs.ba.npe

Methods in edu.umd.cs.findbugs.ba.npe with parameters of type BasicBlock

Modifier and Type	Method	Description
private void	NullDerefAndRedundantComparisonFinder.analyzeIfNullBranch(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle lastHandle)	This is called for both IFNULL and IFNONNULL instructions.
private void	NullDerefAndRedundantComparisonFinder.analyzeNullCheck(IsNullValueDataflow invDataflow, BasicBlock basicBlock)
private void	NullDerefAndRedundantComparisonFinder.analyzeRefComparisonBranch(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle lastHandle)
void	IsNullValueAnalysis.endTransfer(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, IsNullValueFrame result)
private IsNullConditionDecision	IsNullValueAnalysis.getDecision(BasicBlock basicBlock, IsNullValueFrame lastFrame)	Determine if the given basic block ends in a redundant null comparison.
void	IsNullValueAnalysis.transfer(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, IsNullValueFrame start, IsNullValueFrame result)
void	ReturnPathTypeAnalysis.transfer(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, ReturnPathType start, ReturnPathType result)
void	IsNullValueAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, IsNullValueFrame fact)

Uses of BasicBlock in edu.umd.cs.findbugs.ba.obl

Methods in edu.umd.cs.findbugs.ba.obl with parameters of type BasicBlock

Modifier and Type	Method	Description
private org.apache.bcel.generic.Type	ObligationAnalysis.acmpNullCheck(short opcode, Edge edge, org.apache.bcel.generic.InstructionHandle last, BasicBlock sourceBlock)
boolean	InstructionActionCache.addsObligation(BasicBlock block, org.apache.bcel.generic.InstructionHandle handle, Obligation obligation)
boolean	InstructionActionCache.deletesObligation(BasicBlock block, org.apache.bcel.generic.InstructionHandle handle, Obligation obligation)
private void	ObligationAnalysis.endTransfer(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, StateSet result)
Collection<ObligationPolicyDatabaseAction>	InstructionActionCache.getActions(BasicBlock block, org.apache.bcel.generic.InstructionHandle handle)
private boolean	InstructionActionCache.hasAction(BasicBlock block, org.apache.bcel.generic.InstructionHandle handle, Obligation obligation, ObligationPolicyDatabaseActionType actionType)
private org.apache.bcel.generic.Type	ObligationAnalysis.nullCheck(short opcode, Edge edge, org.apache.bcel.generic.InstructionHandle last, BasicBlock sourceBlock)
void	ObligationAnalysis.transfer(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, StateSet start, StateSet result)
void	ObligationAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, StateSet fact)

Uses of BasicBlock in edu.umd.cs.findbugs.ba.type

Fields in edu.umd.cs.findbugs.ba.type with type parameters of type BasicBlock

Modifier and Type	Field	Description
private final Map<BasicBlock, TypeAnalysis.InstanceOfCheck>	TypeAnalysis.instanceOfCheckMap
private final Map<BasicBlock, TypeAnalysis.CachedExceptionSet>	TypeAnalysis.thrownExceptionSetMap

Methods in edu.umd.cs.findbugs.ba.type with parameters of type BasicBlock

Modifier and Type	Method	Description
private TypeAnalysis.CachedExceptionSet	TypeAnalysis.computeBlockExceptionSet(BasicBlock basicBlock, TypeFrame result)	Compute the set of exceptions that can be thrown from the given basic block.
private ExceptionSet	TypeAnalysis.computeThrownExceptionTypes(BasicBlock basicBlock)	Compute the set of exception types that can be thrown by given basic block.
private void	TypeAnalysis.computeThrownExceptionTypes(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, TypeFrame result)
private TypeAnalysis.CachedExceptionSet	TypeAnalysis.getCachedExceptionSet(BasicBlock basicBlock)	Get the cached set of exceptions that can be thrown from given basic block.
void	TypeAnalysis.transfer(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, TypeFrame start, TypeFrame result)
void	TypeAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, TypeFrame fact)

Uses of BasicBlock in edu.umd.cs.findbugs.ba.vna

Fields in edu.umd.cs.findbugs.ba.vna with type parameters of type BasicBlock

Modifier and Type	Field	Description
private final IdentityHashMap<BasicBlock, ValueNumber>	ValueNumberAnalysis.exceptionHandlerValueNumberMap

Methods in edu.umd.cs.findbugs.ba.vna with parameters of type BasicBlock

Modifier and Type	Method	Description
private ValueNumber	ValueNumberAnalysis.getExceptionValueNumber(BasicBlock handlerBlock)	Mark value numbers in a value number frame for compaction.
void	ValueNumberAnalysis.transfer(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, ValueNumberFrame start, ValueNumberFrame result)
void	ValueNumberAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, ValueNumberFrame fact)

Uses of BasicBlock in edu.umd.cs.findbugs.classfile.engine.bcel

Fields in edu.umd.cs.findbugs.classfile.engine.bcel declared as BasicBlock

Modifier and Type	Field	Description
private BasicBlock	ValueRangeAnalysisFactory.BackIterator.block

Methods in edu.umd.cs.findbugs.classfile.engine.bcel with parameters of type BasicBlock

Modifier and Type	Method	Description
private static Location	ValueRangeAnalysisFactory.getLocation(BasicBlock block)

Constructors in edu.umd.cs.findbugs.classfile.engine.bcel with parameters of type BasicBlock

Modifier	Constructor	Description
	BackIterator(CFG cfg, BasicBlock block)

Uses of BasicBlock in edu.umd.cs.findbugs.detect

Fields in edu.umd.cs.findbugs.detect declared as BasicBlock

Modifier and Type	Field	Description
(package private) BasicBlock	FindUselessObjects.ExceptionLocation.b
(package private) BasicBlock	FindUnsatisfiedObligation.MethodChecker.PostProcessingPathVisitor.curBlock

Methods in edu.umd.cs.findbugs.detect with parameters of type BasicBlock

Modifier and Type	Method	Description
private void	DuplicateBranches.findIfElseDuplicates(CFG cfg, org.apache.bcel.classfile.Method method, BasicBlock bb)
private void	DuplicateBranches.findSwitchDuplicates(CFG cfg, org.apache.bcel.classfile.Method method, BasicBlock bb)
private org.apache.bcel.generic.InstructionHandle	DuplicateBranches.findThenFinish(CFG cfg, BasicBlock thenBB, int elsePos)
private static org.apache.bcel.generic.InstructionHandle	DuplicateBranches.getDeepFirstInstruction(CFG cfg, BasicBlock bb)	Like bb.getFirstInstruction() except that if null is returned it will follow the FALL_THROUGH_EDGE (if any)
boolean	FindUnreleasedLock.LockResourceTracker.isResourceClose(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, Lock resource, ResourceValueFrame frame)
boolean	StreamResourceTracker.isResourceClose(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, Stream resource, ResourceValueFrame frame)
Lock	FindUnreleasedLock.LockResourceTracker.isResourceCreation(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg)
Stream	StreamResourceTracker.isResourceCreation(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg)
boolean	StreamResourceTracker.isResourceOpen(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, Stream resource, ResourceValueFrame frame)
boolean	Stream.isStreamClose(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ResourceValueFrame frame, RepositoryLookupFailureCallback lookupFailureCallback)
boolean	Stream.isStreamOpen(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ResourceValueFrame frame)
static boolean	FindNullDeref.isThrower(BasicBlock target)
static boolean	NoiseNullDeref.isThrower(BasicBlock target)
boolean	FindUnreleasedLock.LockResourceTracker.mightCloseResource(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg)
boolean	StreamResourceTracker.mightCloseResource(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg)
static boolean	Stream.mightCloseStream(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg)
void	FindUnreleasedLock.LockFrameModelingVisitor.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock)
void	StreamFrameModelingVisitor.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock)
void	FindUnsatisfiedObligation.MethodChecker.PostProcessingPathVisitor.visitBasicBlock(BasicBlock basicBlock)

Constructors in edu.umd.cs.findbugs.detect with parameters of type BasicBlock

Modifier	Constructor	Description
	ExceptionLocation(TypeAnalysis ta, ValueNumberAnalysis vna, BasicBlock block)