// Instruction Encoding /////////////////////////////////////////////////////////////////////////
- public Dock getUniversalSource() {
- // FIXME
- return debugShip.getDock("in");
- }
-
public long getDestAddr(Path path) {
- // FIXME
- throw new RuntimeException();
- }
- public Path getPathByAddr(Dock source, long dest) {
- // FIXME
- throw new RuntimeException();
+ long ret = ((InterpreterDestination)path.getDestination()).addr;
+ BitVector bv = path.getSignal();
+ if (bv.length() > 1) throw new RuntimeException();
+ if (bv.length() > 0 && bv.get(0)) ret |= 1;
+ return ret;
}