Robust/src/IR/Tree/GenReachNode.java

   1 package IR.Tree;
   2
   3 public class GenReachNode extends BlockStatementNode {
   4   String graphName;
   5
   6   public GenReachNode(String graphName) {
   7     assert graphName != null;
   8     this.graphName = graphName;
   9   }
  10
  11   public String printNode(int indent) {
  12     return "genReach "+graphName;
  13   }
  14
  15   public String getGraphName() {
  16     return graphName;
  17   }
  18
  19   public int kind() {
  20     return Kind.GenReachNode;
  21   }
  22 }