diff options
author | Matthias Zenger <mzenger@gmail.com> | 2003-02-20 11:40:08 +0000 |
---|---|---|
committer | Matthias Zenger <mzenger@gmail.com> | 2003-02-20 11:40:08 +0000 |
commit | bf1f3aa0291490155c35fdcf496000c7d77fdc31 (patch) | |
tree | f96d278309ce6876cf6564d41ca4fc4ea1eca235 | |
parent | 77ef6d42792bfdb5bf3fcb8232a47f7affe61a56 (diff) | |
download | scala-bf1f3aa0291490155c35fdcf496000c7d77fdc31.tar.gz scala-bf1f3aa0291490155c35fdcf496000c7d77fdc31.tar.bz2 scala-bf1f3aa0291490155c35fdcf496000c7d77fdc31.zip |
File needed for generated pattern matching code.
-rw-r--r-- | sources/scala/MatchError.java | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/sources/scala/MatchError.java b/sources/scala/MatchError.java new file mode 100644 index 0000000000..6d8b827476 --- /dev/null +++ b/sources/scala/MatchError.java @@ -0,0 +1,26 @@ +/* __ *\ +** ________ ___ / / ___ Scala API ** +** / __/ __// _ | / / / _ | (c) 2002, LAMP/EPFL ** +** __\ \/ /__/ __ |/ /__/ __ | ** +** /____/\___/_/ |_/____/_/ | | ** +** |/ ** +** ** +** $Id$ +\* */ + +package scala; + +public class MatchError extends Error { + + /** @meta constr (java.lang.String, scala.Int); + */ + public MatchError(java.lang.String source, int line) { + super(" in '" + source + "' at line " + line); + } + + /** @meta method [?T](java.lang.String, scala.Int) ?T; + */ + public static java.lang.Object fail(java.lang.String source, int line) { + throw new MatchError(source, line); + } +} |