Robust/src/Util/Namer.java

   1 package Util;
   2
   3 public class Namer {
   4   public Namer() {
   5   }
   6
   7   public String nodeLabel(GraphNode gn) {
   8     return gn.getTextLabel();
   9   }
  10
  11   public String nodeOption(GraphNode gn) {
  12     return gn.dotnodeparams;
  13   }
  14
  15   public String edgeLabel(Edge e) {
  16     return e.getLabel();
  17   }
  18
  19   public String edgeOption(Edge e) {
  20     return e.dotnodeparams;
  21   }
  22 }