home *** CD-ROM | disk | FTP | other *** search
- package netscape.javascript;
-
- public class JSException extends Exception {
- String filename;
- int lineno;
- String source;
- int tokenIndex;
-
- public JSException() {
- this.filename = "unknown";
- this.lineno = 0;
- this.source = "";
- this.tokenIndex = 0;
- }
-
- public JSException(String s) {
- super(s);
- this.filename = "unknown";
- this.lineno = 0;
- this.source = "";
- this.tokenIndex = 0;
- }
-
- public JSException(String s, String filename, int lineno, String source, int tokenIndex) {
- super(s);
- this.filename = filename;
- this.lineno = lineno;
- this.source = source;
- this.tokenIndex = tokenIndex;
- }
- }
-