home *** CD-ROM | disk | FTP | other *** search
- package webeq3.parser.mathml;
-
- import webeq3.util.ErrorHandler;
- import webeq3.util.OutputHandler;
-
- public class ParseException extends Exception {
- // $FF: renamed from: tk webeq3.parser.mathml.Tokenizer
- Tokenizer field_0;
-
- public ParseException(String var1, Tokenizer var2) {
- super(var1);
- this.field_0 = var2;
- }
-
- public void printError(ErrorHandler var1) {
- ((OutputHandler)var1).println(((Throwable)this).getMessage());
- if (this.field_0 != null) {
- this.field_0.printError(var1);
- }
-
- }
- }
-