| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'cfg-to-paths/src/Path.java')
| -rw-r--r-- | cfg-to-paths/src/Path.java | 21 |
1 files changed, 18 insertions, 3 deletions
diff --git a/cfg-to-paths/src/Path.java b/cfg-to-paths/src/Path.java index 80b433f..76ba28a 100644 --- a/cfg-to-paths/src/Path.java +++ b/cfg-to-paths/src/Path.java @@ -31,6 +31,21 @@ public class Path { final Collection<Path> result; final Stack<Path> waiting_list; + final Node root_node; + + root_node = Node.get_node(root); + + if (root_node == null) + { + System.err.println + ( + "[E] Could not find root node \"" + + root + + "\"." + ); + + return null; + } result = new ArrayList<Path>(); waiting_list = new Stack<Path>(); @@ -63,17 +78,17 @@ public class Path return result; } - public static Collection<List<Node>> get_subpaths (final Path p) + public Collection<List<Node>> get_all_subpaths () { final Collection<List<Node>> result; final int path_length; result = new ArrayList<List<Node>>(); - path_length = p.nodes.size(); + path_length = nodes.size(); for (int i = 0; i < path_length; ++i) { - result.add(p.nodes.subList(i, path_length)); + result.add(nodes.subList(i, path_length)); } return result; |


