Robust/src/Analysis/TaskStateAnalysis/TaskEdges.java

   1 package Analysis.TaskStateAnalysis;
   2 import Util.*;
   3
   4 public class TaskEdges extends Namer {
   5   public TaskEdges() {
   6   }
   7
   8   public String nodeLabel(GraphNode gn) {
   9     return "";
  10   }
  11
  12   public String nodeOption(GraphNode gn) {
  13     return "";
  14   }
  15
  16
  17   public String edgeLabel(Edge edge) {
  18     return "";
  19   }
  20
  21
  22   public String edgeOption(Edge edge) {
  23     return "URL=\""+edge.getLabel()+".html\"";
  24   }
  25
  26 }