1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/src/Pure/library.scala Sat Dec 19 16:02:26 2009 +0100
1.3 @@ -0,0 +1,24 @@
1.4 +/* Title: Pure/library.scala
1.5 + Author: Makarius
1.6 +
1.7 +Basic library.
1.8 +*/
1.9 +
1.10 +package isabelle
1.11 +
1.12 +import java.lang.System
1.13 +
1.14 +
1.15 +object Library
1.16 +{
1.17 + /* timing */
1.18 +
1.19 + def timeit[A](e: => A) =
1.20 + {
1.21 + val start = System.currentTimeMillis()
1.22 + val result = Exn.capture(e)
1.23 + val stop = System.currentTimeMillis()
1.24 + System.err.println((stop - start) + "ms elapsed time")
1.25 + Exn.release(result)
1.26 + }
1.27 +}