diff options
author | Matthias Zenger <mzenger@gmail.com> | 2004-01-12 15:29:06 +0000 |
---|---|---|
committer | Matthias Zenger <mzenger@gmail.com> | 2004-01-12 15:29:06 +0000 |
commit | 5e6ded3a4a37d50d492aa5ab29690ec77346b336 (patch) | |
tree | 0111e2db0cd0b64dfd917362b1bbb7e096182eb7 | |
parent | 84f0da94d536e5857a301363aa6f739fde2bbf5b (diff) | |
download | scala-5e6ded3a4a37d50d492aa5ab29690ec77346b336.tar.gz scala-5e6ded3a4a37d50d492aa5ab29690ec77346b336.tar.bz2 scala-5e6ded3a4a37d50d492aa5ab29690ec77346b336.zip |
*** empty log message ***
-rw-r--r-- | sources/scala/Executable.scala | 50 |
1 files changed, 0 insertions, 50 deletions
diff --git a/sources/scala/Executable.scala b/sources/scala/Executable.scala deleted file mode 100644 index 516a902368..0000000000 --- a/sources/scala/Executable.scala +++ /dev/null @@ -1,50 +0,0 @@ -/* __ *\ -** ________ ___ / / ___ Scala API ** -** / __/ __// _ | / / / _ | (c) 2002, LAMP/EPFL ** -** __\ \/ /__/ __ |/ /__/ __ | ** -** /____/\___/_/ |_/____/_/ | | ** -** |/ ** -\* */ - -package scala; - - -/** The <code>Executable</code> class can be used to quickly turn objects - * into executable programs. Here is an example: - * <pre> - * object Main with Executable { - * Console.println("Hello World!"); - * } - * </pre> - * Here, object <code>Main</code> inherits the <code>main</code> method - * of <code>Executable</code>. The body of the <code>Main</code> object - * defines the main program. This technique does not work if the main - * program depends on command-line arguments (which are not accessible - * with the technique presented here). - * - * It is possible to time the execution of objects that inherit from - * class <code>Executable</code> by setting the global scala.time property. - * Here is an example for benchmarking object <code>Main</code>: - * <pre> - * java -Dscala.time Main - * </pre> - * - * @author Matthias Zenger - * @version 1.0, 10/09/03 - */ - -class Executable { - - /** The time when execution of this program started. - */ - val executionStart: Long = java.lang.System.currentTimeMillis(); - - /** The default main method. - */ - def main(args: Array[String]) = { - if (java.lang.System.getProperty("scala.time") != null) - java.lang.System.out.println("[total " + - (java.lang.System.currentTimeMillis() - - executionStart) + "ms]"); - } -} |