(String srcName, String msg, Token templateToken, RecognitionException e)
| 93 | } |
| 94 | |
| 95 | public void lexerError(String srcName, String msg, Token templateToken, RecognitionException e) { |
| 96 | if ( srcName!=null ) srcName = Misc.getFileName(srcName); |
| 97 | listener.compileTimeError(new STLexerMessage(srcName, msg, templateToken, e)); |
| 98 | } |
| 99 | |
| 100 | public void compileTimeError(ErrorType error, Token templateToken, Token t, Object arg) { |
| 101 | String srcName = t.getInputStream().getSourceName(); |