3 public class GenReachNode extends BlockStatementNode {
6 public GenReachNode(String graphName) {
7 assert graphName != null;
8 this.graphName = graphName;
11 public String printNode(int indent) {
12 return "genReach "+graphName;
15 public String getGraphName() {
20 return Kind.GenReachNode;