/** * This will read the next string from the stream. * * @return The string that was read from the stream, never null. * * @throws IOException If there is an error reading from the stream. */ protected String readString() throws IOException { skipSpaces(); StringBuilder buffer = new StringBuilder(); int c = seqSource.read(); while( !isEndOfName((char)c) && c != -1 ) { buffer.append( (char)c ); c = seqSource.read(); } if (c != -1) { seqSource.unread(c); } return buffer.toString(); }
else if (isEndOfName(ch))
/** * This will read the next string from the stream. * * @return The string that was read from the stream, never null. * * @throws IOException If there is an error reading from the stream. */ protected String readString() throws IOException { skipSpaces(); StringBuilder buffer = new StringBuilder(); int c = seqSource.read(); while( !isEndOfName((char)c) && c != -1 ) { buffer.append( (char)c ); c = seqSource.read(); } if (c != -1) { seqSource.unread(c); } return buffer.toString(); }
/** * This will read the next string from the stream. * * @return The string that was read from the stream, never null. * * @throws IOException If there is an error reading from the stream. */ protected String readString() throws IOException { skipSpaces(); StringBuilder buffer = new StringBuilder(); int c = seqSource.read(); while( !isEndOfName((char)c) && c != -1 ) { buffer.append( (char)c ); c = seqSource.read(); } if (c != -1) { seqSource.unread(c); } return buffer.toString(); }
else if (isEndOfName(ch))
else if (isEndOfName(ch))