From 490aa263a53b9d4df197eaacd312fcd3bed0c916 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <colder@php.net>
Date: Tue, 26 Aug 2014 13:52:11 +0200
Subject: [PATCH] Inform the reporter of the compilation progress
---
src/main/scala/leon/Reporter.scala | 2 ++
src/main/scala/leon/frontends/scalac/ScalaCompiler.scala | 6 ++++++
2 files changed, 8 insertions(+)
diff --git a/src/main/scala/leon/Reporter.scala b/src/main/scala/leon/Reporter.scala
index a8373bdd2..ddd6eb995 100644
--- a/src/main/scala/leon/Reporter.scala
+++ b/src/main/scala/leon/Reporter.scala
@@ -43,6 +43,8 @@ abstract class Reporter(settings: Settings) {
throw LeonFatalError(None)
}
+ def onCompilerProgress(current: Int, total: Int) = {}
+
final def info(pos: Position, msg: Any): Unit = emit(account(Message(INFO, pos, msg)))
final def warning(pos: Position, msg: Any): Unit = emit(account(Message(WARNING, pos, msg)))
final def error(pos: Position, msg: Any): Unit = emit(account(Message(ERROR, pos, msg)))
diff --git a/src/main/scala/leon/frontends/scalac/ScalaCompiler.scala b/src/main/scala/leon/frontends/scalac/ScalaCompiler.scala
index 55afa914f..df5fd14d3 100644
--- a/src/main/scala/leon/frontends/scalac/ScalaCompiler.scala
+++ b/src/main/scala/leon/frontends/scalac/ScalaCompiler.scala
@@ -30,4 +30,10 @@ class ScalaCompiler(settings : NSCSettings, ctx: LeonContext) extends Global(set
)
phs foreach { phasesSet += _._1 }
}
+
+ class Run extends super.Run {
+ override def progress(current: Int, total: Int) {
+ ctx.reporter.onCompilerProgress(current, total)
+ }
+ }
}
--
GitLab