public String[] listAll() {ensureOpen();String[] res = entries.keySet().toArray(new String[entries.size()]);for (int i = 0; i < res.length; i++) {res[i] = segmentName + res[i];}return res;}

public override string[] ListAll(){EnsureOpen();string[] res;if (writer != null){res = writer.ListAll();}else{res = entries.Keys.ToArray();string seg = IndexFileNames.ParseSegmentName(fileName);for (int i = 0; i < res.Length; i++){res[i] = seg + res[i];}}return res;}
