498499500501502503504505506507508
return result; InputStream input = directory.openFile("deletable"); try { for (int i = input.readInt(); i > 0; i--) // read file names result.addElement(input.readString()); } finally { input.close(); } return result; }
6869707172737475
0x06, 'L', 'u', 'c', 'e', 'n', 'e'}); assertEquals(128,is.readVInt()); assertEquals(16383,is.readVInt()); assertEquals(16384,is.readVInt()); assertEquals(16385,is.readVInt()); assertEquals("Lucene",is.readString()); } }
7273747576777879808182
InputStream input = directory.openFile("segments"); try { counter = input.readInt(); // read counter for (int i = input.readInt(); i > 0; i--) { // read segmentInfos SegmentInfo si = new SegmentInfo(input.readString(), input.readInt(), directory); addElement(si); } if (input.getFilePointer() >= input.length()) version = 0; // old file format without version number else
5152535455565758596061
counter = format; } for (int i = input.readInt(); i > 0; i--) { // read segmentInfos SegmentInfo si = new SegmentInfo(input.readString(), input.readInt(), directory); addElement(si); } if(format >= 0){ // in old format the version number may be at the end of the file if (input.getFilePointer() >= input.length())
558559560561562563564565566567568
3031323334353637
7071727374757677787980
public final void read(Directory directory) throws IOException { InputStream input = directory.openFile("segments"); try { counter = input.readInt(); // read counter for (int i = input.readInt(); i > 0; i--) { // read segmentInfos SegmentInfo si = new SegmentInfo(input.readString(), input.readInt(), directory); addElement(si); } } finally { input.close();
378379380381382383384385386387388