From: bdemsky <bdemsky>
Date: Wed, 23 May 2007 22:27:02 +0000 (+0000)
Subject: more display changes
X-Git-Tag: preEdgeChange~565
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=96b8be4b95ac86e9783e0b8855dbbdfee0522456;p=IRC.git

more display changes
---

diff --git a/Robust/src/Analysis/TaskStateAnalysis/Allocations.java b/Robust/src/Analysis/TaskStateAnalysis/Allocations.java
new file mode 100644
index 00000000..0e275003
--- /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 251d4a06..7a97ed00 100644
--- 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();