Dock dock = marina.getOnlyInputDock();
Instruction sendTokenInstruction =
new Instruction.Move(dock,
- null, /* path */
- false, /* tokenIn */
- false, /* dataIn */
- false, /* latchData */
- false, /* latchPath */
- false, /* dataOut */
- true /* tokenOut */
+ true, /* requeueing */
+ Predicate.IgnoreOLC, /* predicate */
+ false, /* torpedoable */
+ null, /* path */
+ false, /* tokenIn */
+ false, /* dataIn */
+ false, /* latchData */
+ false, /* latchPath */
+ false, /* dataOut */
+ true /* tokenOut */
);
edu.berkeley.fleet.api.BitVector bits =
marina.encodeInstruction(dock, /* dispatch dock -- irrelevant for MARINA */
BitVector bitVector = new BitVector(INSTR_SZ, "instr");
for(int i=0; i<INSTR_SZ; i++) bitVector.set(i, bits.get(i));
-// // override to check OLC==0 predicate encoding
-// bitVector.set(35, false);
-
inDock.instrIn.fill(bitVector);
/* FIXME: check to see if the token actually emerges! */