From 19fc983838776960ba83232240a6ac4eca902d6f Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Mon, 7 Mar 2016 17:41:27 +0100
Subject: [PATCH] Remove unused files
---
src/main/scala/leon/Stopwatch.scala | 81 ----------------------
src/main/scala/leon/utils/DebugFiles.scala | 3 -
2 files changed, 84 deletions(-)
delete mode 100644 src/main/scala/leon/Stopwatch.scala
delete mode 100644 src/main/scala/leon/utils/DebugFiles.scala
diff --git a/src/main/scala/leon/Stopwatch.scala b/src/main/scala/leon/Stopwatch.scala
deleted file mode 100644
index 5168bfba6..000000000
--- a/src/main/scala/leon/Stopwatch.scala
+++ /dev/null
@@ -1,81 +0,0 @@
-/* Copyright 2009-2015 EPFL, Lausanne */
-
-package leon
-
-class StopwatchCollection(name: String) {
- var acc: Long = 0L
-
- var stopwatches = List[Stopwatch]()
-
- def +=(sw: Stopwatch) = synchronized { acc += sw.getMillis }
-
- def getMillis = {
- val running =
- (0L /: stopwatches) {
- (res, sw) => res + sw.getMillis
- }
-
- acc + running
- }
-
- def newStopwatch = {
- val result = new Stopwatch()
- stopwatches :+= result
- result
- }
-
- override def toString = f"$name%20s: ${acc}%5dms"
-}
-
-/** Implements a stopwatch for profiling purposes */
-class Stopwatch(name: String = "Stopwatch") {
- var beginning: Long = 0L
- var end: Long = 0L
- var acc: Long = 0L
-
- def start: this.type = {
- beginning = System.currentTimeMillis
- end = 0L
- this
- }
-
- def stop() {
- end = System.currentTimeMillis
- acc += (end - beginning)
- beginning = 0L
- }
-
- def getMillis: Long = {
- if (isRunning) {
- acc + (System.currentTimeMillis-beginning)
- } else {
- acc
- }
- }
-
- def profile[T](block: => T): T = {
- if (isRunning) stop()
-
- start
- val result = block // call-by-name
- stop()
-
- result
- }
-
- def isRunning = beginning != 0L
-
- override def toString = f"$name%20s: $getMillis%5d${if (isRunning) "..." else ""}ms"
-}
-
-object StopwatchCollections {
- private var all = Map[String, StopwatchCollection]()
-
- def get(name: String): StopwatchCollection = all.getOrElse(name, {
- val sw = new StopwatchCollection(name)
- all += name -> sw
- sw
- })
-
- def getAll = all
-}
diff --git a/src/main/scala/leon/utils/DebugFiles.scala b/src/main/scala/leon/utils/DebugFiles.scala
deleted file mode 100644
index 1f006c423..000000000
--- a/src/main/scala/leon/utils/DebugFiles.scala
+++ /dev/null
@@ -1,3 +0,0 @@
-/* Copyright 2009-2015 EPFL, Lausanne */
-
-package leon.utils
--
GitLab