Robust/src/Util/Namer.java

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