1 package edu.berkeley.fleet.marina;
2 import edu.berkeley.fleet.api.*;
3 import edu.berkeley.fleet.two.*;
6 public class MarinaShip extends FleetTwoShip {
8 private HashSet<MarinaDock> docks = new HashSet<MarinaDock>();
10 public Iterator<Dock> iterator() { return (Iterator<Dock>)(Object)docks.iterator(); }
12 private MarinaFleet fleet;
14 /*package*/ void addDock(MarinaDock dock) { docks.add(dock); }
16 public MarinaShip(MarinaFleet fleet) {
21 public String getType() { return "MarinaShip"; }