// //<EOF> test : EOF is always token 0.
// if ( p.token_source.getNextToken().kind != 0 )
// throw new JSONParseException("Trailing characters after "+item, item.getLine(), item.getColumn()) ;
}
catch (ParseException ex)
{ throw new JsonParseException(ex.getMessage(), ex.currentToken.beginLine, ex.currentToken.beginColumn) ; }
catch (TokenMgrError tErr)
{
// Last valid token : not the same as token error message - but this should not happen
int col = p.token.endColumn ;
int line = p.token.endLine ;
throw new JsonParseException(tErr.getMessage(), line, col) ;
}
}