requireWhitespace (); nname = readNmtoken (true);  if (nname.indexOf(':') >= 0) error ("Illegal character(':') in notation name ", nname, null); requireWhitespace ();
ids = readExternalIds(true, false);
    private void parseNotationDecl ()    throws Exception    {	String nname, ids[];	requireWhitespace ();	nname = readNmtoken (true);        //NE08	if (nname.indexOf(':') >= 0)           error ("Illegal character(':') in notation name ", nname, null);	requireWhitespace ();	// Read the external identifiers.	ids = readExternalIds (true, false);	// Register the notation.	setNotation (nname, ids);	skipWhitespace ();	require ('>');    }