private object yyparseSafe (Tokenizer tok, object yyDebug)
{
try
{
_tokenizer = tok;
return yyparse (tok, yyDebug);
}
catch (XQueryException)
{
throw;
}
catch (Exception)
{
throw new XQueryException ("{2} at line {1} pos {0}", tok.ColNo, tok.LineNo, errorText.ToString());
}
}
public static object ParseExternal(string publicId, string systemId, string baseUri)
{
Tokenizer tok = new Tokenizer(publicId, systemId, baseUri);
DTDParser parser = new DTDParser();
return parser.yyparseSafe(tok);
}
public static object ParseInline(string documentType, string baseUri)
{
Tokenizer tok = new Tokenizer(baseUri, documentType);
DTDParser parser = new DTDParser();
return parser.yyparseSafe(tok);
}
private object yyparseDebug (Tokenizer tok)
{
return yyparseSafe (tok, new yydebug.yyDebugSimple ());
}
private object yyparseSafe (Tokenizer tok)
{
return yyparseSafe (tok, null);
}