Robust/src/Analysis/TaskStateAnalysis/TaskNodeNamer.java

   1 package Analysis.TaskStateAnalysis;
   2 import Util.*;
   3
   4 public class TaskNodeNamer extends Namer {
   5   public TaskNodeNamer() {
   6   }
   7
   8   public String nodeLabel(GraphNode gn) {
   9     return "";
  10   }
  11
  12   public String nodeOption(GraphNode gn) {
  13     return "URL=\""+gn.getName()+".html\"";
  14   }
  15
  16 }