marina/testCode/edu/berkeley/fleet/api/DeferredBitVector.java

   1 package edu.berkeley.fleet.api;
   2
   3 /**
   4  *  A "deferred" BitVector; basically a placeholder to facilitate
   5  *  instantiating literal instructions (shift/set) before the value is
   6  *  known.
   7  */
   8 public interface DeferredBitVector {
   9     public BitVector getBitVector();
  10 }