diff options
| -rw-r--r-- | config/list/library.lst | 1 | ||||
| -rw-r--r-- | sources/scala/Interpreter.scala | 41 |
2 files changed, 0 insertions, 42 deletions
diff --git a/config/list/library.lst b/config/list/library.lst index 12ee5d6497..8d18a3c09d 100644 --- a/config/list/library.lst +++ b/config/list/library.lst @@ -7,7 +7,6 @@ $colon$colon.scala BufferedIterator.scala Cell.scala Except.scala -Interpreter.scala Iterator.scala Labelled.scala LinkedList.scala diff --git a/sources/scala/Interpreter.scala b/sources/scala/Interpreter.scala deleted file mode 100644 index c904c77c33..0000000000 --- a/sources/scala/Interpreter.scala +++ /dev/null @@ -1,41 +0,0 @@ -/* __ *\ -** ________ ___ / / ___ Scala API ** -** / __/ __// _ | / / / _ | (c) 2002, LAMP/EPFL ** -** __\ \/ /__/ __ |/ /__/ __ | ** -** /____/\___/_/ |_/____/_/ | | ** -** |/ ** -\* */ - -// $Id$ - -package scala; - -object Interpreter { - - def initialize: Boolean = true; - - def printValue(value: Any): Unit = { - if (value == null) - java.lang.System.out.print("null"); - else - java.lang.System.out.print(value.toString()); - } - - def showValue(value: Any, tp: String): Unit = { - printValue(value); - java.lang.System.out.print(": "); - java.lang.System.out.println(tp); - } - - def showDefinition(definition: String): Unit = { - java.lang.System.out.println(definition); - } - - def showValueDefinition(definition: String, value: Any): Unit = { - java.lang.System.out.print(definition); - java.lang.System.out.print(" = "); - printValue(value); - java.lang.System.out.println(); - } - -} |