1 package edu.berkeley.fleet.demo;
2 import edu.berkeley.fleet.api.*;
3 import static edu.berkeley.fleet.api.Instruction.Set.*;
4 import edu.berkeley.fleet.interpreter.Interpreter;
8 public static void main(String[] s) {
10 Fleet fleet = new Interpreter(new String[] {
16 Ship alu = fleet.getShip("alu2", 0);
17 Ship debug = fleet.getShip("Debug", 0);
18 Dock debugIn = debug.getDock("in");
20 Instruction[] instructions = new Instruction[] {
21 new Instruction.Set(debugIn, false, Predicate.Default,
22 SetDest.DataLatch, 12),
23 new Instruction.Move(debugIn, false, Predicate.Default,
24 /* interruptible */ false,
28 /* latchData */ false,
29 /* latchPath */ false,
35 FleetProcess fp = fleet.run(instructions);
36 BitVector bv = fp.recvWord();
37 System.out.println(bv.toLong());