cfg-to-paths/src/Path.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102

import java.util.*;

public class Path
{
   private final ArrayList<Node> nodes;
   private final Node last_node;

   public static Collection<Path> get_all_paths_from (final String root)
   {
      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>();

      waiting_list.push((new Path(Node.get_node(root))));

      while (!waiting_list.empty())
      {
         final Path current_path;
         final Node current_node;
         final Collection<Node> next_nodes;

         current_path = waiting_list.pop();
         current_node = current_path.last_node;
         next_nodes = current_node.next_nodes();

         if (next_nodes.isEmpty())
         {
            result.add(current_path);
         }
         else
         {
            if (current_node.is_terminal())
            {
               result.add(current_path);
            }
            for (final Node next: next_nodes)
            {
               waiting_list.push(current_path.add_step(next));
            }
         }
      }

      return result;
   }

   private Path (final Node start)
   {
      nodes = new ArrayList<Node>();

      nodes.add(start);

      last_node = start;
   }

   private Path (final ArrayList<Node> nodes, final Node last_node)
   {
      this.nodes = nodes;
      this.last_node = last_node;

      this.nodes.add(last_node);
   }

   @SuppressWarnings("unchecked")
   /* 'nodes' is an ArrayList<Node>, and so should be its clone. */
   private Path add_step (final Node n)
   {
      return new Path((ArrayList<Node>) nodes.clone(), n);
   }

   public Collection<List<Node>> get_all_subpaths ()
   {
      final Collection<List<Node>> result;
      final int path_length;

      result = new ArrayList<List<Node>>();
      path_length = nodes.size();

      for (int i = 0; i < path_length; ++i)
      {
         result.add(nodes.subList(i, path_length));
      }

      return result;
   }
}