super(dock, predicate);
if (!dock.isInputDock()) throw new RuntimeException("Flush is only allowed at input docks");
}
- public String toString() { return super.toString()+"flush"; }
+ public String toString() { return super.toString()+"flush;"; }
}
/** all communication is performed with this instruction */