add DeferredBitVector class

diff --git a/src/edu/berkeley/fleet/api/DeferredBitVector.java b/src/edu/berkeley/fleet/api/DeferredBitVector.java
new file mode 100644 (file)
index 0000000..454795e
--- /dev/null
+++ b/src/edu/berkeley/fleet/api/DeferredBitVector.java
@@ -0,0 +1,10 @@
+package edu.berkeley.fleet.api;
+
+/**
+ *  A "deferred" BitVector; basically a placeholder to facilitate
+ *  instantiating literal instructions (shift/set) before the value is
+ *  known.
+ */
+public interface DeferredBitVector {
+    public BitVector getBitVector();
+}