diff options
author | buraq <buraq@epfl.ch> | 2003-08-25 17:18:30 +0000 |
---|---|---|
committer | buraq <buraq@epfl.ch> | 2003-08-25 17:18:30 +0000 |
commit | 7590404f80afa001fc18fd9124e234e42ef0910b (patch) | |
tree | 30910dbf45d098fb4dcc12e8e6ba911b89c4bc41 | |
parent | 6dbb85aa0339a4bb7f9206acfc0823cc2bac1d59 (diff) | |
download | scala-7590404f80afa001fc18fd9124e234e42ef0910b.tar.gz scala-7590404f80afa001fc18fd9124e234e42ef0910b.tar.bz2 scala-7590404f80afa001fc18fd9124e234e42ef0910b.zip |
removed SeqTrace stuff, is not needed by TransM...
removed SeqTrace stuff, is not needed by TransMatch any longer
-rw-r--r-- | sources/scala/Predef.scala | 4 | ||||
-rw-r--r-- | sources/scala/SeqTrace.scala | 64 | ||||
-rw-r--r-- | sources/scala/SeqTraceCons.scala | 30 | ||||
-rw-r--r-- | sources/scala/SeqTraceNil.scala | 23 |
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 = "[]"; - - } - - |