|
FindBugs™ 1.3.9 | |||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Edge | |
---|---|
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.npe2 | This package is a rewrite of the null-pointer analysis to use sets of value numbers rather than frames. |
edu.umd.cs.findbugs.ba.obl | Implementation of dataflow analysis for checking whether obligations to close streams and other resources (e.g. |
edu.umd.cs.findbugs.ba.type | |
edu.umd.cs.findbugs.ba.vna | |
edu.umd.cs.findbugs.detect |
Uses of Edge in edu.umd.cs.findbugs |
---|
Methods in edu.umd.cs.findbugs with parameters of type Edge | |
---|---|
void |
InstructionScanner.traverseEdge(Edge edge)
Traverse an edge. |
Constructor parameters in edu.umd.cs.findbugs with type arguments of type Edge | |
---|---|
InstructionScannerDriver(java.util.Iterator<Edge> edgeIter)
Constructor. |
Uses of Edge in edu.umd.cs.findbugs.ba |
---|
Methods in edu.umd.cs.findbugs.ba that return Edge | |
---|---|
protected Edge |
CFG.allocateEdge(BasicBlock source,
BasicBlock target)
|
Edge |
CFG.createEdge(BasicBlock source,
BasicBlock dest,
int type)
Add a unique edge to the graph. |
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 | |
---|---|
java.util.Iterator<java.util.List<Edge>> |
SimplePathEnumerator.iterator()
Iterate over simple paths. |
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 | |
---|---|
boolean |
EdgeChooser.choose(Edge edge)
Return whether or not given Edge should be chosen. |
int |
Edge.compareTo(Edge other)
Compare with other edge. |
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 |
BasicAbstractDataflowAnalysis.getFactOnEdge(Edge edge)
Get the fact that is true on the given control edge, after applying the edge transfer function (if any). |
Fact |
AbstractDataflow.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. |
Fact |
Dataflow.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 |
LiveLocalStoreAnalysis.meetInto(java.util.BitSet fact,
Edge edge,
java.util.BitSet result)
|
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 |
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. |
Uses of Edge in edu.umd.cs.findbugs.ba.bcp |
---|
Methods in edu.umd.cs.findbugs.ba.bcp with parameters of type Edge | |
---|---|
boolean |
IfNull.acceptBranch(Edge edge,
org.apache.bcel.generic.InstructionHandle source)
|
boolean |
MatchAny.acceptBranch(Edge edge,
org.apache.bcel.generic.InstructionHandle source)
|
boolean |
Wild.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 |
Opcode.acceptBranch(Edge edge,
org.apache.bcel.generic.InstructionHandle source)
|
boolean |
Invoke.acceptBranch(Edge edge,
org.apache.bcel.generic.InstructionHandle source)
|
Uses of Edge in edu.umd.cs.findbugs.ba.ca |
---|
Methods in edu.umd.cs.findbugs.ba.ca with parameters of type Edge | |
---|---|
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 | |
---|---|
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 | |
---|---|
void |
UnconditionalValueDerefAnalysis.meetInto(UnconditionalValueDerefSet fact,
Edge edge,
UnconditionalValueDerefSet result)
|
void |
UnconditionalValueDerefAnalysis.meetInto(UnconditionalValueDerefSet fact,
Edge edge,
UnconditionalValueDerefSet result,
boolean onlyEdge)
|
Uses of Edge in edu.umd.cs.findbugs.ba.heap |
---|
Methods in edu.umd.cs.findbugs.ba.heap with parameters of type Edge | |
---|---|
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 | |
---|---|
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 | |
---|---|
Edge |
RedundantBranch.infeasibleEdge
|
Methods in edu.umd.cs.findbugs.ba.npe with parameters of type Edge | |
---|---|
void |
ReturnPathTypeAnalysis.edgeTransfer(Edge edge,
ReturnPathType fact)
|
IsNullValueFrame |
IsNullValueDataflow.getFactAtMidEdge(Edge edge)
|
IsNullValueFrame |
IsNullValueAnalysis.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.npe2 |
---|
Methods in edu.umd.cs.findbugs.ba.npe2 with parameters of type Edge | |
---|---|
void |
DefinitelyNullSetAnalysis.edgeTransfer(Edge edge,
DefinitelyNullSet fact)
|
abstract Decision |
Condition.getDecision(Edge edge)
|
Decision |
IfNullCondition.getDecision(Edge edge)
|
Decision |
AcmpCondition.getDecision(Edge edge)
Deprecated. |
void |
DefinitelyNullSetAnalysis.meetInto(DefinitelyNullSet fact,
Edge edge,
DefinitelyNullSet result)
|
Uses of Edge in edu.umd.cs.findbugs.ba.obl |
---|
Methods in edu.umd.cs.findbugs.ba.obl with parameters of type Edge | |
---|---|
void |
ObligationAnalysis.edgeTransfer(Edge edge,
StateSet fact)
|
void |
ObligationAnalysis.meetInto(StateSet fact,
Edge edge,
StateSet result)
|
Uses of Edge in edu.umd.cs.findbugs.ba.type |
---|
Methods in edu.umd.cs.findbugs.ba.type with parameters of type Edge | |
---|---|
ExceptionSet |
TypeAnalysis.getEdgeExceptionSet(Edge edge)
Get the set of exceptions that can be thrown on given edge. |
ExceptionSet |
TypeDataflow.getEdgeExceptionSet(Edge edge)
|
void |
TypeAnalysis.meetInto(TypeFrame fact,
Edge edge,
TypeFrame result)
|
Uses of Edge in edu.umd.cs.findbugs.ba.vna |
---|
Methods in edu.umd.cs.findbugs.ba.vna with parameters of type Edge | |
---|---|
void |
ValueNumberAnalysis.meetInto(ValueNumberFrame fact,
Edge edge,
ValueNumberFrame result)
|
Uses of Edge in edu.umd.cs.findbugs.detect |
---|
Methods in edu.umd.cs.findbugs.detect with parameters of type Edge | |
---|---|
boolean |
StreamResourceTracker.ignoreExceptionEdge(Edge edge,
Stream resource,
org.apache.bcel.generic.ConstantPoolGen cpg)
|
|
FindBugs™ 1.3.9 | |||||||||
PREV NEXT | FRAMES NO FRAMES |