164165166167168169170171172
protected final void raiseException(RiotParseException ex) { ErrorHandler errorHandler = profile.getHandler() ; if ( errorHandler != null ) errorHandler.fatal(ex.getOriginalMessage(), ex.getLine(), ex.getCol()) ; throw ex ; } }