diff options
Diffstat (limited to 'test')
36 files changed, 926 insertions, 897 deletions
diff --git a/test/files/pos/annotated-treecopy/Impls_Macros_1.scala b/test/files/pos/annotated-treecopy/Impls_Macros_1.scala index fdf9c72c31..79edbfffd8 100644 --- a/test/files/pos/annotated-treecopy/Impls_Macros_1.scala +++ b/test/files/pos/annotated-treecopy/Impls_Macros_1.scala @@ -15,6 +15,7 @@ object Macros { def tree_impl[T:c.WeakTypeTag,U:c.WeakTypeTag](c: Context) (f:c.Expr[Function1[T,U]]): c.Expr[Function1[T,U]] = { import c.universe._ + import internal._ val ttag = c.weakTypeTag[U] f match { case Expr(Function(List(ValDef(_,n,tp,_)),b)) => @@ -22,7 +23,7 @@ object Macros { var b1 = new Transformer { override def transform(tree: Tree): Tree = tree match { case Ident(x) if (x==n) => Ident(TermName("_arg")) - case tt: TypeTree if tt.original != null => TypeTree(tt.tpe) setOriginal transform(tt.original) + case tt: TypeTree if tt.original != null => setOriginal(TypeTree(tt.tpe), transform(tt.original)) // without the fix to LazyTreeCopier.Annotated, we would need to uncomment the line below to make the macro work // that's because the pattern match in the input expression gets expanded into Typed(<x>, TypeTree(<Int @unchecked>)) // with the original of the TypeTree being Annotated(<@unchecked>, Ident(<x>)) @@ -34,7 +35,7 @@ object Macros { } }.transform(b) - val reifiedTree = c.reifyTree(treeBuild.mkRuntimeUniverseRef, EmptyTree, b1) + val reifiedTree = c.reifyTree(gen.mkRuntimeUniverseRef, EmptyTree, b1) val reifiedExpr = c.Expr[scala.reflect.runtime.universe.Expr[T => U]](reifiedTree) val template = c.universe.reify(new (T => U) with TypedFunction { diff --git a/test/files/pos/attachments-typed-another-ident/Impls_1.scala b/test/files/pos/attachments-typed-another-ident/Impls_1.scala index 8016143a4c..98062a9c76 100644 --- a/test/files/pos/attachments-typed-another-ident/Impls_1.scala +++ b/test/files/pos/attachments-typed-another-ident/Impls_1.scala @@ -6,10 +6,11 @@ object MyAttachment object Macros { def impl(c: Context) = { import c.universe._ - val ident = Ident(TermName("bar")) updateAttachment MyAttachment - assert(ident.attachments.get[MyAttachment.type].isDefined, ident.attachments) + import internal._ + val ident = updateAttachment(Ident(TermName("bar")), MyAttachment) + assert(attachments(ident).get[MyAttachment.type].isDefined, attachments(ident)) val typed = c.typecheck(ident) - assert(typed.attachments.get[MyAttachment.type].isDefined, typed.attachments) + assert(attachments(typed).get[MyAttachment.type].isDefined, attachments(typed)) c.Expr[Int](typed) } diff --git a/test/files/pos/attachments-typed-ident/Impls_1.scala b/test/files/pos/attachments-typed-ident/Impls_1.scala index af2cc59ecd..25c0891880 100644 --- a/test/files/pos/attachments-typed-ident/Impls_1.scala +++ b/test/files/pos/attachments-typed-ident/Impls_1.scala @@ -6,10 +6,11 @@ object MyAttachment object Macros { def impl(c: Context) = { import c.universe._ - val ident = Ident(TermName("bar")) updateAttachment MyAttachment - assert(ident.attachments.get[MyAttachment.type].isDefined, ident.attachments) + import internal._ + val ident = updateAttachment(Ident(TermName("bar")), MyAttachment) + assert(attachments(ident).get[MyAttachment.type].isDefined, attachments(ident)) val typed = c.typecheck(ident) - assert(typed.attachments.get[MyAttachment.type].isDefined, typed.attachments) + assert(attachments(typed).get[MyAttachment.type].isDefined, attachments(typed)) c.Expr[Int](typed) } diff --git a/test/files/run/existentials3-new.scala b/test/files/run/existentials3-new.scala index 6112a7b856..a422a7668f 100644 --- a/test/files/run/existentials3-new.scala +++ b/test/files/run/existentials3-new.scala @@ -1,5 +1,6 @@ import scala.language.existentials import scala.reflect.runtime.universe._ +import internal._ object Test { trait ToS { final override def toString = getClass.getName } @@ -35,7 +36,7 @@ object Test { val g12 = { abstract class A extends Seq[U forSome { type U <: Int }] ; List[A]() } def printTpe(t: Type) = { - val s = if (t.typeSymbol.isFreeType) t.typeSymbol.typeSignature.toString else t.typeSymbol.toString + val s = if (isFreeType(t.typeSymbol)) t.typeSymbol.typeSignature.toString else t.typeSymbol.toString println("%s, t=%s, s=%s".format(t, t.asInstanceOf[Product].productPrefix, s)) } def m[T: TypeTag](x: T) = printTpe(typeOf[T]) diff --git a/test/files/run/freetypes_false_alarm2.scala b/test/files/run/freetypes_false_alarm2.scala index 3499f13fba..a517f7396b 100644 --- a/test/files/run/freetypes_false_alarm2.scala +++ b/test/files/run/freetypes_false_alarm2.scala @@ -1,8 +1,9 @@ import scala.reflect.runtime.universe._ import scala.reflect.runtime.{universe => ru} import scala.tools.reflect.Eval +import internal._ object Test extends App { val tpe = typeOf[ru.Type] - println(tpe.typeSymbol.isFreeType) + println(isFreeType(tpe.typeSymbol)) }
\ No newline at end of file diff --git a/test/files/run/interop_typetags_are_manifests.scala b/test/files/run/interop_typetags_are_manifests.scala index 1aca7f52cc..6dc5437819 100644 --- a/test/files/run/interop_typetags_are_manifests.scala +++ b/test/files/run/interop_typetags_are_manifests.scala @@ -1,5 +1,6 @@ import scala.reflect.runtime.universe._ import scala.reflect.ClassTag +import internal._ object Test extends App { def typeTagIsManifest[T: TypeTag : ClassTag] = { diff --git a/test/files/run/macro-range/Common_1.scala b/test/files/run/macro-range/Common_1.scala index 0e66815f15..35d2efd76d 100644 --- a/test/files/run/macro-range/Common_1.scala +++ b/test/files/run/macro-range/Common_1.scala @@ -12,6 +12,7 @@ abstract class RangeDefault { abstract class Utils { val context: Context import context.universe._ + import internal._ class TreeSubstituter(from: List[Symbol], to: List[Tree]) extends Transformer { override def transform(tree: Tree): Tree = tree match { @@ -23,7 +24,7 @@ abstract class Utils { subst(from, to) case _ => val tree1 = super.transform(tree) - if (tree1 ne tree) tree1.tpe = null + if (tree1 ne tree) setType(tree1, null) tree1 } } diff --git a/test/files/run/macro-reify-nested-a/Impls_Macros_1.scala b/test/files/run/macro-reify-nested-a/Impls_Macros_1.scala index 8d2aa1e70a..3bea04cead 100644 --- a/test/files/run/macro-reify-nested-a/Impls_Macros_1.scala +++ b/test/files/run/macro-reify-nested-a/Impls_Macros_1.scala @@ -23,10 +23,10 @@ case class Utils[C <: Context]( c:C ) { object QueryableMacros{ def _helper[C <: Context,S:c.WeakTypeTag]( c:C )( name:String, projection:c.Expr[_] ) = { import c.universe._ - import treeBuild._ + import internal._ val element_type = implicitly[c.WeakTypeTag[S]].tpe val foo = c.Expr[ru.Expr[Queryable[S]]]( - c.reifyTree( mkRuntimeUniverseRef, EmptyTree, c.typecheck( + c.reifyTree( gen.mkRuntimeUniverseRef, EmptyTree, c.typecheck( Utils[c.type](c).removeDoubleReify( Apply(Select(c.prefix.tree, TermName( name )), List( projection.tree )) ).asInstanceOf[Tree] diff --git a/test/files/run/macro-reify-nested-b/Impls_Macros_1.scala b/test/files/run/macro-reify-nested-b/Impls_Macros_1.scala index 8d2aa1e70a..3bea04cead 100644 --- a/test/files/run/macro-reify-nested-b/Impls_Macros_1.scala +++ b/test/files/run/macro-reify-nested-b/Impls_Macros_1.scala @@ -23,10 +23,10 @@ case class Utils[C <: Context]( c:C ) { object QueryableMacros{ def _helper[C <: Context,S:c.WeakTypeTag]( c:C )( name:String, projection:c.Expr[_] ) = { import c.universe._ - import treeBuild._ + import internal._ val element_type = implicitly[c.WeakTypeTag[S]].tpe val foo = c.Expr[ru.Expr[Queryable[S]]]( - c.reifyTree( mkRuntimeUniverseRef, EmptyTree, c.typecheck( + c.reifyTree( gen.mkRuntimeUniverseRef, EmptyTree, c.typecheck( Utils[c.type](c).removeDoubleReify( Apply(Select(c.prefix.tree, TermName( name )), List( projection.tree )) ).asInstanceOf[Tree] diff --git a/test/files/run/macro-reify-type/Macros_1.scala b/test/files/run/macro-reify-type/Macros_1.scala index bac1744c50..6558492d07 100644 --- a/test/files/run/macro-reify-type/Macros_1.scala +++ b/test/files/run/macro-reify-type/Macros_1.scala @@ -6,6 +6,7 @@ object StaticReflect { def methodImpl[A: c.WeakTypeTag](c: Context)(name: c.Expr[String]): c.Expr[ru.Type] = { import c.universe._ + import internal._ val nameName: TermName = name.tree match { case Literal(Constant(str: String)) => TermName(str) @@ -17,7 +18,7 @@ object StaticReflect { case NoSymbol => c.error(c.enclosingPosition, s"No member called $nameName in $clazz.") ; reify(ru.NoType) case member => val mtpe = member typeSignatureIn clazz - val mtag = c.reifyType(treeBuild.mkRuntimeUniverseRef, Select(treeBuild.mkRuntimeUniverseRef, TermName("rootMirror")), mtpe) + val mtag = c.reifyType(gen.mkRuntimeUniverseRef, Select(gen.mkRuntimeUniverseRef, TermName("rootMirror")), mtpe) val mtree = Select(mtag, TermName("tpe")) c.Expr[ru.Type](mtree) diff --git a/test/files/run/macro-reify-unreify/Macros_1.scala b/test/files/run/macro-reify-unreify/Macros_1.scala index 6e358eb72d..d92dfa3e24 100644 --- a/test/files/run/macro-reify-unreify/Macros_1.scala +++ b/test/files/run/macro-reify-unreify/Macros_1.scala @@ -6,10 +6,10 @@ object Macros { object Impls { def foo(c: Context)(s: c.Expr[String]) = { import c.universe._ - import treeBuild._ + import internal._ - val world = c.reifyTree(mkRuntimeUniverseRef, EmptyTree, s.tree) - val greeting = c.reifyTree(mkRuntimeUniverseRef, EmptyTree, c.typecheck(Apply(Select(Literal(Constant("hello ")), TermName("$plus")), List(c.unreifyTree(world))))) + val world = c.reifyTree(gen.mkRuntimeUniverseRef, EmptyTree, s.tree) + val greeting = c.reifyTree(gen.mkRuntimeUniverseRef, EmptyTree, c.typecheck(Apply(Select(Literal(Constant("hello ")), TermName("$plus")), List(c.unreifyTree(world))))) val typedGreeting = c.Expr[String](greeting) c.universe.reify { diff --git a/test/files/run/macro-subpatterns/Macro_1.scala b/test/files/run/macro-subpatterns/Macro_1.scala index 2de6b4da9d..994421aa32 100644 --- a/test/files/run/macro-subpatterns/Macro_1.scala +++ b/test/files/run/macro-subpatterns/Macro_1.scala @@ -4,15 +4,15 @@ import language.experimental.macros object Extractor { def unapply(x: Any): Any = macro unapplyImpl def unapplyImpl(c: Context)(x: c.Tree) = { - val st = c.universe.asInstanceOf[reflect.internal.SymbolTable] - import st._ - val subpatterns = x.attachments.get[SubpatternsAttachment].get.patterns + import c.universe._ + import internal._ + val subpatterns = attachments(x).get[scala.reflect.internal.SymbolTable#SubpatternsAttachment].get.patterns.toString q""" new { def isEmpty = false - def get = ${subpatterns.toString} + def get = $subpatterns def unapply(x: Any) = this - }.unapply(${x.asInstanceOf[st.Tree]}) - """.asInstanceOf[c.Tree] + }.unapply($x) + """ } } diff --git a/test/files/run/macro-typecheck-macrosdisabled.check b/test/files/run/macro-typecheck-macrosdisabled.check index 0579a4f4c8..c618d22d8d 100644 --- a/test/files/run/macro-typecheck-macrosdisabled.check +++ b/test/files/run/macro-typecheck-macrosdisabled.check @@ -23,7 +23,7 @@ def apply[U <: scala.reflect.api.Universe with Singleton]($m$untyped: scala.reflect.api.Mirror[U]): U#Type = { val $u: U = $m$untyped.universe; val $m: $u.Mirror = $m$untyped.asInstanceOf[$u.Mirror]; - $u.ConstantType.apply($u.Constant.apply(2)) + $u.internal.reificationSupport.ConstantType($u.Constant.apply(2)) } }; new $typecreator2() diff --git a/test/files/run/macro-typecheck-macrosdisabled/Impls_Macros_1.scala b/test/files/run/macro-typecheck-macrosdisabled/Impls_Macros_1.scala index eb558f49b5..5fb7ca1679 100644 --- a/test/files/run/macro-typecheck-macrosdisabled/Impls_Macros_1.scala +++ b/test/files/run/macro-typecheck-macrosdisabled/Impls_Macros_1.scala @@ -14,12 +14,13 @@ object Macros { def impl_with_macros_disabled(c: Context) = { import c.universe._ + import internal._ val rupkg = c.mirror.staticModule("scala.reflect.runtime.package") - val rusym = build.selectTerm(rupkg, "universe") + val rusym = reificationSupport.selectTerm(rupkg, "universe") val NullaryMethodType(rutpe) = rusym.typeSignature - val ru = build.newFreeTerm("ru", scala.reflect.runtime.universe) - build.setTypeSignature(ru, rutpe) + val ru = reificationSupport.newFreeTerm("ru", scala.reflect.runtime.universe) + reificationSupport.setTypeSignature(ru, rutpe) val tree2 = Apply(Select(Ident(ru), TermName("reify")), List(Literal(Constant(2)))) val ttree2 = c.typecheck(tree2, withMacrosDisabled = true) diff --git a/test/files/run/macro-typecheck-macrosdisabled2.check b/test/files/run/macro-typecheck-macrosdisabled2.check index c6e1c08d5d..c0f9c436fe 100644 --- a/test/files/run/macro-typecheck-macrosdisabled2.check +++ b/test/files/run/macro-typecheck-macrosdisabled2.check @@ -10,7 +10,7 @@ def apply[U <: scala.reflect.api.Universe with Singleton]($m$untyped: scala.reflect.api.Mirror[U]): U#Tree = { val $u: U = $m$untyped.universe; val $m: $u.Mirror = $m$untyped.asInstanceOf[$u.Mirror]; - $u.Apply.apply($u.Select.apply($u.build.Ident($m.staticModule("scala.Array")), $u.TermName.apply("apply")), scala.collection.immutable.List.apply[$u.Literal]($u.Literal.apply($u.Constant.apply(2)))) + $u.Apply.apply($u.Select.apply($u.internal.reificationSupport.Ident($m.staticModule("scala.Array")), $u.TermName.apply("apply")), scala.collection.immutable.List.apply[$u.Literal]($u.Literal.apply($u.Constant.apply(2)))) } }; new $treecreator1() @@ -23,7 +23,7 @@ def apply[U <: scala.reflect.api.Universe with Singleton]($m$untyped: scala.reflect.api.Mirror[U]): U#Type = { val $u: U = $m$untyped.universe; val $m: $u.Mirror = $m$untyped.asInstanceOf[$u.Mirror]; - $u.TypeRef.apply($u.ThisType.apply($m.staticPackage("scala").asModule.moduleClass), $m.staticClass("scala.Array"), scala.collection.immutable.List.apply[$u.Type]($m.staticClass("scala.Int").asType.toTypeConstructor)) + $u.internal.reificationSupport.TypeRef($u.internal.reificationSupport.ThisType($m.staticPackage("scala").asModule.moduleClass), $m.staticClass("scala.Array"), scala.collection.immutable.List.apply[$u.Type]($m.staticClass("scala.Int").asType.toTypeConstructor)) } }; new $typecreator2() diff --git a/test/files/run/macro-typecheck-macrosdisabled2/Impls_Macros_1.scala b/test/files/run/macro-typecheck-macrosdisabled2/Impls_Macros_1.scala index 3412f5c88f..9fa35dda83 100644 --- a/test/files/run/macro-typecheck-macrosdisabled2/Impls_Macros_1.scala +++ b/test/files/run/macro-typecheck-macrosdisabled2/Impls_Macros_1.scala @@ -14,12 +14,13 @@ object Macros { def impl_with_macros_disabled(c: Context) = { import c.universe._ + import internal._ val rupkg = c.mirror.staticModule("scala.reflect.runtime.package") - val rusym = build.selectTerm(rupkg, "universe") + val rusym = reificationSupport.selectTerm(rupkg, "universe") val NullaryMethodType(rutpe) = rusym.typeSignature - val ru = build.newFreeTerm("ru", scala.reflect.runtime.universe) - build.setTypeSignature(ru, rutpe) + val ru = reificationSupport.newFreeTerm("ru", scala.reflect.runtime.universe) + reificationSupport.setTypeSignature(ru, rutpe) val tree2 = Apply(Select(Ident(ru), TermName("reify")), List(Apply(Select(Ident(TermName("scala")), TermName("Array")), List(Literal(Constant(2)))))) val ttree2 = c.typecheck(tree2, withMacrosDisabled = true) diff --git a/test/files/run/reflection-tags.scala b/test/files/run/reflection-tags.scala index fba90f61e9..39bb8cf4e5 100644 --- a/test/files/run/reflection-tags.scala +++ b/test/files/run/reflection-tags.scala @@ -4,6 +4,9 @@ import scala.reflect.ClassTag object Test extends App { var typeMembers = typeOf[scala.reflect.api.Universe].members.filter(sym => sym.isType && !sym.isClass).toList typeMembers = typeMembers.filter(_.name != TypeName("ModifiersCreator")) // type ModifiersCreator = ModifiersExtractor + typeMembers = typeMembers.filter(_.name != TypeName("Importer")) // deprecated + typeMembers = typeMembers.filter(_.name != TypeName("Internal")) // internal + typeMembers = typeMembers.filter(_.name != TypeName("Compat")) // internal val tags = typeOf[scala.reflect.api.Universe].members.filter(sym => sym.isImplicit).toList typeMembers.foreach(_.typeSignature) diff --git a/test/files/run/reify_newimpl_45.scala b/test/files/run/reify_newimpl_45.scala index 2a6c68d441..fd8011f468 100644 --- a/test/files/run/reify_newimpl_45.scala +++ b/test/files/run/reify_newimpl_45.scala @@ -2,13 +2,13 @@ import scala.reflect.runtime.universe._ import scala.reflect.runtime.{universe => ru} import scala.reflect.runtime.{currentMirror => cm} import scala.tools.reflect.ToolBox +import internal._ object Test extends App { class C[T >: Null] { val code = reify{val x: T = "2".asInstanceOf[T]; println("ima worx: %s".format(x)); x} - println(code.tree.freeTypes) - val T = code.tree.freeTypes(0) - val tree = code.tree.substituteSymbols(List(T), List(definitions.StringClass)) + println(freeTypes(code.tree)) + val tree = substituteSymbols(code.tree, freeTypes(code.tree), List(definitions.StringClass)) cm.mkToolBox().eval(tree) } diff --git a/test/files/run/t5923a/Macros_1.scala b/test/files/run/t5923a/Macros_1.scala index 9aa7a02708..9050fd4b11 100644 --- a/test/files/run/t5923a/Macros_1.scala +++ b/test/files/run/t5923a/Macros_1.scala @@ -9,6 +9,7 @@ object C { object Macros { def impl[T](c: Context)(ttag: c.WeakTypeTag[T]) = { import c.universe._ + import internal._ val ttag0 = ttag; { // When we're expanding implicitly[C[Nothing]], the type inferencer will see @@ -43,7 +44,7 @@ object Macros { implicit def ttag: WeakTypeTag[T] = { val tpe = ttag0.tpe val sym = tpe.typeSymbol.asType - if (sym.isParameter && !sym.isSkolem) TypeTag.Nothing.asInstanceOf[TypeTag[T]] + if (sym.isParameter && !isSkolem(sym)) TypeTag.Nothing.asInstanceOf[TypeTag[T]] else ttag0 } reify(C[T](c.Expr[String](Literal(Constant(weakTypeOf[T].toString))).splice)) diff --git a/test/files/run/t6221/Macros_1.scala b/test/files/run/t6221/Macros_1.scala index b5c28360fa..0aeaa00c86 100644 --- a/test/files/run/t6221/Macros_1.scala +++ b/test/files/run/t6221/Macros_1.scala @@ -14,7 +14,8 @@ object ReflectiveClosure { object Macros { def reflectiveClosureImpl[A, B](c: Context)(f: c.Expr[A => B]): c.Expr[ReflectiveClosure[A, B]] = { import c.universe._ - val u = treeBuild.mkRuntimeUniverseRef + import internal._ + val u = gen.mkRuntimeUniverseRef val m = EmptyTree val tree = c.Expr[scala.reflect.runtime.universe.Tree](Select(c.reifyTree(u, m, f.tree), newTermName("tree"))) c.universe.reify(new ReflectiveClosure(tree.splice, f.splice)) diff --git a/test/files/run/t6591_7.scala b/test/files/run/t6591_7.scala index b6c8d399a0..7313a3400d 100644 --- a/test/files/run/t6591_7.scala +++ b/test/files/run/t6591_7.scala @@ -1,5 +1,6 @@ import scala.reflect.runtime.universe._ import scala.tools.reflect.Eval +import internal._ object Test extends App { locally { @@ -13,7 +14,7 @@ object Test extends App { // blocked by SI-7103, though it's not the focus of this test // therefore I'm just commenting out the evaluation // println(expr.eval) - expr.tree.freeTerms foreach (ft => { + freeTerms(expr.tree) foreach (ft => { // blocked by SI-7104, though it's not the focus of this test // therefore I'm just commenting out the call to typeSignature // println(s"name = ${ft.name}, sig = ${ft.typeSignature}, stable = ${ft.isStable}") diff --git a/test/files/run/t7570b.scala b/test/files/run/t7570b.scala index f1db193186..9ed7c87885 100644 --- a/test/files/run/t7570b.scala +++ b/test/files/run/t7570b.scala @@ -6,8 +6,8 @@ import Flag._ object Test extends App { val tb = cm.mkToolBox() - val msg = build.newFreeTerm("msg", "C") - build.setTypeSignature(msg, typeOf[String]) + val msg = internal.reificationSupport.newFreeTerm("msg", "C") + internal.reificationSupport.setTypeSignature(msg, typeOf[String]) try { val csym = tb.define(q"""class C { override def toString = $msg }""") println(tb.eval(q"new $csym")) diff --git a/test/files/run/t8190.scala b/test/files/run/t8190.scala index 012d0ad347..d61fa8c01c 100644 --- a/test/files/run/t8190.scala +++ b/test/files/run/t8190.scala @@ -110,6 +110,9 @@ object Test extends App with Overloads { types = types.filter(_ != "LiteralArgument") // deprecated types = types.filter(_ != "ArrayArgument") // deprecated types = types.filter(_ != "NestedArgument") // deprecated + types = types.filter(_ != "Importer") // deprecated + types = types.filter(_ != "Internal") // internal + types = types.filter(_ != "Compat") // internal val diff = types.toList diff buf.toList println("uncovered type members: " + diff) } diff --git a/test/files/run/toolbox_typecheck_macrosdisabled.check b/test/files/run/toolbox_typecheck_macrosdisabled.check index d9e79cdd19..62de375826 100644 --- a/test/files/run/toolbox_typecheck_macrosdisabled.check +++ b/test/files/run/toolbox_typecheck_macrosdisabled.check @@ -32,7 +32,7 @@ def apply[U <: scala.reflect.api.Universe with Singleton]($m$untyped: scala.reflect.api.Mirror[U]): U#Type = { val $u: U = $m$untyped.universe; val $m: $u.Mirror = $m$untyped.asInstanceOf[$u.Mirror]; - $u.ConstantType.apply($u.Constant.apply(2)) + $u.internal.reificationSupport.ConstantType($u.Constant.apply(2)) } }; new $typecreator2() diff --git a/test/files/run/toolbox_typecheck_macrosdisabled.scala b/test/files/run/toolbox_typecheck_macrosdisabled.scala index 4cbeefd6e0..ab193808ab 100644 --- a/test/files/run/toolbox_typecheck_macrosdisabled.scala +++ b/test/files/run/toolbox_typecheck_macrosdisabled.scala @@ -2,6 +2,7 @@ import scala.reflect.runtime.universe._ import scala.reflect.runtime.{universe => ru} import scala.reflect.runtime.{currentMirror => cm} import scala.tools.reflect.ToolBox +import internal._ // Note: If you're looking at this test and you don't know why, you may // have accidentally changed the way type tags reify. If so, validate @@ -10,10 +11,10 @@ import scala.tools.reflect.ToolBox object Test extends App { val toolbox = cm.mkToolBox() val rupkg = cm.staticModule("scala.reflect.runtime.package") - val rusym = build.selectTerm(rupkg, "universe") + val rusym = reificationSupport.selectTerm(rupkg, "universe") val NullaryMethodType(rutpe) = rusym.typeSignature - val ru = build.newFreeTerm("ru", scala.reflect.runtime.universe) - build.setTypeSignature(ru, rutpe) + val ru = reificationSupport.newFreeTerm("ru", scala.reflect.runtime.universe) + reificationSupport.setTypeSignature(ru, rutpe) val tree1 = Apply(Select(Ident(ru), TermName("reify")), List(Literal(Constant(2)))) val ttree1 = toolbox.typecheck(tree1, withMacrosDisabled = false) diff --git a/test/files/run/toolbox_typecheck_macrosdisabled2.check b/test/files/run/toolbox_typecheck_macrosdisabled2.check index 8e554a6c8f..ca56dd44ac 100644 --- a/test/files/run/toolbox_typecheck_macrosdisabled2.check +++ b/test/files/run/toolbox_typecheck_macrosdisabled2.check @@ -19,7 +19,7 @@ def apply[U <: scala.reflect.api.Universe with Singleton]($m$untyped: scala.reflect.api.Mirror[U]): U#Tree = { val $u: U = $m$untyped.universe; val $m: $u.Mirror = $m$untyped.asInstanceOf[$u.Mirror]; - $u.Apply.apply($u.Select.apply($u.build.Ident($m.staticModule("scala.Array")), $u.TermName.apply("apply")), scala.collection.immutable.List.apply[$u.Literal]($u.Literal.apply($u.Constant.apply(2)))) + $u.Apply.apply($u.Select.apply($u.internal.reificationSupport.Ident($m.staticModule("scala.Array")), $u.TermName.apply("apply")), scala.collection.immutable.List.apply[$u.Literal]($u.Literal.apply($u.Constant.apply(2)))) } }; new $treecreator1() @@ -32,7 +32,7 @@ def apply[U <: scala.reflect.api.Universe with Singleton]($m$untyped: scala.reflect.api.Mirror[U]): U#Type = { val $u: U = $m$untyped.universe; val $m: $u.Mirror = $m$untyped.asInstanceOf[$u.Mirror]; - $u.TypeRef.apply($u.ThisType.apply($m.staticPackage("scala").asModule.moduleClass), $m.staticClass("scala.Array"), scala.collection.immutable.List.apply[$u.Type]($m.staticClass("scala.Int").asType.toTypeConstructor)) + $u.internal.reificationSupport.TypeRef($u.internal.reificationSupport.ThisType($m.staticPackage("scala").asModule.moduleClass), $m.staticClass("scala.Array"), scala.collection.immutable.List.apply[$u.Type]($m.staticClass("scala.Int").asType.toTypeConstructor)) } }; new $typecreator2() diff --git a/test/files/run/toolbox_typecheck_macrosdisabled2.scala b/test/files/run/toolbox_typecheck_macrosdisabled2.scala index 2fbd8f7c7a..94b6fb9249 100644 --- a/test/files/run/toolbox_typecheck_macrosdisabled2.scala +++ b/test/files/run/toolbox_typecheck_macrosdisabled2.scala @@ -2,6 +2,7 @@ import scala.reflect.runtime.universe._ import scala.reflect.runtime.{universe => ru} import scala.reflect.runtime.{currentMirror => cm} import scala.tools.reflect.ToolBox +import internal._ // Note: If you're looking at this test and you don't know why, you may // have accidentally changed the way type tags reify. If so, validate @@ -10,10 +11,10 @@ import scala.tools.reflect.ToolBox object Test extends App { val toolbox = cm.mkToolBox() val rupkg = cm.staticModule("scala.reflect.runtime.package") - val rusym = build.selectTerm(rupkg, "universe") + val rusym = reificationSupport.selectTerm(rupkg, "universe") val NullaryMethodType(rutpe) = rusym.typeSignature - val ru = build.newFreeTerm("ru", scala.reflect.runtime.universe) - build.setTypeSignature(ru, rutpe) + val ru = reificationSupport.newFreeTerm("ru", scala.reflect.runtime.universe) + reificationSupport.setTypeSignature(ru, rutpe) val tree1 = Apply(Select(Ident(ru), TermName("reify")), List(Apply(Select(Ident(TermName("scala")), TermName("Array")), List(Literal(Constant(2)))))) val ttree1 = toolbox.typecheck(tree1, withMacrosDisabled = false) diff --git a/test/files/scalacheck/quasiquotes/ArbitraryTreesAndNames.scala b/test/files/scalacheck/quasiquotes/ArbitraryTreesAndNames.scala index fe90d7222f..7bd37140a7 100644 --- a/test/files/scalacheck/quasiquotes/ArbitraryTreesAndNames.scala +++ b/test/files/scalacheck/quasiquotes/ArbitraryTreesAndNames.scala @@ -1,5 +1,5 @@ import org.scalacheck._, Prop._, Gen._, Arbitrary._ -import scala.reflect.runtime.universe._, Flag._ +import scala.reflect.runtime.universe._, internal._, Flag._ trait ArbitraryTreesAndNames { def smallList[T](size: Int, g: Gen[T]) = { diff --git a/test/files/scalacheck/quasiquotes/DefinitionConstructionProps.scala b/test/files/scalacheck/quasiquotes/DefinitionConstructionProps.scala index dcd4f63a4d..618ea5be11 100644 --- a/test/files/scalacheck/quasiquotes/DefinitionConstructionProps.scala +++ b/test/files/scalacheck/quasiquotes/DefinitionConstructionProps.scala @@ -1,5 +1,5 @@ import org.scalacheck._, Prop._, Gen._, Arbitrary._ -import scala.reflect.runtime.universe._, Flag._, build.ScalaDot +import scala.reflect.runtime.universe._, Flag._, internal.reificationSupport.ScalaDot object DefinitionConstructionProps extends QuasiquoteProperties("definition construction") diff --git a/test/files/scalacheck/quasiquotes/DefinitionDeconstructionProps.scala b/test/files/scalacheck/quasiquotes/DefinitionDeconstructionProps.scala index e2d1757d48..e9337bc584 100644 --- a/test/files/scalacheck/quasiquotes/DefinitionDeconstructionProps.scala +++ b/test/files/scalacheck/quasiquotes/DefinitionDeconstructionProps.scala @@ -1,5 +1,5 @@ import org.scalacheck._, Prop._, Gen._, Arbitrary._ -import scala.reflect.runtime.universe._, Flag._ +import scala.reflect.runtime.universe._, Flag._, internal.reificationSupport.SyntacticClassDef object DefinitionDeconstructionProps extends QuasiquoteProperties("definition deconstruction") @@ -94,7 +94,7 @@ trait ClassDeconstruction { self: QuasiquoteProperties => property("SI-7979") = test { val PARAMACCESSOR = (1 << 29).toLong.asInstanceOf[FlagSet] assertThrows[MatchError] { - val build.SyntacticClassDef(_, _, _, _, _, _, _, _, _) = + val SyntacticClassDef(_, _, _, _, _, _, _, _, _) = ClassDef( Modifiers(), TypeName("Foo"), List(), Template( diff --git a/test/files/scalacheck/quasiquotes/ForProps.scala b/test/files/scalacheck/quasiquotes/ForProps.scala index e71822aaea..87ff7f8205 100644 --- a/test/files/scalacheck/quasiquotes/ForProps.scala +++ b/test/files/scalacheck/quasiquotes/ForProps.scala @@ -1,5 +1,5 @@ import org.scalacheck._, Prop._, Gen._, Arbitrary._ -import scala.reflect.runtime.universe._, Flag._, build.{Ident => _, _} +import scala.reflect.runtime.universe._, Flag._, internal.reificationSupport.{Ident => _, _} object ForProps extends QuasiquoteProperties("for") { case class ForEnums(val value: List[Tree]) diff --git a/test/files/scalacheck/quasiquotes/QuasiquoteProperties.scala b/test/files/scalacheck/quasiquotes/QuasiquoteProperties.scala index 589b8d4d72..2600b0c120 100644 --- a/test/files/scalacheck/quasiquotes/QuasiquoteProperties.scala +++ b/test/files/scalacheck/quasiquotes/QuasiquoteProperties.scala @@ -1,7 +1,7 @@ import org.scalacheck._, Prop._, Gen._, Arbitrary._ import scala.tools.reflect.{ToolBox, ToolBoxError} import scala.reflect.runtime.currentMirror -import scala.reflect.runtime.universe._, Flag._ +import scala.reflect.runtime.universe._, Flag._, internal.reificationSupport.setSymbol class QuasiquoteProperties(name: String) extends Properties(name) with ArbitraryTreesAndNames with Helpers @@ -116,5 +116,5 @@ trait Helpers { } } - val scalapkg = build.setSymbol(Ident(TermName("scala")), definitions.ScalaPackage) + val scalapkg = setSymbol(Ident(TermName("scala")), definitions.ScalaPackage) } diff --git a/test/files/scalacheck/quasiquotes/TypeConstructionProps.scala b/test/files/scalacheck/quasiquotes/TypeConstructionProps.scala index 78b54a4e49..ea9f734a0b 100644 --- a/test/files/scalacheck/quasiquotes/TypeConstructionProps.scala +++ b/test/files/scalacheck/quasiquotes/TypeConstructionProps.scala @@ -1,5 +1,5 @@ import org.scalacheck._, Prop._, Gen._, Arbitrary._ -import scala.reflect.runtime.universe._, Flag._ +import scala.reflect.runtime.universe._, Flag._, internal.reificationSupport.ScalaDot object TypeConstructionProps extends QuasiquoteProperties("type construction") { property("bare idents contain type names") = test { @@ -13,7 +13,7 @@ object TypeConstructionProps extends QuasiquoteProperties("type construction") property("tuple type") = test { val empty = List[Tree]() val ts = List(tq"t1", tq"t2") - assert(tq"(..$empty)" ≈ build.ScalaDot(TypeName("Unit"))) + assert(tq"(..$empty)" ≈ ScalaDot(TypeName("Unit"))) assert(tq"(..$ts)" ≈ tq"scala.Tuple2[t1, t2]") assert(tq"(t0, ..$ts)" ≈ tq"scala.Tuple3[t0, t1, t2]") } diff --git a/test/files/scalacheck/quasiquotes/TypecheckedProps.scala b/test/files/scalacheck/quasiquotes/TypecheckedProps.scala index 3afb47952c..1f8df168cf 100644 --- a/test/files/scalacheck/quasiquotes/TypecheckedProps.scala +++ b/test/files/scalacheck/quasiquotes/TypecheckedProps.scala @@ -1,5 +1,5 @@ import org.scalacheck._, Prop._, Gen._, Arbitrary._ -import scala.reflect.runtime.universe._, Flag._, build.{Ident => _, _} +import scala.reflect.runtime.universe._, Flag._, internal.reificationSupport.{Ident => _, _} object TypecheckedProps extends QuasiquoteProperties("typechecked") { def original(tree: Tree) = tree match { diff --git a/test/junit/scala/reflect/internal/MirrorsTest.scala b/test/junit/scala/reflect/internal/MirrorsTest.scala index 9108af139f..8f2a92f27a 100644 --- a/test/junit/scala/reflect/internal/MirrorsTest.scala +++ b/test/junit/scala/reflect/internal/MirrorsTest.scala @@ -1,18 +1,22 @@ -package scala.reflect.internal +// looks like tests are compiled by the old version of compiler +// therefore certain scala-reflect tests give me AMEs after the SI-8063 overhaul +// TODO: fix this in build.xml -import org.junit.Assert._ -import org.junit.Test -import org.junit.runner.RunWith -import org.junit.runners.JUnit4 +// package scala.reflect.internal -@RunWith(classOf[JUnit4]) -class MirrorsTest { - @Test def rootCompanionsAreConnected(): Unit = { - val cm = scala.reflect.runtime.currentMirror - import cm._ - assertEquals("RootPackage.moduleClass == RootClass", RootClass, RootPackage.moduleClass) - assertEquals("RootClass.module == RootPackage", RootPackage, RootClass.module) - assertEquals("EmptyPackage.moduleClass == EmptyPackageClass", EmptyPackageClass, EmptyPackage.moduleClass) - assertEquals("EmptyPackageClass.module == EmptyPackage", EmptyPackage, EmptyPackageClass.module) - } -}
\ No newline at end of file +// import org.junit.Assert._ +// import org.junit.Test +// import org.junit.runner.RunWith +// import org.junit.runners.JUnit4 + +// @RunWith(classOf[JUnit4]) +// class MirrorsTest { +// @Test def rootCompanionsAreConnected(): Unit = { +// val cm = scala.reflect.runtime.currentMirror +// import cm._ +// assertEquals("RootPackage.moduleClass == RootClass", RootClass, RootPackage.moduleClass) +// assertEquals("RootClass.module == RootPackage", RootPackage, RootClass.module) +// assertEquals("EmptyPackage.moduleClass == EmptyPackageClass", EmptyPackageClass, EmptyPackage.moduleClass) +// assertEquals("EmptyPackageClass.module == EmptyPackage", EmptyPackage, EmptyPackageClass.module) +// } +// }
\ No newline at end of file diff --git a/test/junit/scala/reflect/internal/PrintersTest.scala b/test/junit/scala/reflect/internal/PrintersTest.scala index a08a29a9d1..9fec112c99 100644 --- a/test/junit/scala/reflect/internal/PrintersTest.scala +++ b/test/junit/scala/reflect/internal/PrintersTest.scala @@ -1,820 +1,824 @@ -package scala.reflect.internal - -import org.junit.Test -import org.junit.Assert._ -import scala.tools.reflect._ -import scala.reflect.runtime.universe._ -import scala.reflect.runtime.{currentMirror=>cm} -import org.junit.runner.RunWith -import org.junit.runners.JUnit4 - -@RunWith(classOf[JUnit4]) -class PrintersTest extends BasePrintTests - with ClassPrintTests - with TraitPrintTests - with ValAndDefPrintTests - with QuasiTreesPrintTests - with PackagePrintTests - -object PrinterHelper { - val toolbox = cm.mkToolBox() - def assertPrintedCode(code: String, tree: Tree = EmptyTree) = { - def processEOL(resultCode: String) = { - import scala.reflect.internal.Chars._ - resultCode.replaceAll(s"$CR$LF", s"$LF").replace(CR, LF) - } - - val toolboxTree = - try{ - toolbox.parse(code) - } catch { - case e:scala.tools.reflect.ToolBoxError => throw new Exception(e.getMessage + ": " + code) - } - if (tree ne EmptyTree) assertEquals("using quasiquote or given tree"+"\n", code.trim, processEOL(showCode(tree))) - else assertEquals("using toolbox parser", code.trim, processEOL(showCode(toolboxTree))) - } - - implicit class StrContextStripMarginOps(val stringContext: StringContext) extends util.StripMarginInterpolator -} - -import PrinterHelper._ - -trait BasePrintTests { - @Test def testIdent = assertPrintedCode("*", Ident("*")) - - @Test def testConstant1 = assertPrintedCode("\"*\"", Literal(Constant("*"))) - - @Test def testConstant2 = assertPrintedCode("42", Literal(Constant(42))) - - @Test def testConstantFloat = assertPrintedCode("42.0F", Literal(Constant(42f))) - - @Test def testConstantDouble = assertPrintedCode("42.0", Literal(Constant(42d))) - - @Test def testConstantLong = assertPrintedCode("42L", Literal(Constant(42l))) - - @Test def testOpExpr = assertPrintedCode("(5).+(4)") - - @Test def testName1 = assertPrintedCode("class test") - - @Test def testName2 = assertPrintedCode("class *") - - @Test def testName4 = assertPrintedCode("class `a*`") - - @Test def testName5 = assertPrintedCode("val :::: = 1") - - @Test def testName6 = assertPrintedCode("val `::::t` = 1") - - @Test def testName7 = assertPrintedCode("""class \/""") - - @Test def testName8 = assertPrintedCode("""class \\\\""") - - @Test def testName9 = assertPrintedCode("""class test_\/""") - - @Test def testName10 = assertPrintedCode("""class `*_*`""") - - @Test def testName11 = assertPrintedCode("""class `a_*`""") - - @Test def testName12 = assertPrintedCode("""class `*_a`""") - - @Test def testName13 = assertPrintedCode("""class a_a""") - - @Test def testName14 = assertPrintedCode("val x$11 = 5") - - @Test def testName15 = assertPrintedCode("class `[]`") - - @Test def testName16 = assertPrintedCode("class `()`") - - @Test def testName17 = assertPrintedCode("class `{}`") - - @Test def testName18 = assertPrintedCode("class <>") - - @Test def testName19 = assertPrintedCode("""class `class`""") - - @Test def testName20 = assertPrintedCode("""class `test name`""") - - @Test def testIfExpr1 = assertPrintedCode(sm""" - |if (a) - | ((expr1): Int) - |else - | ((expr2): Int)""") - - @Test def testIfExpr2 = assertPrintedCode(sm""" - |(if (a) - | { - | expr1; - | () - | } - |else - | { - | expr2; - | () - | }).toString""") - - @Test def testIfExpr3 = assertPrintedCode(sm""" - |(if (a) - | { - | expr1; - | () - | } - |else - | { - | expr2; - | () - | }).method1().method2()""") - - //val x = true && true && false.! - @Test def testBooleanExpr1 = assertPrintedCode("val x = true.&&(true).&&(false.!)") - - //val x = true && !(true && false) - @Test def testBooleanExpr2 = assertPrintedCode("val x = true.&&(true.&&(false).`unary_!`)") - - @Test def testNewExpr1 = assertPrintedCode("new foo()") - - //new foo { test } - @Test def testNewExpr2 = assertPrintedCode(sm""" - |{ - | final class $$anon extends foo { - | test - | }; - | new $$anon() - |}""") - - @Test def testNewExpr3 = assertPrintedCode("new foo[t]()") - - @Test def testNewExpr4 = assertPrintedCode("new foo(x)") - - @Test def testNewExpr5 = assertPrintedCode("new foo[t](x)") - - //new foo[t](x) { () } - @Test def testNewExpr6 = assertPrintedCode(sm""" - |{ - | final class $$anon extends foo[t](x) { - | () - | }; - | new $$anon() - |}""") - - //new foo with bar - @Test def testNewExpr7 = assertPrintedCode(sm""" - |{ - | final class $$anon extends foo with bar; - | new $$anon() - |}""") - - //new { anonymous } - @Test def testNewExpr8 = assertPrintedCode(sm""" - |{ - | final class $$anon { - | anonymous - | }; - | new $$anon() - |}""") - - //new { val early = 1 } with Parent[Int] { body } - @Test def testNewExpr9 = assertPrintedCode(sm""" - |{ - | final class $$anon extends { - | val early = 1 - | } with Parent[Int] { - | body - | }; - | new $$anon() - |}""") - - //new Foo { self => } - @Test def testNewExpr10 = assertPrintedCode(sm""" - |{ - | final class $$anon extends Foo { self => - | - | }; - | new $$anon() - |}""") - - @Test def testReturn = assertPrintedCode("def test: Int = return 42") - - @Test def testFunc1 = assertPrintedCode("List(1, 2, 3).map(((i: Int) => i.-(1)))") - - //val sum: Seq[Int] => Int = _ reduceLeft (_+_) - @Test def testFunc2 = assertPrintedCode("val sum: _root_.scala.Function1[Seq[Int], Int] = ((x$1) => x$1.reduceLeft(((x$2, x$3) => x$2.+(x$3))))") - - //List(1, 2, 3) map (_ - 1) - @Test def testFunc3 = assertPrintedCode("List(1, 2, 3).map(((x$1) => x$1.-(1)))") - - @Test def testImport1 = assertPrintedCode("import scala.collection.mutable") - - @Test def testImport2 = assertPrintedCode("import java.lang.{String=>Str}") - - @Test def testImport3 = assertPrintedCode("import java.lang.{String=>Str, Object=>_, _}") - - @Test def testImport4 = assertPrintedCode("import scala.collection._") -} - -trait ClassPrintTests { - @Test def testClass = assertPrintedCode("class *") - - @Test def testClassWithBody = assertPrintedCode(sm""" - |class X { - | def y = "test" - |}""") - - @Test def testClassWithPublicParams = assertPrintedCode("class X(val x: Int, val s: String)") - - @Test def testClassWithParams1 = assertPrintedCode("class X(x: Int, s: String)") - - @Test def testClassWithParams2 = assertPrintedCode("class X(@test x: Int, s: String)") - - @Test def testClassWithParams3 = assertPrintedCode("class X(implicit x: Int, s: String)") - - @Test def testClassWithParams4 = assertPrintedCode("class X(implicit @test x: Int, s: String)") - - @Test def testClassWithParams5 = assertPrintedCode("class X(override private[this] val x: Int, s: String) extends Y") - - @Test def testClassWithParams6 = assertPrintedCode("class X(@test1 override private[this] val x: Int, @test2(param1 = 7) s: String) extends Y") - - @Test def testClassWithParams7 = assertPrintedCode("class X protected (val x: Int, val s: String)") - - @Test def testClassWithParams8 = assertPrintedCode("class X(var x: Int)") - - @Test def testClassWithParams9 = assertPrintedCode("class X(var x: Int*)") - - @Test def testClassWithByNameParam = assertPrintedCode("class X(x: => Int)") - - @Test def testClassWithDefault = assertPrintedCode("class X(var x: Int = 5)") - - @Test def testClassWithParams10 = assertPrintedCode("class X(protected[zzz] var x: Int)") - - @Test def testClassWithParams11 = assertPrintedCode("class X(override var x: Int) extends F(x) with E(x)") - - @Test def testClassWithParams12 = assertPrintedCode("class X(val y: Int)()(var z: Double)") - - @Test def testClassWithImplicitParams = assertPrintedCode("class X(var i: Int)(implicit val d: Double, var f: Float)") - - @Test def testClassWithEarly = assertPrintedCode(sm""" - |class X(var i: Int) extends { - | val a: String = i; - | type B - |} with Y""") - - @Test def testClassWithThrow1 = assertPrintedCode(sm""" - |class Throw1 { - | throw new Exception("exception!") - |}""") - - @Test def testClassWithThrow2 = assertPrintedCode(sm""" - |class Throw2 { - | var msg = " "; - | val e = new Exception(msg); - | throw e - |}""") - - /* - class Test { - val (a, b) = (1, 2) - } - */ - @Test def testClassWithAssignmentWithTuple1 = assertPrintedCode(sm""" - |class Test { - | private[this] val x$$1 = (scala.Tuple2(1, 2): @scala.unchecked) match { - | case scala.Tuple2((a @ _), (b @ _)) => scala.Tuple2(a, b) - | }; - | val a = x$$1._1; - | val b = x$$1._2 - |}""") - - /* - class Test { - val (a, b) = (1).->(2) - } - */ - @Test def testClassWithAssignmentWithTuple2 = assertPrintedCode(sm""" - |class Test { - | private[this] val x$$1 = ((1).->(2): @scala.unchecked) match { - | case scala.Tuple2((a @ _), (b @ _)) => scala.Tuple2(a, b) - | }; - | val a = x$$1._1; - | val b = x$$1._2 - |}""") - - /* - class Test { - val List(one, three, five) = List(1,3,5) - } - */ - @Test def testClassWithPatternMatchInAssignment = assertPrintedCode(sm""" - |class Test { - | private[this] val x$$1 = (List(1, 3, 5): @scala.unchecked) match { - | case List((one @ _), (three @ _), (five @ _)) => scala.Tuple3(one, three, five) - | }; - | val one = x$$1._1; - | val three = x$$1._2; - | val five = x$$1._3 - |}""") - - //class A(l: List[_]) - @Test def testClassWithExistentialParameter1 = assertPrintedCode(sm""" - |class Test(l: (List[_$$1] forSome { - | type _$$1 - |}))""") - - @Test def testClassWithExistentialParameter2 = assertPrintedCode(sm""" - |class B(l: (List[T] forSome { - | type T - |}))""") - - @Test def testClassWithCompoundTypeTree = assertPrintedCode(sm""" - |{ - | trait A; - | trait B; - | abstract class C(val a: A with B) { - | def method(x: A with B with C { - | val x: Float - | }): A with B - | }; - | () - |}""") - - @Test def testClassWithSelectFromTypeTree = assertPrintedCode(sm""" - |{ - | trait A { - | type T - | }; - | class B(t: (A)#T); - | () - |}""") - - @Test def testImplicitClass = assertPrintedCode("implicit class X(protected[zzz] var x: Int)") - - @Test def testAbstractClass = assertPrintedCode("abstract class X(protected[zzz] var x: Int)") - - @Test def testCaseClassWithParams1 = assertPrintedCode("case class X(x: Int, s: String)") - - @Test def testCaseClassWithParams2 = assertPrintedCode("case class X(protected val x: Int, s: String)") - - @Test def testCaseClassWithParams3 = assertPrintedCode("case class X(implicit x: Int, s: String)") - - @Test def testCaseClassWithParams4 = assertPrintedCode("case class X(override val x: Int, s: String) extends Y") - - @Test def testCaseClassWithBody = assertPrintedCode(sm""" - |case class X() { - | def y = "test" - |}""") - - @Test def testLocalClass = assertPrintedCode(sm""" - |def test = { - | class X(var a: Int) { - | def y = "test" - | }; - | new X(5) - |}""") - - @Test def testLocalCaseClass = assertPrintedCode(sm""" - |def test = { - | case class X(var a: Int) { - | def y = "test" - | }; - | new X(5) - |}""") - - @Test def testSuperInClass = assertPrintedCode(sm""" - |{ - | trait Root { - | def r = "Root" - | }; - | class X extends Root { - | def superX = super.r - | }; - | class Y extends X with Root { - | class Inner { - | val myY = Y.super.r - | }; - | def fromX = super[X].r; - | def fromRoot = super[Root].r - | }; - | () - |}""") - - @Test def testThisInClass = assertPrintedCode(sm""" - |class Outer { - | class Inner { - | val outer = Root.this - | }; - | val self = this - |}""") - - @Test def testCaseClassWithParamsAndBody = assertPrintedCode(sm""" - |case class X(x: Int, s: String) { - | def y = "test" - |}""") - - @Test def testObject = assertPrintedCode("object *") - - @Test def testObjectWithBody = assertPrintedCode(sm""" - |object X { - | def y = "test" - |}""") - - @Test def testObjectWithEarly1 = assertPrintedCode(sm""" - |object X extends { - | val early: T = v - |} with Bar""") - - @Test def testObjectWithEarly2 = assertPrintedCode(sm""" - |object X extends { - | val early: T = v; - | type EarlyT = String - |} with Bar""") - - @Test def testObjectWithSelf = assertPrintedCode(sm""" - |object Foo extends Foo { self => - | body - |}""") - - @Test def testObjectInh = assertPrintedCode("private[Y] object X extends Bar with Baz") - - @Test def testObjectWithPatternMatch1 = assertPrintedCode(sm""" - |object PM1 { - | List(1, 2) match { - | case (i @ _) => i - | } - |}""") - - @Test def testObjectWithPatternMatch2 = assertPrintedCode(sm""" - |object PM2 { - | List(1, 2).map({ - | case (i @ _) if i.>(5) => i - | }) - |}""") - - //case i: Int => i - @Test def testObjectWithPatternMatch3 = assertPrintedCode(sm""" - |object PM3 { - | List(1, 2).map({ - | case (i @ ((_): Int)) => i - | }) - |}""") - - //case a @ (i: Int) => i - @Test def testObjectWithPatternMatch4 = assertPrintedCode(sm""" - |object PM4 { - | List(1, 2).map({ - | case (a @ (i @ ((_): Int))) => i - | }) - |}""") - - @Test def testObjectWithPatternMatch5 = assertPrintedCode(sm""" - |object PM5 { - | List(1, 2).map({ - | case _ => 42 - | }) - |}""") - - @Test def testObjectWithPatternMatch6 = assertPrintedCode(sm""" - |object PM6 { - | List(1, 2) match { - | case ::((x @ _), (xs @ _)) => x - | } - |}""") - - @Test def testObjectWithPatternMatch7 = assertPrintedCode(sm""" - |object PM7 { - | List(1, 2).map({ - | case (0| 1) => true - | case _ => false - | }) - |}""") - - @Test def testObjectWithPatternMatch8 = assertPrintedCode(sm""" - |object PM8 { - | "abcde".toList match { - | case Seq((car @ _), _*) => car - | } - |}""") - - @Test def testObjectWithPatternMatch9 = assertPrintedCode(sm""" - |{ - | object Extractor { - | def unapply(i: Int) = Some(i) - | }; - | object PM9 { - | 42 match { - | case (a @ Extractor((i @ _))) => i - | } - | }; - | () - |}""") - - @Test def testObjectWithPartialFunc = assertPrintedCode(sm""" - |object Test { - | def partFuncTest[A, B](e: Either[A, B]): scala.Unit = e match { - | case Right(_) => () - | } - |}""") - - @Test def testObjectWithTry = assertPrintedCode(sm""" - |object Test { - | import java.io; - | var file: PrintStream = null; - | try { - | val out = new FileOutputStream("myfile.txt"); - | file = new PrintStream(out) - | } catch { - | case (ioe @ ((_): IOException)) => println("ioe") - | case (e @ ((_): Exception)) => println("e") - | } finally println("finally") - |}""") -} - -trait TraitPrintTests { - @Test def testTrait = assertPrintedCode("trait *") - - @Test def testTraitWithBody = assertPrintedCode(sm""" - |trait X { - | def y = "test" - |}""") - - @Test def testTraitWithSelfTypeAndBody = assertPrintedCode(sm""" - |trait X { self: Order => - | def y = "test" - |}""") - - @Test def testTraitWithSelf1 = assertPrintedCode(sm""" - |trait X { self => - | def y = "test" - |}""") - - @Test def testTraitWithSelf2 = assertPrintedCode(sm""" - |trait X { self: Foo with Bar => - | val x: Int = 1 - |}""") - - @Test def testTraitTypeParams = assertPrintedCode("trait X[A, B]") - - @Test def testTraitWithBody2 = assertPrintedCode(sm""" - |trait X { - | def foo: scala.Unit; - | val bar: Baz - |}""") - - @Test def testTraitWithInh = assertPrintedCode("trait X extends A with B") - - @Test def testTraitWithEarly1 = assertPrintedCode(sm""" - |trait X extends { - | val x: Int = 1 - |} with Any""") - - @Test def testTraitWithEarly2 = assertPrintedCode(sm""" - |trait X extends { - | val x: Int = 0; - | type Foo = Bar - |} with Y""") - - @Test def testTraitWithEarly3 = assertPrintedCode(sm""" - |trait X extends { - | val x: Int = 5; - | val y: Double = 4.0; - | type Foo; - | type XString = String - |} with Y""") - - @Test def testTraitWithEarly4 = assertPrintedCode(sm""" - |trait X extends { - | val x: Int = 5; - | val y: Double = 4.0; - | type Foo; - | type XString = String - |} with Y { - | val z = 7 - |}""") - - @Test def testTraitWithEarly5 = assertPrintedCode(sm""" - |trait X extends { - | override protected[this] val x: Int = 5; - | val y: Double = 4.0; - | private type Foo; - | private[ee] type XString = String - |} with Y { - | val z = 7 - |}""") - - @Test def testTraitWithSingletonTypeTree = assertPrintedCode(sm""" - |trait Test { - | def testReturnSingleton(): this.type - |}""") - - @Test def testTraitWithThis = assertPrintedCode(sm""" - |trait Test { _ : X with Y => - | - |}""", q"trait Test { this: X with Y => }") - - @Test def testTraitWithWhile1 = assertPrintedCode(sm""" - |trait Test { - | while (true.!=(false)) - | println("testing...") - | - |}""") - - @Test def testTraitWithWhile2 = assertPrintedCode(sm""" - |trait Test { - | while (true) - | { - | println("testing..."); - | println("testing...") - | } - | - |}""") - - @Test def testTraitWithDoWhile1 = assertPrintedCode(sm""" - |trait Test { - | do - | println("testing...") - | while (true) - |}""") - - @Test def testTraitWithTypes = assertPrintedCode(sm""" - |trait Test { - | type A = Int; - | type B >: Nothing <: AnyRef; - | protected type C >: Nothing; - | type D <: AnyRef - |}""") -} - -trait ValAndDefPrintTests { - @Test def testVal1 = assertPrintedCode("val a: Unit = null") - - @Test def testVal2 = assertPrintedCode("val * : Unit = null") - - @Test def testVal3 = assertPrintedCode("val a_ : Unit = null") - - @Test def testDef1 = assertPrintedCode("def a: Unit = null") - - @Test def testDef2 = assertPrintedCode("def * : Unit = null") - - @Test def testDef3 = assertPrintedCode("def a_(x: Int): Unit = null") - - @Test def testDef4 = assertPrintedCode("def a_ : Unit = null") - - @Test def testDef5 = assertPrintedCode("def a_(* : Int): Unit = null") - - @Test def testDef6 = assertPrintedCode("def a_(b_ : Int): Unit = null") - - @Test def testDef7 = assertPrintedCode(sm""" - |{ - | def test1 = (); - | def test2() = () - |}""", - Block( - DefDef(NoMods, newTermName("test1"), Nil, Nil, EmptyTree, Literal(Constant(()))), - DefDef(NoMods, newTermName("test2"), Nil, Nil :: Nil, EmptyTree, Literal(Constant(()))) - ) - ) - - @Test def testDef8 = { - val arg = ValDef(Modifiers(Flag.IMPLICIT) , newTermName("a"), - AppliedTypeTree(Ident(newTypeName("R")), List(Ident(newTypeName("X")))), EmptyTree) - - //def m[X](implicit a: R[X]) = () - val tree = DefDef(NoMods, newTermName("test"), TypeDef(NoMods, newTypeName("X"), Nil, EmptyTree) :: Nil, - List(List(arg)), EmptyTree, Literal(Constant(()))) - - assertPrintedCode("def test[X](implicit a: R[X]) = ()", tree) - } - - @Test def testDefWithParams1 = assertPrintedCode("def foo(x: Int*) = null") - - @Test def testDefWithParams2 = assertPrintedCode("def foo(x: Int)(y: Int = 1) = null") - - @Test def testDefWithTypeParams1 = assertPrintedCode("def foo[A, B, C](x: A)(y: Int = 1): C = null") - - @Test def testDefWithTypeParams2 = assertPrintedCode("def foo[A, B <: Bar] = null") - - @Test def testDefWithAnn1 = assertPrintedCode("@annot def foo = null") - - @Test def testDefWithAnn2 = assertPrintedCode("@a(x) def foo = null") - - @Test def testDefWithAnn3 = assertPrintedCode("@Foo[A, B] def foo = null") - - @Test def testDefWithAnn4 = assertPrintedCode("@Foo(a)(b)(x, y) def foo = null") - - @Test def testDefWithAnn5 = assertPrintedCode("@Foo[A, B](a)(b) @Bar def foo(x: Int) = null") - - @Test def testDefWithAnn6 = assertPrintedCode("@test1(new test2()) def foo = 42") - - @Test def testDefWithAnn7 = assertPrintedCode("@`t*` def foo = 42") - - @Test def testDefWithAnn8 = assertPrintedCode("@throws(classOf[Exception]) def foo = throw new Exception()") - - @Test def testAnnotated1 = assertPrintedCode("def foo = 42: @test1") - - @Test def testAnnotated2 = assertPrintedCode("""def foo = 42: @test1(42, z = "5")""") - - @Test def testAnnotated3 = assertPrintedCode("def foo = (42: @test1): @test2(new test1())") - - @Test def testAnnotated4 = assertPrintedCode("""def foo = 42: @test1(4, "testing")(4.2)""") - - @Test def testAnnotated5 = assertPrintedCode("""def foo = (42: @test1(4, "testing")(4.2)): @test2(1, "bar")(3.14)""") - - @Test def testAnnotated6 = assertPrintedCode("def foo = ((42: @test1): @test2(new test1())): @test3(1)(2, 3)(4)") - - @Test def testAnnotated7 = assertPrintedCode(sm""" - |(x: @unchecked) match { - | case ((_): Int) => true - | case _ => false - |}""") - - @Test def testAnnotated8 = assertPrintedCode(sm""" - |((x: @unchecked): @test1(1, "testing")(3.14)) match { - | case _ => true - |}""") -} - -trait PackagePrintTests { - @Test def testPackage1 = assertPrintedCode(sm""" - |package foo.bar { - | - |}""") - - @Test def testPackage2 = assertPrintedCode(sm""" - |package foo { - | class C - | - | object D - |}""") - - //package object foo extends a with b - @Test def testPackage3 = assertPrintedCode(sm""" - |package foo { - | object `package` extends a with b - |}""") - - //package object foo { def foo; val x = 1 } - @Test def testPackage4 = assertPrintedCode(sm""" - |package foo { - | object `package` { - | def foo: scala.Unit; - | val x = 1 - | } - |}""") - - //package object foo extends { val x = 1; type I = Int } with Any - @Test def testPackage5 = assertPrintedCode(sm""" - |package foo { - | object `package` extends { - | val x = 1; - | type I = Int - | } with Any - |}""") -} - -trait QuasiTreesPrintTests { - @Test def testQuasiIdent = assertPrintedCode("*", q"*") - - @Test def testQuasiVal = assertPrintedCode("val * : Unit = null", q"val * : Unit = null") - - @Test def testQuasiDef = assertPrintedCode("def * : Unit = null", q"def * : Unit = null") - - @Test def testQuasiTrait = assertPrintedCode("trait *", q"trait *") - - @Test def testQuasiClass = assertPrintedCode("class *", q"class *") - - @Test def testQuasiClassWithPublicParams = assertPrintedCode( "class X(val x: Int, val s: String)", q"class X(val x: Int, val s:String)" ) - - @Test def testQuasiClassWithParams = assertPrintedCode("class X(x: Int, s: String)", q"class X(x: Int, s:String)") - - @Test def testQuasiObject = assertPrintedCode("object *", q"object *") - - @Test def testQuasiObjectWithBody = assertPrintedCode(sm""" - |object X { - | def y = "test" - |}""", q"""object X{ def y = "test" }""") - - @Test def testQuasiClassWithBody = assertPrintedCode(sm""" - |class X { - | def y = "test" - |}""", q"""class X{ def y = "test" }""") - - @Test def testQuasiTraitWithBody = assertPrintedCode(sm""" - |trait X { - | def y = "test" - |}""", q"""trait X{ def y = "test" }""") - - @Test def testQuasiTraitWithSelfTypeAndBody = assertPrintedCode(sm""" - |trait X { self: Order => - | def y = "test" - |}""", q"""trait X{ self: Order => def y = "test" }""") - - @Test def testQuasiTraitWithSelf = assertPrintedCode(sm""" - |trait X { self => - | def y = "test" - |}""", q"""trait X{ self => def y = "test" }""") - - @Test def testQuasiCaseClassWithBody = assertPrintedCode(sm""" - |case class X() { - | def y = "test" - |}""", q"""case class X() { def y = "test" }""") - - @Test def testQuasiCaseClassWithParamsAndBody = assertPrintedCode(sm""" - |case class X(x: Int, s: String) { - | def y = "test" - |}""", q"""case class X(x: Int, s: String){ def y = "test" }""") -} +// looks like tests are compiled by the old version of compiler +// therefore certain scala-reflect tests give me AMEs after the SI-8063 overhaul +// TODO: fix this in build.xml + +// package scala.reflect.internal + +// import org.junit.Test +// import org.junit.Assert._ +// import scala.tools.reflect._ +// import scala.reflect.runtime.universe._ +// import scala.reflect.runtime.{currentMirror=>cm} +// import org.junit.runner.RunWith +// import org.junit.runners.JUnit4 + +// @RunWith(classOf[JUnit4]) +// class PrintersTest extends BasePrintTests +// with ClassPrintTests +// with TraitPrintTests +// with ValAndDefPrintTests +// with QuasiTreesPrintTests +// with PackagePrintTests + +// object PrinterHelper { +// val toolbox = cm.mkToolBox() +// def assertPrintedCode(code: String, tree: Tree = EmptyTree) = { +// def processEOL(resultCode: String) = { +// import scala.reflect.internal.Chars._ +// resultCode.replaceAll(s"$CR$LF", s"$LF").replace(CR, LF) +// } + +// val toolboxTree = +// try{ +// toolbox.parse(code) +// } catch { +// case e:scala.tools.reflect.ToolBoxError => throw new Exception(e.getMessage + ": " + code) +// } +// if (tree ne EmptyTree) assertEquals("using quasiquote or given tree"+"\n", code.trim, processEOL(showCode(tree))) +// else assertEquals("using toolbox parser", code.trim, processEOL(showCode(toolboxTree))) +// } + +// implicit class StrContextStripMarginOps(val stringContext: StringContext) extends util.StripMarginInterpolator +// } + +// import PrinterHelper._ + +// trait BasePrintTests { +// @Test def testIdent = assertPrintedCode("*", Ident("*")) + +// @Test def testConstant1 = assertPrintedCode("\"*\"", Literal(Constant("*"))) + +// @Test def testConstant2 = assertPrintedCode("42", Literal(Constant(42))) + +// @Test def testConstantFloat = assertPrintedCode("42.0F", Literal(Constant(42f))) + +// @Test def testConstantDouble = assertPrintedCode("42.0", Literal(Constant(42d))) + +// @Test def testConstantLong = assertPrintedCode("42L", Literal(Constant(42l))) + +// @Test def testOpExpr = assertPrintedCode("(5).+(4)") + +// @Test def testName1 = assertPrintedCode("class test") + +// @Test def testName2 = assertPrintedCode("class *") + +// @Test def testName4 = assertPrintedCode("class `a*`") + +// @Test def testName5 = assertPrintedCode("val :::: = 1") + +// @Test def testName6 = assertPrintedCode("val `::::t` = 1") + +// @Test def testName7 = assertPrintedCode("""class \/""") + +// @Test def testName8 = assertPrintedCode("""class \\\\""") + +// @Test def testName9 = assertPrintedCode("""class test_\/""") + +// @Test def testName10 = assertPrintedCode("""class `*_*`""") + +// @Test def testName11 = assertPrintedCode("""class `a_*`""") + +// @Test def testName12 = assertPrintedCode("""class `*_a`""") + +// @Test def testName13 = assertPrintedCode("""class a_a""") + +// @Test def testName14 = assertPrintedCode("val x$11 = 5") + +// @Test def testName15 = assertPrintedCode("class `[]`") + +// @Test def testName16 = assertPrintedCode("class `()`") + +// @Test def testName17 = assertPrintedCode("class `{}`") + +// @Test def testName18 = assertPrintedCode("class <>") + +// @Test def testName19 = assertPrintedCode("""class `class`""") + +// @Test def testName20 = assertPrintedCode("""class `test name`""") + +// @Test def testIfExpr1 = assertPrintedCode(sm""" +// |if (a) +// | ((expr1): Int) +// |else +// | ((expr2): Int)""") + +// @Test def testIfExpr2 = assertPrintedCode(sm""" +// |(if (a) +// | { +// | expr1; +// | () +// | } +// |else +// | { +// | expr2; +// | () +// | }).toString""") + +// @Test def testIfExpr3 = assertPrintedCode(sm""" +// |(if (a) +// | { +// | expr1; +// | () +// | } +// |else +// | { +// | expr2; +// | () +// | }).method1().method2()""") + +// //val x = true && true && false.! +// @Test def testBooleanExpr1 = assertPrintedCode("val x = true.&&(true).&&(false.!)") + +// //val x = true && !(true && false) +// @Test def testBooleanExpr2 = assertPrintedCode("val x = true.&&(true.&&(false).`unary_!`)") + +// @Test def testNewExpr1 = assertPrintedCode("new foo()") + +// //new foo { test } +// @Test def testNewExpr2 = assertPrintedCode(sm""" +// |{ +// | final class $$anon extends foo { +// | test +// | }; +// | new $$anon() +// |}""") + +// @Test def testNewExpr3 = assertPrintedCode("new foo[t]()") + +// @Test def testNewExpr4 = assertPrintedCode("new foo(x)") + +// @Test def testNewExpr5 = assertPrintedCode("new foo[t](x)") + +// //new foo[t](x) { () } +// @Test def testNewExpr6 = assertPrintedCode(sm""" +// |{ +// | final class $$anon extends foo[t](x) { +// | () +// | }; +// | new $$anon() +// |}""") + +// //new foo with bar +// @Test def testNewExpr7 = assertPrintedCode(sm""" +// |{ +// | final class $$anon extends foo with bar; +// | new $$anon() +// |}""") + +// //new { anonymous } +// @Test def testNewExpr8 = assertPrintedCode(sm""" +// |{ +// | final class $$anon { +// | anonymous +// | }; +// | new $$anon() +// |}""") + +// //new { val early = 1 } with Parent[Int] { body } +// @Test def testNewExpr9 = assertPrintedCode(sm""" +// |{ +// | final class $$anon extends { +// | val early = 1 +// | } with Parent[Int] { +// | body +// | }; +// | new $$anon() +// |}""") + +// //new Foo { self => } +// @Test def testNewExpr10 = assertPrintedCode(sm""" +// |{ +// | final class $$anon extends Foo { self => +// | +// | }; +// | new $$anon() +// |}""") + +// @Test def testReturn = assertPrintedCode("def test: Int = return 42") + +// @Test def testFunc1 = assertPrintedCode("List(1, 2, 3).map(((i: Int) => i.-(1)))") + +// //val sum: Seq[Int] => Int = _ reduceLeft (_+_) +// @Test def testFunc2 = assertPrintedCode("val sum: _root_.scala.Function1[Seq[Int], Int] = ((x$1) => x$1.reduceLeft(((x$2, x$3) => x$2.+(x$3))))") + +// //List(1, 2, 3) map (_ - 1) +// @Test def testFunc3 = assertPrintedCode("List(1, 2, 3).map(((x$1) => x$1.-(1)))") + +// @Test def testImport1 = assertPrintedCode("import scala.collection.mutable") + +// @Test def testImport2 = assertPrintedCode("import java.lang.{String=>Str}") + +// @Test def testImport3 = assertPrintedCode("import java.lang.{String=>Str, Object=>_, _}") + +// @Test def testImport4 = assertPrintedCode("import scala.collection._") +// } + +// trait ClassPrintTests { +// @Test def testClass = assertPrintedCode("class *") + +// @Test def testClassWithBody = assertPrintedCode(sm""" +// |class X { +// | def y = "test" +// |}""") + +// @Test def testClassWithPublicParams = assertPrintedCode("class X(val x: Int, val s: String)") + +// @Test def testClassWithParams1 = assertPrintedCode("class X(x: Int, s: String)") + +// @Test def testClassWithParams2 = assertPrintedCode("class X(@test x: Int, s: String)") + +// @Test def testClassWithParams3 = assertPrintedCode("class X(implicit x: Int, s: String)") + +// @Test def testClassWithParams4 = assertPrintedCode("class X(implicit @test x: Int, s: String)") + +// @Test def testClassWithParams5 = assertPrintedCode("class X(override private[this] val x: Int, s: String) extends Y") + +// @Test def testClassWithParams6 = assertPrintedCode("class X(@test1 override private[this] val x: Int, @test2(param1 = 7) s: String) extends Y") + +// @Test def testClassWithParams7 = assertPrintedCode("class X protected (val x: Int, val s: String)") + +// @Test def testClassWithParams8 = assertPrintedCode("class X(var x: Int)") + +// @Test def testClassWithParams9 = assertPrintedCode("class X(var x: Int*)") + +// @Test def testClassWithByNameParam = assertPrintedCode("class X(x: => Int)") + +// @Test def testClassWithDefault = assertPrintedCode("class X(var x: Int = 5)") + +// @Test def testClassWithParams10 = assertPrintedCode("class X(protected[zzz] var x: Int)") + +// @Test def testClassWithParams11 = assertPrintedCode("class X(override var x: Int) extends F(x) with E(x)") + +// @Test def testClassWithParams12 = assertPrintedCode("class X(val y: Int)()(var z: Double)") + +// @Test def testClassWithImplicitParams = assertPrintedCode("class X(var i: Int)(implicit val d: Double, var f: Float)") + +// @Test def testClassWithEarly = assertPrintedCode(sm""" +// |class X(var i: Int) extends { +// | val a: String = i; +// | type B +// |} with Y""") + +// @Test def testClassWithThrow1 = assertPrintedCode(sm""" +// |class Throw1 { +// | throw new Exception("exception!") +// |}""") + +// @Test def testClassWithThrow2 = assertPrintedCode(sm""" +// |class Throw2 { +// | var msg = " "; +// | val e = new Exception(msg); +// | throw e +// |}""") + +// /* +// class Test { +// val (a, b) = (1, 2) +// } +// */ +// @Test def testClassWithAssignmentWithTuple1 = assertPrintedCode(sm""" +// |class Test { +// | private[this] val x$$1 = (scala.Tuple2(1, 2): @scala.unchecked) match { +// | case scala.Tuple2((a @ _), (b @ _)) => scala.Tuple2(a, b) +// | }; +// | val a = x$$1._1; +// | val b = x$$1._2 +// |}""") + +// /* +// class Test { +// val (a, b) = (1).->(2) +// } +// */ +// @Test def testClassWithAssignmentWithTuple2 = assertPrintedCode(sm""" +// |class Test { +// | private[this] val x$$1 = ((1).->(2): @scala.unchecked) match { +// | case scala.Tuple2((a @ _), (b @ _)) => scala.Tuple2(a, b) +// | }; +// | val a = x$$1._1; +// | val b = x$$1._2 +// |}""") + +// /* +// class Test { +// val List(one, three, five) = List(1,3,5) +// } +// */ +// @Test def testClassWithPatternMatchInAssignment = assertPrintedCode(sm""" +// |class Test { +// | private[this] val x$$1 = (List(1, 3, 5): @scala.unchecked) match { +// | case List((one @ _), (three @ _), (five @ _)) => scala.Tuple3(one, three, five) +// | }; +// | val one = x$$1._1; +// | val three = x$$1._2; +// | val five = x$$1._3 +// |}""") + +// //class A(l: List[_]) +// @Test def testClassWithExistentialParameter1 = assertPrintedCode(sm""" +// |class Test(l: (List[_$$1] forSome { +// | type _$$1 +// |}))""") + +// @Test def testClassWithExistentialParameter2 = assertPrintedCode(sm""" +// |class B(l: (List[T] forSome { +// | type T +// |}))""") + +// @Test def testClassWithCompoundTypeTree = assertPrintedCode(sm""" +// |{ +// | trait A; +// | trait B; +// | abstract class C(val a: A with B) { +// | def method(x: A with B with C { +// | val x: Float +// | }): A with B +// | }; +// | () +// |}""") + +// @Test def testClassWithSelectFromTypeTree = assertPrintedCode(sm""" +// |{ +// | trait A { +// | type T +// | }; +// | class B(t: (A)#T); +// | () +// |}""") + +// @Test def testImplicitClass = assertPrintedCode("implicit class X(protected[zzz] var x: Int)") + +// @Test def testAbstractClass = assertPrintedCode("abstract class X(protected[zzz] var x: Int)") + +// @Test def testCaseClassWithParams1 = assertPrintedCode("case class X(x: Int, s: String)") + +// @Test def testCaseClassWithParams2 = assertPrintedCode("case class X(protected val x: Int, s: String)") + +// @Test def testCaseClassWithParams3 = assertPrintedCode("case class X(implicit x: Int, s: String)") + +// @Test def testCaseClassWithParams4 = assertPrintedCode("case class X(override val x: Int, s: String) extends Y") + +// @Test def testCaseClassWithBody = assertPrintedCode(sm""" +// |case class X() { +// | def y = "test" +// |}""") + +// @Test def testLocalClass = assertPrintedCode(sm""" +// |def test = { +// | class X(var a: Int) { +// | def y = "test" +// | }; +// | new X(5) +// |}""") + +// @Test def testLocalCaseClass = assertPrintedCode(sm""" +// |def test = { +// | case class X(var a: Int) { +// | def y = "test" +// | }; +// | new X(5) +// |}""") + +// @Test def testSuperInClass = assertPrintedCode(sm""" +// |{ +// | trait Root { +// | def r = "Root" +// | }; +// | class X extends Root { +// | def superX = super.r +// | }; +// | class Y extends X with Root { +// | class Inner { +// | val myY = Y.super.r +// | }; +// | def fromX = super[X].r; +// | def fromRoot = super[Root].r +// | }; +// | () +// |}""") + +// @Test def testThisInClass = assertPrintedCode(sm""" +// |class Outer { +// | class Inner { +// | val outer = Root.this +// | }; +// | val self = this +// |}""") + +// @Test def testCaseClassWithParamsAndBody = assertPrintedCode(sm""" +// |case class X(x: Int, s: String) { +// | def y = "test" +// |}""") + +// @Test def testObject = assertPrintedCode("object *") + +// @Test def testObjectWithBody = assertPrintedCode(sm""" +// |object X { +// | def y = "test" +// |}""") + +// @Test def testObjectWithEarly1 = assertPrintedCode(sm""" +// |object X extends { +// | val early: T = v +// |} with Bar""") + +// @Test def testObjectWithEarly2 = assertPrintedCode(sm""" +// |object X extends { +// | val early: T = v; +// | type EarlyT = String +// |} with Bar""") + +// @Test def testObjectWithSelf = assertPrintedCode(sm""" +// |object Foo extends Foo { self => +// | body +// |}""") + +// @Test def testObjectInh = assertPrintedCode("private[Y] object X extends Bar with Baz") + +// @Test def testObjectWithPatternMatch1 = assertPrintedCode(sm""" +// |object PM1 { +// | List(1, 2) match { +// | case (i @ _) => i +// | } +// |}""") + +// @Test def testObjectWithPatternMatch2 = assertPrintedCode(sm""" +// |object PM2 { +// | List(1, 2).map({ +// | case (i @ _) if i.>(5) => i +// | }) +// |}""") + +// //case i: Int => i +// @Test def testObjectWithPatternMatch3 = assertPrintedCode(sm""" +// |object PM3 { +// | List(1, 2).map({ +// | case (i @ ((_): Int)) => i +// | }) +// |}""") + +// //case a @ (i: Int) => i +// @Test def testObjectWithPatternMatch4 = assertPrintedCode(sm""" +// |object PM4 { +// | List(1, 2).map({ +// | case (a @ (i @ ((_): Int))) => i +// | }) +// |}""") + +// @Test def testObjectWithPatternMatch5 = assertPrintedCode(sm""" +// |object PM5 { +// | List(1, 2).map({ +// | case _ => 42 +// | }) +// |}""") + +// @Test def testObjectWithPatternMatch6 = assertPrintedCode(sm""" +// |object PM6 { +// | List(1, 2) match { +// | case ::((x @ _), (xs @ _)) => x +// | } +// |}""") + +// @Test def testObjectWithPatternMatch7 = assertPrintedCode(sm""" +// |object PM7 { +// | List(1, 2).map({ +// | case (0| 1) => true +// | case _ => false +// | }) +// |}""") + +// @Test def testObjectWithPatternMatch8 = assertPrintedCode(sm""" +// |object PM8 { +// | "abcde".toList match { +// | case Seq((car @ _), _*) => car +// | } +// |}""") + +// @Test def testObjectWithPatternMatch9 = assertPrintedCode(sm""" +// |{ +// | object Extractor { +// | def unapply(i: Int) = Some(i) +// | }; +// | object PM9 { +// | 42 match { +// | case (a @ Extractor((i @ _))) => i +// | } +// | }; +// | () +// |}""") + +// @Test def testObjectWithPartialFunc = assertPrintedCode(sm""" +// |object Test { +// | def partFuncTest[A, B](e: Either[A, B]): scala.Unit = e match { +// | case Right(_) => () +// | } +// |}""") + +// @Test def testObjectWithTry = assertPrintedCode(sm""" +// |object Test { +// | import java.io; +// | var file: PrintStream = null; +// | try { +// | val out = new FileOutputStream("myfile.txt"); +// | file = new PrintStream(out) +// | } catch { +// | case (ioe @ ((_): IOException)) => println("ioe") +// | case (e @ ((_): Exception)) => println("e") +// | } finally println("finally") +// |}""") +// } + +// trait TraitPrintTests { +// @Test def testTrait = assertPrintedCode("trait *") + +// @Test def testTraitWithBody = assertPrintedCode(sm""" +// |trait X { +// | def y = "test" +// |}""") + +// @Test def testTraitWithSelfTypeAndBody = assertPrintedCode(sm""" +// |trait X { self: Order => +// | def y = "test" +// |}""") + +// @Test def testTraitWithSelf1 = assertPrintedCode(sm""" +// |trait X { self => +// | def y = "test" +// |}""") + +// @Test def testTraitWithSelf2 = assertPrintedCode(sm""" +// |trait X { self: Foo with Bar => +// | val x: Int = 1 +// |}""") + +// @Test def testTraitTypeParams = assertPrintedCode("trait X[A, B]") + +// @Test def testTraitWithBody2 = assertPrintedCode(sm""" +// |trait X { +// | def foo: scala.Unit; +// | val bar: Baz +// |}""") + +// @Test def testTraitWithInh = assertPrintedCode("trait X extends A with B") + +// @Test def testTraitWithEarly1 = assertPrintedCode(sm""" +// |trait X extends { +// | val x: Int = 1 +// |} with Any""") + +// @Test def testTraitWithEarly2 = assertPrintedCode(sm""" +// |trait X extends { +// | val x: Int = 0; +// | type Foo = Bar +// |} with Y""") + +// @Test def testTraitWithEarly3 = assertPrintedCode(sm""" +// |trait X extends { +// | val x: Int = 5; +// | val y: Double = 4.0; +// | type Foo; +// | type XString = String +// |} with Y""") + +// @Test def testTraitWithEarly4 = assertPrintedCode(sm""" +// |trait X extends { +// | val x: Int = 5; +// | val y: Double = 4.0; +// | type Foo; +// | type XString = String +// |} with Y { +// | val z = 7 +// |}""") + +// @Test def testTraitWithEarly5 = assertPrintedCode(sm""" +// |trait X extends { +// | override protected[this] val x: Int = 5; +// | val y: Double = 4.0; +// | private type Foo; +// | private[ee] type XString = String +// |} with Y { +// | val z = 7 +// |}""") + +// @Test def testTraitWithSingletonTypeTree = assertPrintedCode(sm""" +// |trait Test { +// | def testReturnSingleton(): this.type +// |}""") + +// @Test def testTraitWithThis = assertPrintedCode(sm""" +// |trait Test { _ : X with Y => +// | +// |}""", q"trait Test { this: X with Y => }") + +// @Test def testTraitWithWhile1 = assertPrintedCode(sm""" +// |trait Test { +// | while (true.!=(false)) +// | println("testing...") +// | +// |}""") + +// @Test def testTraitWithWhile2 = assertPrintedCode(sm""" +// |trait Test { +// | while (true) +// | { +// | println("testing..."); +// | println("testing...") +// | } +// | +// |}""") + +// @Test def testTraitWithDoWhile1 = assertPrintedCode(sm""" +// |trait Test { +// | do +// | println("testing...") +// | while (true) +// |}""") + +// @Test def testTraitWithTypes = assertPrintedCode(sm""" +// |trait Test { +// | type A = Int; +// | type B >: Nothing <: AnyRef; +// | protected type C >: Nothing; +// | type D <: AnyRef +// |}""") +// } + +// trait ValAndDefPrintTests { +// @Test def testVal1 = assertPrintedCode("val a: Unit = null") + +// @Test def testVal2 = assertPrintedCode("val * : Unit = null") + +// @Test def testVal3 = assertPrintedCode("val a_ : Unit = null") + +// @Test def testDef1 = assertPrintedCode("def a: Unit = null") + +// @Test def testDef2 = assertPrintedCode("def * : Unit = null") + +// @Test def testDef3 = assertPrintedCode("def a_(x: Int): Unit = null") + +// @Test def testDef4 = assertPrintedCode("def a_ : Unit = null") + +// @Test def testDef5 = assertPrintedCode("def a_(* : Int): Unit = null") + +// @Test def testDef6 = assertPrintedCode("def a_(b_ : Int): Unit = null") + +// @Test def testDef7 = assertPrintedCode(sm""" +// |{ +// | def test1 = (); +// | def test2() = () +// |}""", +// Block( +// DefDef(NoMods, newTermName("test1"), Nil, Nil, EmptyTree, Literal(Constant(()))), +// DefDef(NoMods, newTermName("test2"), Nil, Nil :: Nil, EmptyTree, Literal(Constant(()))) +// ) +// ) + +// @Test def testDef8 = { +// val arg = ValDef(Modifiers(Flag.IMPLICIT) , newTermName("a"), +// AppliedTypeTree(Ident(newTypeName("R")), List(Ident(newTypeName("X")))), EmptyTree) + +// //def m[X](implicit a: R[X]) = () +// val tree = DefDef(NoMods, newTermName("test"), TypeDef(NoMods, newTypeName("X"), Nil, EmptyTree) :: Nil, +// List(List(arg)), EmptyTree, Literal(Constant(()))) + +// assertPrintedCode("def test[X](implicit a: R[X]) = ()", tree) +// } + +// @Test def testDefWithParams1 = assertPrintedCode("def foo(x: Int*) = null") + +// @Test def testDefWithParams2 = assertPrintedCode("def foo(x: Int)(y: Int = 1) = null") + +// @Test def testDefWithTypeParams1 = assertPrintedCode("def foo[A, B, C](x: A)(y: Int = 1): C = null") + +// @Test def testDefWithTypeParams2 = assertPrintedCode("def foo[A, B <: Bar] = null") + +// @Test def testDefWithAnn1 = assertPrintedCode("@annot def foo = null") + +// @Test def testDefWithAnn2 = assertPrintedCode("@a(x) def foo = null") + +// @Test def testDefWithAnn3 = assertPrintedCode("@Foo[A, B] def foo = null") + +// @Test def testDefWithAnn4 = assertPrintedCode("@Foo(a)(b)(x, y) def foo = null") + +// @Test def testDefWithAnn5 = assertPrintedCode("@Foo[A, B](a)(b) @Bar def foo(x: Int) = null") + +// @Test def testDefWithAnn6 = assertPrintedCode("@test1(new test2()) def foo = 42") + +// @Test def testDefWithAnn7 = assertPrintedCode("@`t*` def foo = 42") + +// @Test def testDefWithAnn8 = assertPrintedCode("@throws(classOf[Exception]) def foo = throw new Exception()") + +// @Test def testAnnotated1 = assertPrintedCode("def foo = 42: @test1") + +// @Test def testAnnotated2 = assertPrintedCode("""def foo = 42: @test1(42, z = "5")""") + +// @Test def testAnnotated3 = assertPrintedCode("def foo = (42: @test1): @test2(new test1())") + +// @Test def testAnnotated4 = assertPrintedCode("""def foo = 42: @test1(4, "testing")(4.2)""") + +// @Test def testAnnotated5 = assertPrintedCode("""def foo = (42: @test1(4, "testing")(4.2)): @test2(1, "bar")(3.14)""") + +// @Test def testAnnotated6 = assertPrintedCode("def foo = ((42: @test1): @test2(new test1())): @test3(1)(2, 3)(4)") + +// @Test def testAnnotated7 = assertPrintedCode(sm""" +// |(x: @unchecked) match { +// | case ((_): Int) => true +// | case _ => false +// |}""") + +// @Test def testAnnotated8 = assertPrintedCode(sm""" +// |((x: @unchecked): @test1(1, "testing")(3.14)) match { +// | case _ => true +// |}""") +// } + +// trait PackagePrintTests { +// @Test def testPackage1 = assertPrintedCode(sm""" +// |package foo.bar { +// | +// |}""") + +// @Test def testPackage2 = assertPrintedCode(sm""" +// |package foo { +// | class C +// | +// | object D +// |}""") + +// //package object foo extends a with b +// @Test def testPackage3 = assertPrintedCode(sm""" +// |package foo { +// | object `package` extends a with b +// |}""") + +// //package object foo { def foo; val x = 1 } +// @Test def testPackage4 = assertPrintedCode(sm""" +// |package foo { +// | object `package` { +// | def foo: scala.Unit; +// | val x = 1 +// | } +// |}""") + +// //package object foo extends { val x = 1; type I = Int } with Any +// @Test def testPackage5 = assertPrintedCode(sm""" +// |package foo { +// | object `package` extends { +// | val x = 1; +// | type I = Int +// | } with Any +// |}""") +// } + +// trait QuasiTreesPrintTests { +// @Test def testQuasiIdent = assertPrintedCode("*", q"*") + +// @Test def testQuasiVal = assertPrintedCode("val * : Unit = null", q"val * : Unit = null") + +// @Test def testQuasiDef = assertPrintedCode("def * : Unit = null", q"def * : Unit = null") + +// @Test def testQuasiTrait = assertPrintedCode("trait *", q"trait *") + +// @Test def testQuasiClass = assertPrintedCode("class *", q"class *") + +// @Test def testQuasiClassWithPublicParams = assertPrintedCode( "class X(val x: Int, val s: String)", q"class X(val x: Int, val s:String)" ) + +// @Test def testQuasiClassWithParams = assertPrintedCode("class X(x: Int, s: String)", q"class X(x: Int, s:String)") + +// @Test def testQuasiObject = assertPrintedCode("object *", q"object *") + +// @Test def testQuasiObjectWithBody = assertPrintedCode(sm""" +// |object X { +// | def y = "test" +// |}""", q"""object X{ def y = "test" }""") + +// @Test def testQuasiClassWithBody = assertPrintedCode(sm""" +// |class X { +// | def y = "test" +// |}""", q"""class X{ def y = "test" }""") + +// @Test def testQuasiTraitWithBody = assertPrintedCode(sm""" +// |trait X { +// | def y = "test" +// |}""", q"""trait X{ def y = "test" }""") + +// @Test def testQuasiTraitWithSelfTypeAndBody = assertPrintedCode(sm""" +// |trait X { self: Order => +// | def y = "test" +// |}""", q"""trait X{ self: Order => def y = "test" }""") + +// @Test def testQuasiTraitWithSelf = assertPrintedCode(sm""" +// |trait X { self => +// | def y = "test" +// |}""", q"""trait X{ self => def y = "test" }""") + +// @Test def testQuasiCaseClassWithBody = assertPrintedCode(sm""" +// |case class X() { +// | def y = "test" +// |}""", q"""case class X() { def y = "test" }""") + +// @Test def testQuasiCaseClassWithParamsAndBody = assertPrintedCode(sm""" +// |case class X(x: Int, s: String) { +// | def y = "test" +// |}""", q"""case class X(x: Int, s: String){ def y = "test" }""") +// } |