From bf1f3aa0291490155c35fdcf496000c7d77fdc31 Mon Sep 17 00:00:00 2001 From: Matthias Zenger Date: Thu, 20 Feb 2003 11:40:08 +0000 Subject: File needed for generated pattern matching code. --- sources/scala/MatchError.java | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 sources/scala/MatchError.java 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); + } +} -- cgit v1.2.3