Skip to content
Snippets Groups Projects
Commit 8ab5055e authored by Mirco Dotta's avatar Mirco Dotta
Browse files

removed (unnecessary) commented code

parent b3dd407d
Branches
Tags
No related merge requests found
...@@ -30,57 +30,4 @@ trait GeneratorDefDefInjector extends TypingTransformers { ...@@ -30,57 +30,4 @@ trait GeneratorDefDefInjector extends TypingTransformers {
} }
} }
// val cdSym = c.symbol \ No newline at end of file
// if(cdSym.hasFlag(ABSTRACT)) {
// DefGenerator.addAbstr(c)
// println(cdSym.children)
// }
// else {
// val Template(_, _, body) = impl
// for { b <- body } b match {
// case d @ DefDef(_, nme.CONSTRUCTOR, _, _, _, _) =>
// DefGenerator.addDef(d)
// case _ => ;
// }
// }
// lazy val specsModule: Symbol = definitions.getModule("funcheck.lib.Specs")
//val neededGenerators = scala.collection.mutable.Set.empty[Symbol]
/*********************************************************************************/
// private def isForall(s: Select): Boolean = {
// val Select(selector,_) = s
//
// selector.symbol == specsModule &&
// s.symbol == specsModule.tpe.decl("forAll")
// }
//
//
// /*********************************************************************************/
// def collectProperties(Unit: CompilationUnit)(tree: Tree): Unit = tree match {
// case TypeApply( s: Select, tpes: List[Tree]) =>
// if(isForall(s)) {
// for { treeTpe <- tpes } treeTpe.tpe match {
// case TypeRef(_, _, args: List[Type]) =>
// for {arg <- args} arg match {
// case TypeRef(_,sym,_) => {
// //generators are needed only for user-defined types (assuming Pure Scala as input language)
// if (!definitions.isValueClass(sym))
// neededGenerators += sym
// }
// case _ => error("Don't know what to do with "+ arg)
// }
// case _ => error("don't know what to do with " + treeTpe + " with associated symbol: "+treeTpe.symbol)
// }
// //println(neededGenerators)
// }
//
// case _ =>
// }
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment