1 package edu.berkeley.fleet.marina;
2 import edu.berkeley.fleet.api.*;
3 import edu.berkeley.fleet.two.*;
4 import edu.berkeley.fleet.*;
7 public class MarinaFleet extends FleetTwoFleet {
9 MarinaShip fakeShip = new MarinaShip(this);
10 MarinaDock onlyDock = new MarinaDock(fakeShip, true);
12 public MarinaFleet() {
13 // use "internal encoding"
17 public BitVector encodeInstruction(Dock dispatchFrom, Instruction instruction) {
18 return encodeInstruction(instruction, dispatchFrom);
21 public Iterator<Ship> iterator() {
22 HashSet hs = new HashSet<Ship>();
27 public Ship getShip(String type, int ordinal) {
28 throw new RuntimeException("not implemented");
31 public FleetProcess run(Instruction[] instructions) {
32 throw new RuntimeException("not implemented");
35 public BitVector getDestAddr(Path path) {
36 if (path==null) return new BitVector(0);
37 return ((MarinaPath)path).bv;
40 public Dock getOnlyInputDock() {