change internal uses of "port" to "dock"
[fleet.git] / src / edu / berkeley / fleet / interpreter / InterpreterShip.java
index 80a38c6..43fa15b 100644 (file)
@@ -4,10 +4,10 @@ import edu.berkeley.fleet.two.*;
 import java.util.*;
 import java.io.*;
 
-/** a ship, which belongs to a fleet and which may have many ports */
+/** a ship, which belongs to a fleet and which may have many docks */
 abstract class InterpreterShip extends FleetTwoShip {
         
-    LinkedHashMap<String,InterpreterDock> ports = new LinkedHashMap<String,InterpreterDock>();
+    LinkedHashMap<String,InterpreterDock> docks = new LinkedHashMap<String,InterpreterDock>();
 
     /** You should instantiate a bunch of Inboxes and Outboxes in your constructor */
     public InterpreterShip(Interpreter fleet, ShipDescription sd) {
@@ -15,7 +15,7 @@ abstract class InterpreterShip extends FleetTwoShip {
     }
 
     public Iterator<Dock> iterator() {
-        return (Iterator<Dock>)(Object)ports.values().iterator();
+        return (Iterator<Dock>)(Object)docks.values().iterator();
     }
 
     /**
@@ -26,12 +26,12 @@ abstract class InterpreterShip extends FleetTwoShip {
     public abstract void service();
 
     public final void _service() {
-        for(InterpreterDock p : ports.values()) p.service();
+        for(InterpreterDock p : docks.values()) p.service();
         service();
     }
 
     public void reset() {
-        for(InterpreterDock p : ports.values())
+        for(InterpreterDock p : docks.values())
             p.reset();
     }