removed SeqTrace stuff, is not needed by TransM...

removed SeqTrace stuff, is not needed by TransMatch any longer

4 files changed, 0 insertions, 121 deletions

diff --git a/sources/scala/Predef.scala b/sources/scala/Predef.scala
index 6ca233ab8c..21d97e653a 100644
--- a/sources/scala/Predef.scala
+++ b/sources/scala/Predef.scala
@@ -44,8 +44,4 @@ object Predef {
     type Triple[a, b, c] = Tuple3[a, b, c];
     def Triple[a, b, c](x: a, y: b, z: c) = Tuple3(x, y, z);
 
-  // temporary
-    type Trace[a] = SeqTrace[a];
-    type consTrace[a] = SeqTraceCons[a];
-    type emptyTrace[a] = SeqTraceNil[a];
 }
diff --git a/sources/scala/SeqTrace.scala b/sources/scala/SeqTrace.scala
deleted file mode 100644
index 6439f8889b..0000000000
--- a/sources/scala/SeqTrace.scala
+++ /dev/null
@@ -1,64 +0,0 @@
-/*                     __                                               *\
-**     ________ ___   / /  ___     Scala API                            **
-**    / __/ __// _ | / /  / _ |    (c) 2002-2003, LAMP/EPFL             **
-**  __\ \/ /__/ __ |/ /__/ __ |                                         **
-** /____/\___/_/ |_/____/_/ | |                                         **
-**                          |/                                          **
-\*                                                                      */
-
-// $Id$
-
-// needed for variable binding in pattern matching
-
-package scala;
-
-// special sequence list
-
-// run of a left-transducer that tags its input with states
-
-// needed for variable binding during matching
-
-abstract class SeqTrace[A] extends List[Pair[Int,A]] {
-
-    /*abstract*/ def isEmpty: Boolean;
-
-    /*abstract*/ def head: Pair[Int, A];
-
-    /*abstract*/ def headState: Int;
-
-    /*abstract*/ def headElem: A;
-
-    /*abstract*/ def tail: SeqTrace[A];
-
-/*
-    override def ::(zI: Int, za: A): SeqTrace[A] =
-       new SeqTraceCons(zI, za, this);
-*/
-    // why the f&&k do I need the .as cast ?
-
-    def add[A](state: Int, value: A): SeqTraceCons[A] =
-        SeqTraceCons[A](state, value, this.asInstanceOf[SeqTrace[A]]);
-
-    // this is copied verbatim from List... and SeqList
-/*
-    def mkString2(start: java.lang.String,
-		  sep: java.lang.String,
-		  end: java.lang.String): java.lang.String =
-        start +
-        (if (isEmpty) end
-         else if (tail.isEmpty) head.toString() + end
-         else head.toString().concat(sep).concat(
-             tail.mkString2("", sep, end)));
-*/
-/* BUG
-    override def mkString(start: java.lang.String,
-		     sep: java.lang.String,
-		     end: java.lang.String): java.lang.String =
-        start +
-        (if (isEmpty) end
-         else if (tail.isEmpty) head.toString() + end
-         else head.toString().concat(sep).concat(
-             tail.mkString("", sep, end)));
-*/
-
-}
diff --git a/sources/scala/SeqTraceCons.scala b/sources/scala/SeqTraceCons.scala
deleted file mode 100644
index 852f42c651..0000000000
--- a/sources/scala/SeqTraceCons.scala
+++ /dev/null
@@ -1,30 +0,0 @@
-/*                     __                                               *\
-**     ________ ___   / /  ___     Scala API                            **
-**    / __/ __// _ | / /  / _ |    (c) 2002-2003, LAMP/EPFL             **
-**  __\ \/ /__/ __ |/ /__/ __ |                                         **
-** /____/\___/_/ |_/____/_/ | |                                         **
-**                          |/                                          **
-\*                                                                      */
-
-// $Id$
-
-package scala;
-
-/** nonempty SeqTrace
-  */
-final case class SeqTraceCons[A](hdI: Int, hdb: A, tl: SeqTrace[A])
-    extends SeqTrace[A] {
-
-    def isEmpty = false;
-
-    def head = Pair(hdI, hdb);
-
-    def headState = hdI;
-
-    def headElem  = hdb;
-
-    def tail:SeqTrace[A] = tl;
-
-    //override def toString(): String = mkString2("[ ", "; ", " ]");
-
-}
diff --git a/sources/scala/SeqTraceNil.scala b/sources/scala/SeqTraceNil.scala
deleted file mode 100644
index f8117e58d8..0000000000
--- a/sources/scala/SeqTraceNil.scala
+++ /dev/null
@@ -1,23 +0,0 @@
-// BE
-
-package scala ;
-
-    // SeqNil (empty SeqList)
-
-    final case class SeqTraceNil[ c ]() extends SeqTrace[ c ]  {
-
-	  def isEmpty = true;
-
-	  def head: Tuple2[ Int, c ] = error("head of empty Trace");
-
-	  def headState: Int = error("headState of empty Trace");
-
-	  def headElem: c = error("headElem of empty Trace");
-
-	  def tail: SeqTraceNil[c] = error("tail of empty Trace");
-
-	  //override def toString(): String = "[]";
-
-    }
-
-