private void readChunk(String[] docNames, InputStream stream, int index, int size) throws IOException { String current = new String(readStreamChars(stream)); docNames[index++] = current; for (int i = 1; i < size; i++) { if (stream != null && this.bufferIndex + 2 >= this.bufferEnd) readStreamBuffer(stream); int start = this.streamBuffer[this.bufferIndex++] & 0xFF; int end = this.streamBuffer[this.bufferIndex++] & 0xFF; String next = new String(readStreamChars(stream)); if (start > 0) { if (end > 0) { int length = current.length(); next = current.substring(0, start) + next + current.substring(length - end, length); } else { next = current.substring(0, start) + next; } } else if (end > 0) { int length = current.length(); next = next + current.substring(length - end, length); } docNames[index++] = next; current = next; } } synchronized String readDocumentName(int docNumber) throws IOException {
private void readChunk(String[] docNames, InputStream stream, int index, int size) throws IOException { String current = new String(readStreamChars(stream)); docNames[index++] = current; for (int i = 1; i < size; i++) { if (stream != null && this.bufferIndex + 2 >= this.bufferEnd) readStreamBuffer(stream); int start = this.streamBuffer[this.bufferIndex++] & 0xFF; int end = this.streamBuffer[this.bufferIndex++] & 0xFF; String next = new String(readStreamChars(stream)); if (start > 0) { if (end > 0) { int length = current.length(); next = current.substring(0, start) + next + current.substring(length - end, length); } else { next = current.substring(0, start) + next; } } else if (end > 0) { int length = current.length(); next = next + current.substring(length - end, length); } docNames[index++] = next; current = next; } } synchronized String readDocumentName(int docNumber) throws IOException {
private void readChunk(String[] docNames, InputStream stream, int index, int size) throws IOException { String current = new String(readStreamChars(stream)); docNames[index++] = current; for (int i = 1; i < size; i++) { if (stream != null && this.bufferIndex + 2 >= this.bufferEnd) readStreamBuffer(stream); int start = this.streamBuffer[this.bufferIndex++] & 0xFF; int end = this.streamBuffer[this.bufferIndex++] & 0xFF; String next = new String(readStreamChars(stream)); if (start > 0) { if (end > 0) { int length = current.length(); next = current.substring(0, start) + next + current.substring(length - end, length); } else { next = current.substring(0, start) + next; } } else if (end > 0) { int length = current.length(); next = next + current.substring(length - end, length); } docNames[index++] = next; current = next; } } synchronized String readDocumentName(int docNumber) throws IOException {
private void readChunk(String[] docNames, InputStream stream, int index, int size) throws IOException { String current = new String(readStreamChars(stream)); docNames[index++] = current; for (int i = 1; i < size; i++) { if (stream != null && this.bufferIndex + 2 >= this.bufferEnd) readStreamBuffer(stream); int start = this.streamBuffer[this.bufferIndex++] & 0xFF; int end = this.streamBuffer[this.bufferIndex++] & 0xFF; String next = new String(readStreamChars(stream)); if (start > 0) { if (end > 0) { int length = current.length(); next = current.substring(0, start) + next + current.substring(length - end, length); } else { next = current.substring(0, start) + next; } } else if (end > 0) { int length = current.length(); next = next + current.substring(length - end, length); } docNames[index++] = next; current = next; } } synchronized String readDocumentName(int docNumber) throws IOException {
private void readChunk(String[] docNames, FileInputStream stream, int index, int size) throws IOException { String current = new String(readStreamChars(stream)); docNames[index++] = current; for (int i = 1; i < size; i++) { if (stream != null && this.bufferIndex + 2 >= this.bufferEnd) readStreamBuffer(stream); int start = this.streamBuffer[this.bufferIndex++] & 0xFF; int end = this.streamBuffer[this.bufferIndex++] & 0xFF; String next = new String(readStreamChars(stream)); if (start > 0) { if (end > 0) { int length = current.length(); next = current.substring(0, start) + next + current.substring(length - end, length); } else { next = current.substring(0, start) + next; } } else if (end > 0) { int length = current.length(); next = next + current.substring(length - end, length); } docNames[index++] = next; current = next; } } synchronized String readDocumentName(int docNumber) throws IOException {
private void readChunk(String[] docNames, InputStream stream, int index, int size) throws IOException { String current = new String(readStreamChars(stream)); docNames[index++] = current; for (int i = 1; i < size; i++) { if (stream != null && this.bufferIndex + 2 >= this.bufferEnd) readStreamBuffer(stream); int start = this.streamBuffer[this.bufferIndex++] & 0xFF; int end = this.streamBuffer[this.bufferIndex++] & 0xFF; String next = new String(readStreamChars(stream)); if (start > 0) { if (end > 0) { int length = current.length(); next = current.substring(0, start) + next + current.substring(length - end, length); } else { next = current.substring(0, start) + next; } } else if (end > 0) { int length = current.length(); next = next + current.substring(length - end, length); } docNames[index++] = next; current = next; } } synchronized String readDocumentName(int docNumber) throws IOException {
this.bufferEnd = stream.read(this.streamBuffer, 0, 128); try { char[] signature = readStreamChars(stream); if (!CharOperation.equals(signature, SIGNATURE_CHARS)) { throw new IOException(Messages.exception_wrongFormat);
this.bufferEnd = stream.read(this.streamBuffer, 0, 128); try { char[] signature = readStreamChars(stream); if (!CharOperation.equals(signature, SIGNATURE_CHARS)) { throw new IOException(Messages.exception_wrongFormat);
this.bufferEnd = stream.read(this.streamBuffer, 0, 128); try { char[] signature = readStreamChars(stream); if (!CharOperation.equals(signature, SIGNATURE_CHARS)) { throw new IOException(Messages.exception_wrongFormat);
this.bufferEnd = stream.read(this.streamBuffer, 0, 128); try { char[] signature = readStreamChars(stream); if (!CharOperation.equals(signature, SIGNATURE_CHARS)) { throw new IOException(Messages.exception_wrongFormat);
this.bufferEnd = stream.read(this.streamBuffer, 0, 128); try { char[] signature = readStreamChars(stream); if (!CharOperation.equals(signature, SIGNATURE_CHARS)) { throw new IOException(Messages.exception_wrongFormat);
this.bufferEnd = stream.read(this.streamBuffer, 0, 128); try { char[] signature = readStreamChars(stream); if (!CharOperation.equals(signature, SIGNATURE_CHARS)) { throw new IOException(Messages.exception_wrongFormat);
char[] word = readStreamChars(stream); int arrayOffset = readStreamInt(stream);
char[] word = readStreamChars(stream); int arrayOffset = readStreamInt(stream);
int offset = -1; for (int i = 0; i < size; i++) { char[] categoryName = INTERNED_CATEGORY_NAMES.get(readStreamChars(stream)); offset = readStreamInt(stream); this.categoryOffsets.put(categoryName, offset); // cache offset to category table
int offset = -1; for (int i = 0; i < size; i++) { char[] categoryName = INTERNED_CATEGORY_NAMES.get(readStreamChars(stream)); offset = readStreamInt(stream); this.categoryOffsets.put(categoryName, offset); // cache offset to category table
int offset = -1; for (int i = 0; i < size; i++) { char[] categoryName = INTERNED_CATEGORY_NAMES.get(readStreamChars(stream)); offset = readStreamInt(stream); this.categoryOffsets.put(categoryName, offset); // cache offset to category table
int offset = -1; for (int i = 0; i < size; i++) { char[] categoryName = INTERNED_CATEGORY_NAMES.get(readStreamChars(stream)); offset = readStreamInt(stream); this.categoryOffsets.put(categoryName, offset); // cache offset to category table
int offset = -1; for (int i = 0; i < size; i++) { char[] categoryName = INTERNED_CATEGORY_NAMES.get(readStreamChars(stream)); offset = readStreamInt(stream); this.categoryOffsets.put(categoryName, offset); // cache offset to category table
int offset = -1; for (int i = 0; i < size; i++) { char[] categoryName = INTERNED_CATEGORY_NAMES.get(readStreamChars(stream)); offset = readStreamInt(stream); this.categoryOffsets.put(categoryName, offset); // cache offset to category table