src/edu/berkeley/fleet/marina/MarinaShip.java

   1 package edu.berkeley.fleet.marina;
   2 import edu.berkeley.fleet.api.*;
   3 import edu.berkeley.fleet.two.*;
   4 import java.util.*;
   5
   6 public class MarinaShip extends FleetTwoShip {
   7
   8     private HashSet<MarinaDock> docks = new HashSet<MarinaDock>();
   9
  10     public Iterator<Dock> iterator() { return (Iterator<Dock>)(Object)docks.iterator(); }
  11
  12     private Marina fleet;
  13
  14     /*package*/ void addDock(MarinaDock dock) { docks.add(dock); }
  15
  16     public MarinaShip(Marina fleet) {
  17         super(fleet, null);
  18         this.fleet = fleet;
  19     }
  20
  21     public String getType() { return "MarinaShip"; }
  22 }
  23