edu.umd.cs.findbugs.ba
public class SimplePathEnumerator extends Object implements EdgeTypes, DFSEdgeTypes
FIXME: instead of storing the simple paths, should invoke a callback as each simple path is produced. That would save memory.
See Also: CFG
Field Summary | |
---|---|
static int | DEFAULT_MAX_WORK
Default number of steps to be performed in path enumeration. |
Constructor Summary | |
---|---|
SimplePathEnumerator(CFG cfg, int maxPaths, int maxWork)
Constructor.
| |
SimplePathEnumerator(CFG cfg, int maxPaths)
Constructor; max work is set to DEFAULT_MAX_WORK.
|
Method Summary | |
---|---|
SimplePathEnumerator | enumerate()
Enumerate the simple paths.
|
Iterator<List<Edge>> | iterator()
Iterate over simple paths. |
Parameters: cfg the control flow graph to enumerate simple paths of maxPaths maximum number of simple paths to find maxWork maximum number of steps to be performed in the path enumeration (to handle exponential blowup of search space)
Parameters: cfg the control flow graph to enumerate simple paths of maxPaths maximum number of simple paths to find
Returns: this object