diff options
Diffstat (limited to 'src/compiler/scala/tools/util/Timer.java')
-rw-r--r-- | src/compiler/scala/tools/util/Timer.java | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/src/compiler/scala/tools/util/Timer.java b/src/compiler/scala/tools/util/Timer.java deleted file mode 100644 index df60d580ae..0000000000 --- a/src/compiler/scala/tools/util/Timer.java +++ /dev/null @@ -1,27 +0,0 @@ -/* ____ ____ ____ ____ ______ *\ -** / __// __ \/ __// __ \/ ____/ SOcos COmpiles Scala ** -** __\_ \/ /_/ / /__/ /_/ /\_ \ (c) 2002, LAMP/EPFL ** -** /_____/\____/\___/\____/____/ ** -\* */ - -// $Id$ - -package scala.tools.util; - -/** This interface provides methods to collect timings. */ -public interface Timer { - - //######################################################################## - // Public Methods - - /** Starts a new timer. */ - public void start(); - - /** Stops the current timer. */ - public void stop(String message); - - /** Drops the current timer. */ - public void drop(); - - //######################################################################## -} |