From 8285c56f5bd01393309defaf1f27d6a72bfc32eb Mon Sep 17 00:00:00 2001
From: adam <adam@megacz.com>
Date: Mon, 3 Nov 2008 10:27:43 +0100
Subject: [PATCH] add BitVector.getImmutable()

---
 src/edu/berkeley/fleet/api/BitVector.java |    5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/edu/berkeley/fleet/api/BitVector.java b/src/edu/berkeley/fleet/api/BitVector.java
index df4eb71..b43ec72 100644
--- a/src/edu/berkeley/fleet/api/BitVector.java
+++ b/src/edu/berkeley/fleet/api/BitVector.java
@@ -69,6 +69,11 @@ public class BitVector {
         immutable = true;
     }
 
+    /** indicates if this BitVector has been marked as immutable */
+    public boolean getImmutable() {
+        return immutable;
+    }
+
     public int hashCode() {
         int ret = 0;
         for(int i=0; i<length(); i++)
-- 
1.7.10.4