diff options
author | michelou <michelou@epfl.ch> | 2003-07-16 08:16:48 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2003-07-16 08:16:48 +0000 |
commit | 9aaa79cdba130a6e22e9b761d5a1f78720a2a180 (patch) | |
tree | bcf0bb11728f7b0d527fd134239b7c7398ad55cc | |
parent | 280d025c7ee678e85d3945256e39441ef445a420 (diff) | |
download | scala-9aaa79cdba130a6e22e9b761d5a1f78720a2a180.tar.gz scala-9aaa79cdba130a6e22e9b761d5a1f78720a2a180.tar.bz2 scala-9aaa79cdba130a6e22e9b761d5a1f78720a2a180.zip |
indentation
-rw-r--r-- | sources/scala/SeqTraceCons.scala | 32 |
1 files changed, 20 insertions, 12 deletions
diff --git a/sources/scala/SeqTraceCons.scala b/sources/scala/SeqTraceCons.scala index 1ed1f6ec54..852f42c651 100644 --- a/sources/scala/SeqTraceCons.scala +++ b/sources/scala/SeqTraceCons.scala @@ -1,22 +1,30 @@ -package scala; +/* __ *\ +** ________ ___ / / ___ Scala API ** +** / __/ __// _ | / / / _ | (c) 2002-2003, LAMP/EPFL ** +** __\ \/ /__/ __ |/ /__/ __ | ** +** /____/\___/_/ |_/____/_/ | | ** +** |/ ** +\* */ - /** nonempty SeqTrace - */ - final case class SeqTraceCons[ b ]( hdI:Int, hdb:b, tl: SeqTrace[ b ] ) - extends SeqTrace[ b ] { +// $Id$ - def isEmpty = false; +package scala; - def head = Tuple2( hdI, hdb ); +/** nonempty SeqTrace + */ +final case class SeqTraceCons[A](hdI: Int, hdb: A, tl: SeqTrace[A]) + extends SeqTrace[A] { - def headState = hdI; + def isEmpty = false; - def headElem = hdb; + def head = Pair(hdI, hdb); - def tail:SeqTrace[ b ] = tl; + def headState = hdI; - //override def toString(): String = mkString2("[ ", "; ", " ]"); + def headElem = hdb; - } + def tail:SeqTrace[A] = tl; + //override def toString(): String = mkString2("[ ", "; ", " ]"); +} |