From 60f4783e359717b4d7841526e922968ab0d2cf8e Mon Sep 17 00:00:00 2001
From: Philippe Suter <philippe.suter@gmail.com>
Date: Tue, 9 Jun 2009 12:21:39 +0000
Subject: [PATCH] Fixed the annotation detection for "generator".
---
src/funcheck/AnalysisComponent.scala | 11 ++++++-----
1 file changed, 6 insertions(+), 5 deletions(-)
diff --git a/src/funcheck/AnalysisComponent.scala b/src/funcheck/AnalysisComponent.scala
index ea8609bc4..0502cf070 100644
--- a/src/funcheck/AnalysisComponent.scala
+++ b/src/funcheck/AnalysisComponent.scala
@@ -31,9 +31,11 @@ class AnalysisComponent(val global: Global, val pluginInstance: FunCheckPlugin)
}
}
- private def stopIfErrors: Nothing = {
- if(reporter.hasErrors) println("There were errors.")
- exit(0)
+ private def stopIfErrors: Unit = {
+ if(reporter.hasErrors) {
+ println("There were errors.")
+ exit(0)
+ }
}
private def findContracts(tree: Tree): Unit = tree match {
@@ -62,9 +64,7 @@ class AnalysisComponent(val global: Global, val pluginInstance: FunCheckPlugin)
}
def mircoTraverser(unit: CompilationUnit)(tree: Tree): Unit = {
- println("called on " + unit)
lazy val genAnnot: Symbol = definitions.getClass("funcheck.lib.Specs.generator")
- println(genAnnot)
tree match {
case d @ DefDef(mods, name, _, _, _, _) => {
@@ -83,6 +83,7 @@ class AnalysisComponent(val global: Global, val pluginInstance: FunCheckPlugin)
}
})
}
+ case _ => ;
}
}
--
GitLab