more display changes

diff --git a/Robust/src/Analysis/TaskStateAnalysis/Allocations.java b/Robust/src/Analysis/TaskStateAnalysis/Allocations.java
new file mode 100644 (file)
index 0000000..0e27500
--- /dev/null
+++ b/Robust/src/Analysis/TaskStateAnalysis/Allocations.java
@@ -0,0 +1,26 @@
+package Analysis.TaskStateAnalysis;
+import Util.*;
+
+public class Allocations {
+    public Allocations() {}
+
+    public String nodeLabel(GraphNode gn) {
+       return "";
+    }
+    
+    public String nodeOption(GraphNode gn) {
+       FlagState fs=(FlagState)gn;
+       if (fs.isSourceNode())
+           return "peripheries=2";
+       else
+           return "";
+    }
+
+    public String edgeLabel(Edge e) {
+       return "";
+    }
+
+    public String edgeOption(Edge e) {
+       return "";
+    }
+}

diff --git a/Robust/src/Interface/WebInterface.java b/Robust/src/Interface/WebInterface.java
index 251d4a06888a07070f942449bb4c996dfeb55242..7a97ed00fb820257ae74fb74c476225698ba3ad8 100644 (file)
--- a/Robust/src/Interface/WebInterface.java
+++ b/Robust/src/Interface/WebInterface.java
@@ -50,6 +50,7 @@ public class WebInterface {
        Vector namers=new Vector();
        namers.add(new Namer());
        namers.add(garbageanalysis);
+       namers.add(new Allocations());
        try {
            //Generate jpg
            Runtime r=Runtime.getRuntime();