if (this.allowScanning) {
if (allowScanning) {
  public void show() {    Log.write("cursor = "); Log.write(cursor);    if (this.allowScanning) {      Log.write(" region = "); Log.write(region);    }    Log.write(" limit = "); Log.writeln(limit);  }