ShipPool: rename ancestor->parent, make private

[fleet.git] / src / edu / berkeley / fleet / api / Dock.java

diff --git a/src/edu/berkeley/fleet/api/Dock.java b/src/edu/berkeley/fleet/api/Dock.java
index c0d77af..e0b79fe 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) {
+        throw new RuntimeException("unknown constant \""+constantName+"\" on dock " + this);
+    }
+
     public String toString() { return getShip()+"."+getName(); }
 }