- [Refactoring] GeneratorDefDefInjector Transformer does not need type parameter

- Added Skeleton for ForAllTransformer tree transformer 

src/funcheck/AnalysisComponent.scala

@@ -46,7 +46,7 @@ class AnalysisComponent(val global: Global, val pluginInstance: FunCheckPlugin)
       // unmodified.
       val (genDef, arbDef) = createGeneratorDefDefs(unit)
     
-      transform(genDef ::: arbDef, unit)
+      injectGenDefDefs(genDef ::: arbDef, unit)
 
 //      if(pluginInstance.stopAfterAnalysis) {
 //        println("Analysis complete. Now terminating the compiler process.")

src/funcheck/scalacheck/ForAllTransformer.scala

+package funcheck.scalacheck
+
+import scala.tools.nsc.transform.TypingTransformers
+
+trait ForAllTransformer extends TypingTransformers {
+  import global._
+  
+  def forAllTransform(unit: CompilationUnit): Unit =
+    unit.body = new ForAllTransformer(unit).transform(unit.body)
+    
+  class ForAllTransformer(unit: CompilationUnit) 
+    extends /*Code Injection*/ TypingTransformer(unit) 
+  { 
+    override def transform(tree: Tree): Tree = null
+  }
+}

src/funcheck/scalacheck/GeneratorDefDefInjector.scala

 package funcheck.scalacheck
 
-import scala.tools.nsc.{Global, SubComponent}
 import scala.tools.nsc.transform.TypingTransformers
 
-trait GeneratorDefDefInjector[T <: SubComponent] extends TypingTransformers { self: T =>
+trait GeneratorDefDefInjector extends TypingTransformers { 
    import global._
   
-  def transform(injecting: List[DefDef], unit: CompilationUnit): Unit = 
+  def injectGenDefDefs(injecting: List[DefDef], unit: CompilationUnit): Unit = 
     unit.body = new GenDefDefTransformer(injecting, unit).transform(unit.body)
   
   class GenDefDefTransformer(injecting: List[DefDef], unit: CompilationUnit) 

src/funcheck/scalacheck/ScalaCheckIntegrator.scala

@@ -5,7 +5,7 @@ import funcheck.util.FreshNameCreator
 
 trait ScalaCheckIntegrator[T <: SubComponent] extends ScalaCheck[T] 
   with FilterGeneratorAnnotations[T]
-  with GeneratorDefDefInjector[T]
+  with GeneratorDefDefInjector
   with FreshNameCreator 
 {
   self: T =>