From eed35d3a0bb46ce018154e3e847cdb5d015a46c3 Mon Sep 17 00:00:00 2001
From: Philippe Suter <philippe.suter@gmail.com>
Date: Mon, 9 Nov 2009 18:12:42 +0000
Subject: [PATCH] added a stub for the synthesis plugin
---
src/funcheck/AnalysisComponent.scala | 6 ++++--
src/funcheck/NameAnalyzer.scala | 20 ++++++++++++++++++++
2 files changed, 24 insertions(+), 2 deletions(-)
create mode 100644 src/funcheck/NameAnalyzer.scala
diff --git a/src/funcheck/AnalysisComponent.scala b/src/funcheck/AnalysisComponent.scala
index ee82013c5..45a4ae5fd 100644
--- a/src/funcheck/AnalysisComponent.scala
+++ b/src/funcheck/AnalysisComponent.scala
@@ -4,9 +4,11 @@ import scala.tools.nsc._
import scala.tools.nsc.plugins._
import scalacheck._
-class AnalysisComponent(val global: Global, val pluginInstance: FunCheckPlugin) extends PluginComponent
+class AnalysisComponent(val global: Global, val pluginInstance: FunCheckPlugin)
+ extends PluginComponent
+ with NameAnalyzer
with CodeExtraction
- // with ScalaCheckIntegrator
+ // with ScalaCheckIntegrator // Mirco's stuff.
{
import global._
diff --git a/src/funcheck/NameAnalyzer.scala b/src/funcheck/NameAnalyzer.scala
new file mode 100644
index 000000000..2421ed7f3
--- /dev/null
+++ b/src/funcheck/NameAnalyzer.scala
@@ -0,0 +1,20 @@
+package funcheck
+
+import scala.tools.nsc._
+import scala.tools.nsc.plugins._
+
+import purescala.Definitions._
+import purescala.Trees._
+import purescala.TypeTrees._
+import purescala.Common._
+
+trait NameAnalyzer extends Extractors {
+ self: AnalysisComponent =>
+
+ import global._
+ import StructuralExtractors._
+
+ def collectNames(unit: CompilationUnit): Unit = {
+
+ }
+}
--
GitLab