add Dock.getConstant()

diff --git a/src/edu/berkeley/fleet/api/Dock.java b/src/edu/berkeley/fleet/api/Dock.java
index c0d77af..be4d558 100644 (file)
--- a/src/edu/berkeley/fleet/api/Dock.java
+++ b/src/edu/berkeley/fleet/api/Dock.java
@@ -39,5 +39,10 @@ public abstract class Dock {
      */
     public abstract int getInstructionFifoSize();
 
+    /** get a constant associated with a dock; returns null if none found */
+    public BitVector getConstant(String constantName) {
+        return null;
+    }
+
     public String toString() { return getShip()+"."+getName(); }
 }