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