This commit was manufactured by cvs2svn to create tag 'buildscript'.

[IRC.git] / Robust / src / IR / Tree / ParseNodeDOTVisitor.java

diff --git a/Robust/src/IR/Tree/ParseNodeDOTVisitor.java b/Robust/src/IR/Tree/ParseNodeDOTVisitor.java
deleted file mode 100644 (file)
index cbd2b65..0000000
--- a/Robust/src/IR/Tree/ParseNodeDOTVisitor.java
+++ /dev/null
@@ -1,71 +0,0 @@
-/*
-
-   Class: ParseNodeDOTVisitor
-   Author: Dan Roy
-   Purpose: Traverses a ParseNode tree and generates a DOT file that represents the parse
-          tree.
-
- */
-
-package IR.Tree;
-
-import java.util.*;
-
-public class ParseNodeDOTVisitor {
-
-  java.io.PrintWriter output;
-  int tokennumber;
-  int color;
-
-  private ParseNodeDOTVisitor(java.io.OutputStream output) {
-    tokennumber = 0;
-    color = 0;
-    this.output = new java.io.PrintWriter(output, true);
-  }
-
-  private String getNewID(String name) {
-    tokennumber = tokennumber + 1;
-    return new String(name+tokennumber);
-  }
-
-  public static void visit(java.io.OutputStream output, ParseNode root) {
-    ParseNodeDOTVisitor visitor = new ParseNodeDOTVisitor(output);
-    visitor.make(root);
-  }
-
-  private void make(ParseNode root) {
-    output.println("digraph dotvisitor {");
-    output.println("\tsize=\"7, 10\";");
-    traverse(root, getNewID("root"));
-    output.println("}\n");
-  }
-
-  private String newColor() {
-
-
-    if (color == 0) {
-      color++;
-      return new String("red");
-    } else if (color == 1) {
-      color++;
-      return new String("green");
-    } else {
-      color = 0;
-      return new String("blue");
-    }
-  }
-
-  private void traverse(ParseNode node, String nodeid) {
-    output.println("\t" + nodeid + " [label=\"" + node.getLabel() + "\",shape=box];");
-    ParseNodeVector children = node.getChildren();
-    for (int i = 0; i < children.size(); i++) {
-      ParseNode child = children.elementAt(i);
-      String childid = getNewID("node");
-      output.println("\t" + nodeid + " -> " + childid + ";");
-      if (child.getLabel()=="rule") {
-       output.println("\tnode [color=" + newColor() + "];");
-      }
-      traverse(child, childid);
-    }
-  }
-}