|
FindBugs™ 1.3.9 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.umd.cs.findbugs.ba.SimplePathEnumerator
public class SimplePathEnumerator
Object to enumerate (some subset of) the simple paths in a CFG. A simple path is a path from entry to exit, ignoring backedges and unhandled exceptions.
FIXME: instead of storing the simple paths, should invoke a callback as each simple path is produced. That would save memory.
CFG
Field Summary | |
---|---|
static int |
DEFAULT_MAX_WORK
Default number of steps to be performed in path enumeration. |
Fields inherited from interface edu.umd.cs.findbugs.ba.EdgeTypes |
---|
BACKEDGE_SOURCE_EDGE, BACKEDGE_TARGET_EDGE, CHECKED_EXCEPTIONS_FLAG, EXIT_EDGE, EXPLICIT_EXCEPTIONS_FLAG, FALL_THROUGH_EDGE, GOTO_EDGE, HANDLED_EXCEPTION_EDGE, IFCMP_EDGE, JSR_EDGE, RET_EDGE, RETURN_EDGE, START_EDGE, SWITCH_DEFAULT_EDGE, SWITCH_EDGE, UNHANDLED_EXCEPTION_EDGE, UNKNOWN_EDGE |
Fields inherited from interface edu.umd.cs.findbugs.graph.DFSEdgeTypes |
---|
BACK_EDGE, CROSS_EDGE, FORWARD_EDGE, TREE_EDGE |
Constructor Summary | |
---|---|
SimplePathEnumerator(CFG cfg,
int maxPaths)
Constructor; max work is set to DEFAULT_MAX_WORK. |
|
SimplePathEnumerator(CFG cfg,
int maxPaths,
int maxWork)
Constructor. |
Method Summary | |
---|---|
SimplePathEnumerator |
enumerate()
Enumerate the simple paths. |
java.util.Iterator<java.util.List<Edge>> |
iterator()
Iterate over simple paths. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final int DEFAULT_MAX_WORK
Constructor Detail |
---|
public SimplePathEnumerator(CFG cfg, int maxPaths, int maxWork)
cfg
- the control flow graph to enumerate simple paths ofmaxPaths
- maximum number of simple paths to findmaxWork
- maximum number of steps to be performed in the path
enumeration (to handle exponential blowup of search space)public SimplePathEnumerator(CFG cfg, int maxPaths)
cfg
- the control flow graph to enumerate simple paths ofmaxPaths
- maximum number of simple paths to findMethod Detail |
---|
public SimplePathEnumerator enumerate()
public java.util.Iterator<java.util.List<Edge>> iterator()
|
FindBugs™ 1.3.9 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |