FindBugs™ 1.3.9

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

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

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.