1 package Analysis.TaskStateAnalysis;
4 public class Allocations extends Namer {
8 public String nodeLabel(GraphNode gn) {
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\"";
20 public String edgeLabel(Edge e) {
24 public String edgeOption(Edge e) {