Quantifiers use relations!!!
[repair.git] / Repair / RepairCompiler / MCC / IR / Walkable.java
1
2 package MCC.IR;
3
4 /**
5  * The Walkable interface specifies a set of methods that defines a web. 
6  */
7
8 public interface Walkable {
9
10     /**
11      * Returns the name of the node
12      */
13     public String getNodeName();
14
15
16     /**
17      * Returns the number of neighbors from this node
18      */
19     public int getNeighborCount();
20
21
22     /**
23      * Returns a specific neighbor
24      */
25     public Object getNeighbor(int index);
26
27     /**
28      * Returns a pretty print of the representation of the node. 
29      *
30      * @param indent    number of blank spaces to skip for a new line
31      * @param recursive if true, recursively print children
32      */
33     public String PPrint(int indent, boolean recursive);
34 }
35