diff options
author | paltherr <paltherr@epfl.ch> | 2003-05-13 11:50:48 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2003-05-13 11:50:48 +0000 |
commit | 135fc297cb203a0e533ffee560fcfddeb6017dc8 (patch) | |
tree | e288a8043bca8e8f4acc54ec54362a12c43edf18 | |
parent | 23d5c3f8043166017002d27dc0a30a6cefd144f1 (diff) | |
download | scala-135fc297cb203a0e533ffee560fcfddeb6017dc8.tar.gz scala-135fc297cb203a0e533ffee560fcfddeb6017dc8.tar.bz2 scala-135fc297cb203a0e533ffee560fcfddeb6017dc8.zip |
- Removed Interpreter.java
-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(); - } - -} |