void parseExternalIdentifier() throws IOException {
  if (parseIdentifier(false)) {
    String id=getString(0);
    skipParameterSpace();
    if (id.equals("PUBLIC")) {
      if ((ch == '\'') || (ch == '"')) {
        parseAttributeValueSpecification();
      }
 else {
        error("expected","public identifier");
      }
      skipParameterSpace();
    }
 else     if (!id.equals("SYSTEM")) {
      error("invalid","external identifier");
    }
    if ((ch == '\'') || (ch == '"')) {
      parseAttributeValueSpecification();
    }
    skipParameterSpace();
  }
}

void parseExternalIdentifier ( ) throws IOException { if ( parseIdentifier ( false ) ) { String id = getString ( 0 ) ; skipParameterSpace ( ) ; if ( id . equals ( "PUBLIC" ) ) { if ( ( ch == '\'' ) || ( ch == '"' ) ) { parseAttributeValueSpecification ( ) ; } else { error ( "expected" , "public identifier" ) ; } skipParameterSpace ( ) ; } else if ( ! id . equals ( "SYSTEM" ) ) { error ( "invalid" , "external identifier" ) ; } if ( ( ch == '\'' ) || ( ch == '"' ) ) { parseAttributeValueSpecification ( ) ; } skipParameterSpace ( ) ; } }
parse an external identifier [ 73 ] 379 : 1
