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         public String nodeLabel(GraphNode gn){
   8                 return "";
   9         }
  10
  11         public String nodeOption(GraphNode gn){
  12                 return "URL=\""+gn.getName()+".html\"";
  13         }
  14
  15 }