From: jjenista <jjenista>
Date: Thu, 18 Sep 2008 19:57:18 +0000 (+0000)
Subject: added a test for immutable
X-Git-Tag: buildscript^7~101
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=commitdiff_plain;h=afaec781e40c64490a0418730d38f3b5492b52eb

added a test for immutable
---

diff --git a/Robust/src/IR/TypeDescriptor.java b/Robust/src/IR/TypeDescriptor.java
index 9c83be1a..579b4dd5 100644
--- a/Robust/src/IR/TypeDescriptor.java
+++ b/Robust/src/IR/TypeDescriptor.java
@@ -221,6 +221,10 @@ public class TypeDescriptor extends Descriptor {
     return type==TAG;
   }
 
+  public boolean isImmutable() {
+    return isPrimitive() || isString();
+  }
+
   public TypeDescriptor(NameDescriptor name) {
     super(name.toString());
     this.type=CLASS;