added a stub for the synthesis plugin

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._
 

src/funcheck/NameAnalyzer.scala

+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 = {
+
+  }
+}