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         public String nodeLabel(GraphNode gn) {
   8         return "";
   9     }
  10
  11     public String nodeOption(GraphNode gn) {
  12         return "";
  13     }
  14
  15
  16         public String edgeLabel(Edge edge){
  17                 return "";
  18         }
  19
  20
  21         public String edgeOption(Edge edge){
  22                 return "URL=\""+edge.getLabel()+".html\"";
  23         }
  24
  25 }