//getCtrsFlags(marina);
+ int nbToks = marina.getNumTokens();
+ fatal(nbToks!=0, "Expected no tokens on initialization but got: "+nbToks+" tokens");
+
prln("send token");
marina.instrIn.fill(
new Instruction.Move(DOCK,
- Predicate.IgnoreFlagD, /* predicate */
+ Predicate.IgnoreFlagD, /* predicate */
false, /* torpedoable */
null, /* path */
false, /* tokenIn */
//getCtrsFlags(marina);
- int nbToks = marina.getNumTokens();
+ nbToks = marina.getNumTokens();
fatal(nbToks!=1, "Expected one token to emerge but got: "+nbToks+" tokens");
adjustIndent(-2);
marina.instrIn.fill(new Instruction.Set(DOCK,Predicate.IgnoreFlagD, CLEAR_FLAG, CLEAR_FLAG));
marina.instrIn.fill(new Instruction.Move(DOCK,
- Predicate.IgnoreFlagD, /* predicate */
+ Predicate.IgnoreFlagD, /* predicate */
true, /* torpedoable */
null, /* path */
false, /* tokenIn */