code: func (r *SegmentReader) String() string {
  	// SegmentInfo.toString takes dir and number of
  	// *pending* deletions; so we reverse compute that here:
  	return r.si.StringOf(r.si.Info.Dir, r.si.Info.DocCount()-r.numDocs-r.si.DelCount())
  }
docs: // SegmentReader.java L179