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

Packages that use Edge

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 Edge in edu.umd.cs.findbugs

Fields in edu.umd.cs.findbugs with type parameters of type Edge

Modifier and Type	Field	Description
private java.util.Iterator<Edge>	InstructionScannerDriver.edgeIter

Methods in edu.umd.cs.findbugs with parameters of type Edge

Modifier and Type	Method	Description
void	InstructionScanner.traverseEdge(Edge edge)	Traverse an edge.

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

Constructor	Description
InstructionScannerDriver(java.util.Iterator<Edge> edgeIter)	Constructor.

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

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

Modifier and Type	Field	Description
private Edge	PruneInfeasibleExceptionEdges.MarkedEdge.edge

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

Modifier and Type	Field	Description
private java.util.List<java.util.List<Edge>>	SimplePathEnumerator.pathList
private java.util.List<Edge>	CFG.removedEdgeList

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

Modifier and Type	Method	Description
protected Edge	CFG.allocateEdge(BasicBlock source, BasicBlock target)
Edge	CFG.createEdge(BasicBlock source, BasicBlock dest, int type)	Add a unique edge to the graph.
private Edge	CFG.getEdgeWithType(java.util.Iterator<Edge> iter, int edgeType)
Edge	CFG.getIncomingEdgeWithType(BasicBlock basicBlock, int edgeType)	Get the first incoming edge in basic block with given type.
Edge	CFG.getOutgoingEdgeWithType(BasicBlock basicBlock, int edgeType)	Get the first outgoing edge in basic block with given type.
Edge	CFG.lookupEdgeById(int id)	Look up an Edge by its id.

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

Modifier and Type	Method	Description
java.util.Iterator<java.util.List<Edge>>	SimplePathEnumerator.iterator()	Iterate over simple paths.
private java.util.Iterator<Edge>	Dataflow.logicalPredecessorEdgeIterator(BasicBlock block)	Return an Iterator over edges that connect given block to its logical predecessors.
java.util.Iterator<Edge>	CFG.removedEdgeIterator()	Get an Iterator over Edges removed from this CFG.

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

Modifier and Type	Method	Description
boolean	EdgeChooser.choose(Edge edge)	Return whether or not given Edge should be chosen.
int	Edge.compareTo(Edge other)	Compare with other edge.
private static void	Dataflow.debug(BasicBlock bb, BasicBlock pred, Edge edge, java.lang.String msg)
java.lang.String	CFGPrinter.edgeAnnotate(Edge edge)
java.lang.String	DataflowCFGPrinter.edgeAnnotate(Edge edge)
java.lang.String	DFSCFGPrinter.edgeAnnotate(Edge edge)
void	BasicAbstractDataflowAnalysis.edgeTransfer(Edge edge, Fact fact)
void	DataflowAnalysis.edgeTransfer(Edge edge, Fact fact)	Edge transfer function.
Location	CFG.getExceptionThrowerLocation(Edge exceptionEdge)	Get the Location where exception(s) thrown on given exception edge are thrown.
Fact	AbstractDataflow.getFactOnEdge(Edge edge)	Get the fact that is true on the given control edge.
Fact	BasicAbstractDataflowAnalysis.getFactOnEdge(Edge edge)	Get the fact that is true on the given control edge, after applying the edge transfer function (if any).
Fact	Dataflow.getFactOnEdge(Edge edge)	Get the fact that is true on the given control edge.
Fact	DataflowAnalysis.getFactOnEdge(Edge edge)	Get the fact that is true on the given control edge.
boolean	ResourceTracker.ignoreExceptionEdge(Edge edge, Resource resource, org.apache.bcel.generic.ConstantPoolGen cpg)	Determine whether the analysis should ignore given exception edge.
void	AbstractDominatorsAnalysis.meetInto(java.util.BitSet fact, Edge edge, java.util.BitSet result)
void	BlockTypeAnalysis.meetInto(BlockType fact, Edge edge, BlockType result)
void	DataflowAnalysis.meetInto(Fact fact, Edge edge, Fact result)	Meet a dataflow fact associated with an incoming edge into another fact.
void	LiveLocalStoreAnalysis.meetInto(java.util.BitSet fact, Edge edge, java.util.BitSet result)
void	LockAnalysis.meetInto(LockSet fact, Edge edge, LockSet result)
void	ResourceValueAnalysis.meetInto(ResourceValueFrame fact, Edge edge, ResourceValueFrame result)
void	ReturnPathAnalysis.meetInto(ReturnPath fact, Edge edge, ReturnPath result)
void	StackDepthAnalysis.meetInto(StackDepth fact, Edge edge, StackDepth result)
void	CFG.removeEdge(Edge edge)
void	PathVisitor.visitEdge(Edge edge)	Visit an Edge connecting two BasicBlocks in the Path being visited.

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

Modifier and Type	Method	Description
private Edge	CFG.getEdgeWithType(java.util.Iterator<Edge> iter, int edgeType)
private void	SimplePathEnumerator.work(java.util.LinkedList<Edge> partialPath)

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

Constructor	Description
MarkedEdge(Edge edge, int flag)

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

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

Modifier and Type	Method	Description
boolean	IfNull.acceptBranch(Edge edge, org.apache.bcel.generic.InstructionHandle source)
boolean	Invoke.acceptBranch(Edge edge, org.apache.bcel.generic.InstructionHandle source)
boolean	MatchAny.acceptBranch(Edge edge, org.apache.bcel.generic.InstructionHandle source)
boolean	Opcode.acceptBranch(Edge edge, org.apache.bcel.generic.InstructionHandle source)
abstract boolean	PatternElement.acceptBranch(Edge edge, org.apache.bcel.generic.InstructionHandle source)	Return whether or not it is acceptable to take the given branch.
boolean	SingleInstruction.acceptBranch(Edge edge, org.apache.bcel.generic.InstructionHandle source)
boolean	Wild.acceptBranch(Edge edge, org.apache.bcel.generic.InstructionHandle source)
PatternMatcher.State	PatternMatcher.State.advanceToSuccessor(Edge edge, MatchResult matchResult)	Return a new State for continuing the overall pattern match in a successor basic block.

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

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

Modifier and Type	Method	Description
void	CallListAnalysis.meetInto(CallList start, Edge edge, CallList result)

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

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

Modifier and Type	Method	Description
void	ConstantAnalysis.meetInto(ConstantFrame fact, Edge edge, ConstantFrame result)

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

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

Modifier and Type	Method	Description
private ValueNumber	UnconditionalValueDerefAnalysis.findValueKnownNonnullOnBranch(UnconditionalValueDerefSet fact, Edge edge)	Clear deref sets of values if this edge is the non-null branch of an if comparison.
private boolean	UnconditionalValueDerefAnalysis.isExceptionEdge(Edge edge)	Determine whether dataflow should be propagated on given edge.
void	UnconditionalValueDerefAnalysis.meetInto(UnconditionalValueDerefSet fact, Edge edge, UnconditionalValueDerefSet result)
void	UnconditionalValueDerefAnalysis.meetInto(UnconditionalValueDerefSet fact, Edge edge, UnconditionalValueDerefSet result, boolean onlyEdge)
private UnconditionalValueDerefSet	UnconditionalValueDerefAnalysis.propagateDerefSetsToMergeInputValues(UnconditionalValueDerefSet fact, Edge edge)	Find out if any VNs in the source block contribute to unconditionally dereferenced VNs in the target block.

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

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

Modifier and Type	Method	Description
void	FieldSetAnalysis.meetInto(FieldSet fact, Edge edge, FieldSet result)

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

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

Modifier and Type	Method	Description
void	BackwardTypeQualifierDataflowAnalysis.edgeTransfer(Edge edge, TypeQualifierValueSet fact)
void	TypeQualifierDataflowAnalysis.edgeTransfer(Edge edge, TypeQualifierValueSet fact)
void	TypeQualifierDataflowAnalysis.meetInto(TypeQualifierValueSet fact, Edge edge, TypeQualifierValueSet result)

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

Fields in edu.umd.cs.findbugs.ba.npe declared as Edge

Modifier and Type	Field	Description
Edge	RedundantBranch.infeasibleEdge

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

Modifier and Type	Method	Description
void	ReturnPathTypeAnalysis.edgeTransfer(Edge edge, ReturnPathType fact)
IsNullValueFrame	IsNullValueAnalysis.getFactAtMidEdge(Edge edge)
IsNullValueFrame	IsNullValueDataflow.getFactAtMidEdge(Edge edge)
void	IsNullValueAnalysis.meetInto(IsNullValueFrame fact, Edge edge, IsNullValueFrame result)
void	IsNullValueAnalysis.meetInto(IsNullValueFrame fact, Edge edge, IsNullValueFrame result, boolean propagatePhiNodeInformation)
void	ReturnPathTypeAnalysis.meetInto(ReturnPathType fact, Edge edge, ReturnPathType result)
void	RedundantBranch.setInfeasibleEdge(Edge infeasibleEdge)	Set the edge which has been determined to be infeasible.

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

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

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)
private Obligation	ObligationAnalysis.comparesObligationTypeToNull(Edge edge)
void	ObligationAnalysis.edgeTransfer(Edge edge, StateSet fact)
private boolean	ObligationAnalysis.isPossibleIfComparison(Edge edge)
void	ObligationAnalysis.meetInto(StateSet fact, Edge edge, StateSet result)
private org.apache.bcel.generic.Type	ObligationAnalysis.nullCheck(short opcode, Edge edge, org.apache.bcel.generic.InstructionHandle last, BasicBlock sourceBlock)

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

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

Modifier and Type	Field	Description
private java.util.Map<Edge,ExceptionSet>	TypeAnalysis.CachedExceptionSet.edgeExceptionMap

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

Modifier and Type	Method	Description
private ExceptionSet	TypeAnalysis.computeEdgeExceptionSet(Edge edge, ExceptionSet thrownExceptionSet)	Based on the set of exceptions that can be thrown from the source basic block, compute the set of exceptions that can propagate along given exception edge.
ExceptionSet	TypeAnalysis.CachedExceptionSet.getEdgeExceptionSet(Edge edge)
ExceptionSet	TypeAnalysis.getEdgeExceptionSet(Edge edge)	Get the set of exceptions that can be thrown on given edge.
ExceptionSet	TypeDataflow.getEdgeExceptionSet(Edge edge)
private TypeFrame	TypeAnalysis.handleInstanceOfBranch(TypeFrame fact, TypeFrame tmpFact, Edge edge)
void	TypeAnalysis.meetInto(TypeFrame fact, Edge edge, TypeFrame result)
void	TypeAnalysis.CachedExceptionSet.setEdgeExceptionSet(Edge edge, ExceptionSet exceptionSet)

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

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

Modifier and Type	Method	Description
void	ValueNumberAnalysis.meetInto(ValueNumberFrame fact, Edge edge, ValueNumberFrame result)

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

Fields in edu.umd.cs.findbugs.classfile.engine.bcel with type parameters of type Edge

Modifier and Type	Field	Description
(package private) java.util.Map<Edge,ValueRangeAnalysisFactory.Branch>	ValueRangeAnalysisFactory.VariableData.edges

Methods in edu.umd.cs.findbugs.classfile.engine.bcel that return types with arguments of type Edge

Modifier and Type	Method	Description
java.util.List<Edge>	FinallyDuplicatesInfoFactory.FinallyDuplicatesInfo.getDuplicates(CFG cfg, Edge edge)

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

Modifier and Type	Method	Description
void	ValueRangeAnalysisFactory.VariableData.addBranch(Edge edge, ValueRangeAnalysisFactory.Branch branch)
java.util.List<Edge>	FinallyDuplicatesInfoFactory.FinallyDuplicatesInfo.getDuplicates(CFG cfg, Edge edge)

Method parameters in edu.umd.cs.findbugs.classfile.engine.bcel with type arguments of type Edge

Modifier and Type	Method	Description
private static void	ValueRangeAnalysisFactory.walkCFG(CFG cfg, ValueRangeAnalysisFactory.LongRangeSet subRange, java.util.Map<Edge,ValueRangeAnalysisFactory.Branch> edges, java.util.BitSet reachedBlocks)

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

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

Modifier and Type	Method	Description
private Location	CheckTypeQualifiers.getEdgeSourceLocation(CFG cfg, Edge edge)
private Location	CheckTypeQualifiers.getEdgeTargetLocation(CFG cfg, Edge edge)
boolean	FindUnreleasedLock.LockResourceTracker.ignoreExceptionEdge(Edge edge, Lock resource, org.apache.bcel.generic.ConstantPoolGen cpg)
boolean	StreamResourceTracker.ignoreExceptionEdge(Edge edge, Stream resource, org.apache.bcel.generic.ConstantPoolGen cpg)
void	FindUnsatisfiedObligation.MethodChecker.PostProcessingPathVisitor.visitEdge(Edge edge)