public class MarinaFleet extends FleetTwoFleet {
- private MarinaShip fakeShip = new MarinaShip(this);
- private MarinaDock onlyDock = new MarinaDock(fakeShip, true);
+ MarinaShip fakeShip = new MarinaShip(this);
+ MarinaDock onlyDock = new MarinaDock(fakeShip, true);
public MarinaFleet() {
// use "internal encoding"
}
public BitVector getDestAddr(Path path) {
- return new BitVector(0);
+ if (path==null) return new BitVector(0);
+ return ((MarinaPath)path).bv;
}
public Dock getOnlyInputDock() {
--- /dev/null
+package edu.berkeley.fleet.marina;
+import edu.berkeley.fleet.api.*;
+import edu.berkeley.fleet.two.*;
+
+public class MarinaPath extends FleetTwoPath {
+
+ private final MarinaFleet marina;
+ final BitVector bv;
+
+ public MarinaPath(MarinaFleet marina, BitVector bv) {
+ this.marina = marina;
+ this.bv = bv;
+ bv.setImmutable();
+ }
+
+ public String toString() { return "MarinaPath("+bv+")"; }
+
+ public BitVector getSignal() {
+ throw new RuntimeException("not implemented");
+ }
+
+ public Dock getSource() { return marina.onlyDock; }
+ public Destination getDestination() {
+ throw new RuntimeException("not implemented");
+ }
+ public int getBufferingAmount() { return 1; }
+ public int getLatencyMetric() { return 0; }
+
+}
+