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