change build machine, use /usr/bin/tclsh instead of /usr/bin/tcl
[fleet.git] / src / edu / berkeley / fleet / two / FleetTwoDock.java
index 2868768..e4b3148 100644 (file)
@@ -20,5 +20,11 @@ public abstract class FleetTwoDock extends Dock {
 
     public boolean isOutputDock() { return !dockDescription.isInputDock(); }
 
+    public BitVector getConstant(String constantName) {
+        BitVector bv = dockDescription.getConstant(constantName);
+        if (bv==null)
+            throw new RuntimeException("unknown constant \""+constantName+"\" on dock " + this);
+        return bv;
+    }
 
 }