From 8db1941f4c020c35eaffe20cf64efd7e457883e0 Mon Sep 17 00:00:00 2001
From: megacz <adam@megacz.com>
Date: Wed, 7 Jan 2009 22:06:26 -0800
Subject: [PATCH] add BitVector.set(BitVector)

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

diff --git a/src/edu/berkeley/fleet/api/BitVector.java b/src/edu/berkeley/fleet/api/BitVector.java
index 9c111b6..8b08fc6 100644
--- a/src/edu/berkeley/fleet/api/BitVector.java
+++ b/src/edu/berkeley/fleet/api/BitVector.java
@@ -44,6 +44,14 @@ public class BitVector {
         return this;
     }
 
+    public BitVector set(BitVector bv) {
+        if (immutable) throw new RuntimeException("attempt to modify an immutable BitVector");
+        if (length()!=bv.length()) throw new RuntimeException("attempt to copy between BitVectors of unequal sizes");
+        for(int i=0; i<length(); i++)
+            set(i, bv.get(i));
+        return this;
+    }
+
     /** copy the low-order bits of the argument into this BitVector and sign extend; returns <tt>this</tt> */
     public BitVector setAndSignExtend(long value) {
         if (immutable) throw new RuntimeException("attempt to modify an immutable BitVector");
-- 
1.7.10.4