private String readDTDLocalName(char c, boolean checkChar) throws XMLStreamException { /* Let's just check this first, to get better error msg * (parseLocalName() will double-check it too) */ if (checkChar && !isNameStartChar(c)) { throwDTDUnexpectedChar(c, "; expected an identifier"); } return parseLocalName(c); }
private String readDTDName(char c) throws XMLStreamException { // Let's just check this before trying to parse the id... if (!isNameStartChar(c)) { throwDTDUnexpectedChar(c, "; expected an identifier"); } return parseFullName(c); }
/** * @return True, if input contains 'PUBLIC' keyword; false if it * contains 'SYSTEM'; otherwise throws an exception. */ private boolean checkPublicSystemKeyword(char c) throws XMLStreamException { String errId; if (c == 'P') { errId = checkDTDKeyword("UBLIC"); if (errId == null) { return true; } errId = "P" + errId; } else if (c == 'S') { errId = checkDTDKeyword("YSTEM"); if (errId == null) { return false; } errId = "S" + errId; } else { if (!isNameStartChar(c)) { throwDTDUnexpectedChar(c, "; expected 'PUBLIC' or 'SYSTEM' keyword"); } errId = readDTDKeyword(String.valueOf(c)); } _reportWFCViolation("Unrecognized keyword '"+errId+"'; expected 'PUBLIC' or 'SYSTEM'"); return false; // never gets here }
if (isNameStartChar(c)) { name = readDTDLocalName(c, false); c = skipObligatoryDtdWs();
} else if (isNameStartChar(c)) { do { // dummy loop to allow break: String keyw = null;
if (!isNameStartChar(d)) { throwDTDUnexpectedChar(d, "; expected a space (for PE declaration) or PE reference name"); if (!isNameStartChar(c)) { throwDTDUnexpectedChar(c, "; expected either quoted value, or keyword 'PUBLIC' or 'SYSTEM'");
private String readDTDName(char c) throws XMLStreamException { // Let's just check this before trying to parse the id... if (!isNameStartChar(c)) { throwDTDUnexpectedChar(c, "; expected an identifier"); } return parseFullName(c); }
private String readDTDLocalName(char c, boolean checkChar) throws XMLStreamException { /* Let's just check this first, to get better error msg * (parseLocalName() will double-check it too) */ if (checkChar && !isNameStartChar(c)) { throwDTDUnexpectedChar(c, "; expected an identifier"); } return parseLocalName(c); }
private String readDTDName(char c) throws XMLStreamException { // Let's just check this before trying to parse the id... if (!isNameStartChar(c)) { throwDTDUnexpectedChar(c, "; expected an identifier"); } return parseFullName(c); }
private String readDTDLocalName(char c, boolean checkChar) throws XMLStreamException { /* Let's just check this first, to get better error msg * (parseLocalName() will double-check it too) */ if (checkChar && !isNameStartChar(c)) { throwDTDUnexpectedChar(c, "; expected an identifier"); } return parseLocalName(c); }
private String readDTDName(char c) throws XMLStreamException { // Let's just check this before trying to parse the id... if (!isNameStartChar(c)) { throwDTDUnexpectedChar(c, "; expected an identifier"); } return parseFullName(c); }
private String readDTDName(char c) throws IOException, XMLStreamException { // Let's just check this before trying to parse the id... if (!isNameStartChar(c)) { throwDTDUnexpectedChar(c, "; expected an identifier"); } return parseFullName(c); }
private String readDTDLocalName(char c, boolean checkChar) throws IOException, XMLStreamException { /* Let's just check this first, to get better error msg * (parseLocalName() will double-check it too) */ if (checkChar && !isNameStartChar(c)) { throwDTDUnexpectedChar(c, "; expected an identifier"); } return parseLocalName(c); }
private String readDTDLocalName(char c, boolean checkChar) throws XMLStreamException { /* Let's just check this first, to get better error msg * (parseLocalName() will double-check it too) */ if (checkChar && !isNameStartChar(c)) { throwDTDUnexpectedChar(c, "; expected an identifier"); } return parseLocalName(c); }
private String readDTDLocalName(char c, boolean checkChar) throws XMLStreamException { /* Let's just check this first, to get better error msg * (parseLocalName() will double-check it too) */ if (checkChar && !isNameStartChar(c)) { throwDTDUnexpectedChar(c, "; expected an identifier"); } return parseLocalName(c); }
private String readDTDName(char c) throws IOException, XMLStreamException { // Let's just check this before trying to parse the id... if (!isNameStartChar(c)) { throwDTDUnexpectedChar(c, "; expected an identifier"); } return parseFullName(c); }
private String readDTDName(char c) throws IOException, XMLStreamException { // Let's just check this before trying to parse the id... if (!isNameStartChar(c)) { throwDTDUnexpectedChar(c, "; expected an identifier"); } return parseFullName(c); }
private String readDTDLocalName(char c, boolean checkChar) throws IOException, XMLStreamException { /* Let's just check this first, to get better error msg * (parseLocalName() will double-check it too) */ if (checkChar && !isNameStartChar(c)) { throwDTDUnexpectedChar(c, "; expected an identifier"); } return parseLocalName(c); }
if (isNameStartChar(c)) { continue;
if (!isNameStartChar(c)) { throwDTDUnexpectedChar(c, "; expected either NDATA keyword, or closing '>'");