else if (c < 32 && c != 10 && c != 9 && c != 13) error("illegal XML character", Character.toString(c)); buf.append(c);
else if (input.xml11) { if (!isXML11Char(c) || isXML11RestrictedChar(c)) error("illegal XML 1.1 character", "U+" + Integer.toHexString(c)); } else if (!isChar(c)) error("illegal XML character", "U+" + Integer.toHexString(c)); buf.append(Character.toChars(c));
  private void readUntil(String delim)    throws IOException, XMLStreamException  {    int startLine = input.line;    try      {        while (!tryRead(delim))          {            char c = readCh();            if (c == '\uffff')              throw new EOFException();            else if (c < 32 && c != 10 && c != 9 && c != 13)              error("illegal XML character", Character.toString(c));            buf.append(c);          }      }    catch (EOFException e)      {        error("end of input while looking for delimiter "+              "(started on line " + startLine + ')', delim);      }  }