{ int i, j; for (i = 0, j = readBufferPos; i < count; i++, j++) { char c = (char) (rawReadBuffer [i] & 0xff); if ((c & mask) != 0) throw new CharConversionException ("non-ASCII character U+" + Integer.toHexString (c)); if (c == 0x0085 && xmlVersion == XML_11) c = '\r'; readBuffer [j] = c; if (c == '\r') { sawCR = true; } } readBufferLength = j; }
{ int i, j; for (i = 0, j = readBufferPos; i < count; i++, j++) { char c = (char) (rawReadBuffer[i] & 0xff); if ((c & mask) != 0) { throw new CharConversionException("non-ASCII character U+" + Integer.toHexString(c)); } if (c == 0x0085 && xmlVersion == XML_11) { c = '\r'; } readBuffer[j] = c; if (c == '\r') { sawCR = true; } } readBufferLength = j; }
    private void copyIso8859_1ReadBuffer (int count, char mask)    throws IOException    {	int i, j;	for (i = 0, j = readBufferPos; i < count; i++, j++) {	    char c = (char) (rawReadBuffer [i] & 0xff);	    if ((c & mask) != 0)		throw new CharConversionException ("non-ASCII character U+"						    + Integer.toHexString (c));	    if (c == 0x0085 && xmlVersion == XML_11)	       c = '\r';		    readBuffer [j] = c;	    if (c == '\r') {		sawCR = true;	    }	}	readBufferLength = j;    }