+ MarinaShip fakeShip = new MarinaShip(this);
+ MarinaDock onlyDock = new MarinaDock(fakeShip, true);
+
+ public BitVector encodeInstruction(Dock dispatchFrom, Instruction instruction) {
+ return encodeInstruction(instruction, dispatchFrom);
+ }
+
+ public Iterator<Ship> iterator() {
+ HashSet hs = new HashSet<Ship>();
+ hs.add(fakeShip);
+ return hs.iterator();
+ }
+
+ public Ship getShip(String type, int ordinal) {
+ throw new RuntimeException("not implemented");
+ }
+
+ public FleetProcess run(Instruction[] instructions) {
+ throw new RuntimeException("not implemented");
+ }
+
+ public BitVector getDestAddr(Path path) {
+ if (path==null) return new BitVector(0);
+ return ((MarinaPath)path).bv;
+ }
+
+ public Dock getOnlyDock() {
+ return onlyDock;
+ }
+
+ ////////////////////////////////////////////////////////////////////////////////