Robust/src/Analysis/TaskStateAnalysis/Allocations.java

   1 package Analysis.TaskStateAnalysis;
   2 import Util.*;
   3
   4 public class Allocations extends Namer {
   5   public Allocations() {
   6   }
   7
   8   public String nodeLabel(GraphNode gn) {
   9     return "";
  10   }
  11
  12   public String nodeOption(GraphNode gn) {
  13     FlagState fs=(FlagState)gn;
  14     if (fs.isSourceNode())
  15       return "peripheries=2, URL=\"" + fs.getClassDescriptor().toString() + "_" + fs.getLabel() + ".html\"";
  16     else
  17       return "";
  18   }
  19
  20   public String edgeLabel(Edge e) {
  21     return "";
  22   }
  23
  24   public String edgeOption(Edge e) {
  25     return "";
  26   }
  27 }