\begin{verbatim}
/** a description of a ship */
-public class ShipDescription implements Iterable<ValveDescription> {
+public class ShipDescription implements Iterable<DockDescription> {
public String getName();
public Iterable<ConstantDescription> getConstantDescriptions();
- public Iterable<ValveDescription> getValveDescriptions();
+ public Iterable<DockDescription> getDockDescriptions();
}
/** a description of a valve */
-public class ValveDescription {
+public class DockDescription {
public String getName();
public boolean isInbox();
public boolean isOutbox();
- public ValveDescription getShortcut();
+ public DockDescription getShortcut();
}
/** a constant declared by a ship */
public ShipDescription getShipDescription();
/** return all pumps which feed this ship; order is NOT significant */
- public Iterable<Valve> getValves();
- public Valve getValve(String s);
+ public Iterable<Dock> getDocks();
+ public Dock getDock(String s);
/** if this is the 4th fifo ship, this method returns 4 */
public int getOrdinal();
}
\end{verbatim}
-\subsection{Valve}
+\subsection{Dock}
\begin{verbatim}
-public class Valve {
+public class Dock {
/** the descriptive name of this pump (relative to its ship) */
public abstract String getName();
- /** return the Ship to which this Valve belongs */
+ /** return the Ship to which this Dock belongs */
public abstract Ship getShip();
- /** the maximum number of instructions we can put in the Valve instruction fifo,
+ /** the maximum number of instructions we can put in the Dock instruction fifo,
* or Integer.MAX_VALUE if unbounded */
public abstract int getInstructionFifoLength();
/** returns true if this is an outbox */
public abstract boolean isOutbox();
- /** return the Valve which is the destination of this Box's shortcut (if any) */
+ /** return the Dock which is the destination of this Box's shortcut (if any) */
public Destination getShortcut() { return null; }
}
\end{verbatim}