From 96b8be4b95ac86e9783e0b8855dbbdfee0522456 Mon Sep 17 00:00:00 2001 From: bdemsky Date: Wed, 23 May 2007 22:27:02 +0000 Subject: [PATCH] more display changes --- .../TaskStateAnalysis/Allocations.java | 26 +++++++++++++++++++ Robust/src/Interface/WebInterface.java | 1 + 2 files changed, 27 insertions(+) create mode 100644 Robust/src/Analysis/TaskStateAnalysis/Allocations.java 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(); -- 2.34.1