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

[IRC.git] / Robust / src / Analysis / TaskStateAnalysis / TaskNodeNamer.java

diff --git a/Robust/src/Analysis/TaskStateAnalysis/TaskNodeNamer.java b/Robust/src/Analysis/TaskStateAnalysis/TaskNodeNamer.java
deleted file mode 100644 (file)
index 3585d52..0000000
--- a/Robust/src/Analysis/TaskStateAnalysis/TaskNodeNamer.java
+++ /dev/null
@@ -1,16 +0,0 @@
-package Analysis.TaskStateAnalysis;
-import Util.*;
-
-public class TaskNodeNamer extends Namer {
-  public TaskNodeNamer() {
-  }
-
-  public String nodeLabel(GraphNode gn) {
-    return "";
-  }
-
-  public String nodeOption(GraphNode gn) {
-    return "URL=\""+gn.getName()+".html\"";
-  }
-
-}