writeAnnotations_(annotations, writeNewLine = this.prettyPrint_) {
    if (annotations.length > 0) {
      this.writeList_(annotations, '', writeNewLine);
      if (writeNewLine)
        this.writeln_();
    }
  }
@param {Array.<ParseTree>} annotations
@param {boolean} writeNewLine
@private