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     public String nodeLabel(GraphNode gn) {
   8         return "";
   9     }
  10
  11     public String nodeOption(GraphNode gn) {
  12         FlagState fs=(FlagState)gn;
  13         if (fs.isSourceNode())
  14             return "peripheries=2, URL=\"" + fs.getClassDescriptor().toString() + "_" + fs.getLabel() + ".html\"";
  15         else
  16             return "";
  17     }
  18
  19     public String edgeLabel(Edge e) {
  20         return "";
  21     }
  22
  23     public String edgeOption(Edge e) {
  24         return "";
  25     }
  26 }