more changes

[IRC.git] / Robust / src / Analysis / TaskStateAnalysis / Allocations.java

diff --git a/Robust/src/Analysis/TaskStateAnalysis/Allocations.java b/Robust/src/Analysis/TaskStateAnalysis/Allocations.java
index 0e2750039889d868bdcd230b329c5f6b2adff142..0146dafc1ee70ed85c3a744f1769b353af89d945 100644 (file)
--- a/Robust/src/Analysis/TaskStateAnalysis/Allocations.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/Allocations.java
@@ -1,7 +1,7 @@
 package Analysis.TaskStateAnalysis;
 import Util.*;
 
-public class Allocations {
+public class Allocations extends Namer {
     public Allocations() {}
 
     public String nodeLabel(GraphNode gn) {
@@ -11,7 +11,7 @@ public class Allocations {
     public String nodeOption(GraphNode gn) {
        FlagState fs=(FlagState)gn;
        if (fs.isSourceNode())
-           return "peripheries=2";
+           return "peripheries=2, URL=\"" + fs.getClassDescriptor().toString() + "_" + fs.getLabel() + ".html\"";
        else
            return "";
     }