From 0267d2621f6a56a231bb55e57878fd116be780e9 Mon Sep 17 00:00:00 2001
From: Philippe Suter <philippe.suter@gmail.com>
Date: Mon, 5 Oct 2009 16:12:53 +0000
Subject: [PATCH] deactivated Mirco's generators generation to focus on code
extraction
---
src/funcheck/AnalysisComponent.scala | 24 ++++++++++++------------
1 file changed, 12 insertions(+), 12 deletions(-)
diff --git a/src/funcheck/AnalysisComponent.scala b/src/funcheck/AnalysisComponent.scala
index 8aa227deb..ee82013c5 100644
--- a/src/funcheck/AnalysisComponent.scala
+++ b/src/funcheck/AnalysisComponent.scala
@@ -6,7 +6,7 @@ import scalacheck._
class AnalysisComponent(val global: Global, val pluginInstance: FunCheckPlugin) extends PluginComponent
with CodeExtraction
- with ScalaCheckIntegrator
+ // with ScalaCheckIntegrator
{
import global._
@@ -17,7 +17,7 @@ class AnalysisComponent(val global: Global, val pluginInstance: FunCheckPlugin)
val phaseName = pluginInstance.name
/** this is initialized when the Funcheck phase starts*/
- override var fresh: scala.tools.nsc.util.FreshNameCreator = null
+ var fresh: scala.tools.nsc.util.FreshNameCreator = null
protected def stopIfErrors: Unit = {
if(reporter.hasErrors) {
@@ -38,21 +38,21 @@ class AnalysisComponent(val global: Global, val pluginInstance: FunCheckPlugin)
(new ForeachTreeTraverser(firstFilter(unit))).traverse(unit.body)
stopIfErrors
-// val prog: purescala.Definitions.Program = extractCode(unit)
-// println("Extracted program for " + unit + ": ")
-// println(prog)
+ val prog: purescala.Definitions.Program = extractCode(unit)
+ println("Extracted program for " + unit + ": ")
+ println(prog)
// Mirco your component can do its job here, as I leave the trees
// unmodified.
- val (genDef, arbDef) = createGeneratorDefDefs(unit)
+ // val (genDef, arbDef) = createGeneratorDefDefs(unit)
- injectGenDefDefs(genDef ::: arbDef, unit)
- forAllTransform(unit)
+ // injectGenDefDefs(genDef ::: arbDef, unit)
+ // forAllTransform(unit)
-// if(pluginInstance.stopAfterAnalysis) {
-// println("Analysis complete. Now terminating the compiler process.")
-// exit(0)
-// }
+ if(pluginInstance.stopAfterAnalysis) {
+ println("Analysis complete. Now terminating the compiler process.")
+ exit(0)
+ }
}
/** Weeds out some programs containing unsupported features. */
--
GitLab