From 966f67b61711c751ee48e13610ef5e81872de34d Mon Sep 17 00:00:00 2001 From: adam Date: Mon, 3 Nov 2008 10:29:03 +0100 Subject: [PATCH] add Dock.getConstant() --- src/edu/berkeley/fleet/api/Dock.java | 5 +++++ 1 file changed, 5 insertions(+) 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(); } } -- 1.7.10.4