From: adam <adam@megacz.com>
Date: Mon, 3 Nov 2008 09:29:03 +0000 (+0100)
Subject: add Dock.getConstant()
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=966f67b61711c751ee48e13610ef5e81872de34d;p=fleet.git

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
--- 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(); }
 }