From 1bfe7cb052d595fc972270e244f721ce3c69ee90 Mon Sep 17 00:00:00 2001
From: sjfink <sjfink@f5eafffb-2e1d-0410-98e4-8ec43c5233c4>
Date: Mon, 16 Jul 2007 15:53:22 +0000
Subject: [PATCH] fix toString()

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1485 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
---
 .../com/ibm/wala/ssa/SSASwitchInstruction.java    | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

diff --git a/com.ibm.wala.core/src/com/ibm/wala/ssa/SSASwitchInstruction.java b/com.ibm.wala.core/src/com/ibm/wala/ssa/SSASwitchInstruction.java
index a155c09f8..5838acd60 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/ssa/SSASwitchInstruction.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/ssa/SSASwitchInstruction.java
@@ -49,7 +49,20 @@ public class SSASwitchInstruction extends SSAInstruction {
 
   @Override
   public String toString(SymbolTable symbolTable, ValueDecorator d) {
-    return "switch " + getValueString(symbolTable, d, val) + " " + casesAndLabels;
+    StringBuffer result = new StringBuffer("switch ");
+    result.append(getValueString(symbolTable, d, val));
+    result.append(" [");
+    for (int i = 0; i < casesAndLabels.length - 1; i++) {
+      result.append(casesAndLabels[i]);
+      i++;
+      result.append("->");
+      result.append(casesAndLabels[i]);
+      if (i < casesAndLabels.length - 2) {
+        result.append(",");
+      }
+    } 
+    result.append("]");
+    return result.toString();
   }
 
   /**