From e0c6701a0d25714444cc9dac70c7c674b4a95a32 Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Mon, 15 Sep 2008 20:33:27 +0000
Subject: [PATCH] add toString for isavailable

---
 Robust/src/IR/Operation.java | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/Robust/src/IR/Operation.java b/Robust/src/IR/Operation.java
index 9328fac0..7793a2ab 100644
--- a/Robust/src/IR/Operation.java
+++ b/Robust/src/IR/Operation.java
@@ -101,7 +101,7 @@ public class Operation {
     else if (st.equals("comp"))
       return COMP;
     else
-      throw new Error();
+      throw new Error(st);
   }
 
   public String toString() {
@@ -161,7 +161,9 @@ public class Operation {
       return "predec";
     else if (operation==ASSIGN)
       return "assign";
-    else throw new Error();
+    else if (operation==ISAVAILABLE)
+      return "isavailable";
+    else throw new Error("op="+operation);
   }
 
 
-- 
2.34.1