diff options
Diffstat (limited to 'gnu/java/util/regex/REException.java')
-rw-r--r-- | gnu/java/util/regex/REException.java | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gnu/java/util/regex/REException.java b/gnu/java/util/regex/REException.java index 4104fbcd8..7a277ca3a 100644 --- a/gnu/java/util/regex/REException.java +++ b/gnu/java/util/regex/REException.java @@ -147,6 +147,12 @@ public class REException extends Exception { this.pos = position; } + REException(String msg, Throwable cause, int type, int position) { + super(msg, cause); + this.type = type; + this.pos = position; + } + /** * Returns the type of the exception, one of the constants listed above. */ |