Merge pull request #6284 from dotty-staging/rename-tasty-reflect-show-code-to-show

liufengyun · web-flow · commit 559b410d7f83 · 2019-04-11T09:41:32.000+02:00
Rename TASTy Reflect showCode to show
diff --git a/library/src-bootstrapped/scala/internal/quoted/Matcher.scala b/library/src-bootstrapped/scala/internal/quoted/Matcher.scala
@@ -178,12 +178,12 @@ object Matcher {
             println(
               s""">>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
                  |Scrutinee
-                 |  ${scrutinee.showCode}
+                 |  ${scrutinee.show}
                  |
                  |${scrutinee.showExtractors}
                  |
                  |did not match pattern
-                 |  ${pattern.showCode}
+                 |  ${pattern.show}
                  |
                  |${pattern.showExtractors}
                  |
@@ -251,12 +251,12 @@ object Matcher {
           println(
             s""">>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
                |Scrutinee
-               |  ${scrutinee.showCode}
+               |  ${scrutinee.show}
                |
                |${scrutinee.showExtractors}
                |
                |did not match pattern
-               |  ${pattern.showCode}
+               |  ${pattern.show}
                |
                |${pattern.showExtractors}
                |
diff --git a/library/src-bootstrapped/scala/tasty/reflect/QuotedOps.scala b/library/src-bootstrapped/scala/tasty/reflect/QuotedOps.scala
@@ -14,7 +14,7 @@ trait QuotedOps extends Core { self: Printers =>
 
     /** Show a source code like representation of this expression */
     def show(implicit ctx: Context): String =
-      unseal.showCode
+      unseal.show
   }
 
   implicit class QuotedTypeAPI[T <: AnyKind](tpe: scala.quoted.Type[T]) {
@@ -24,7 +24,7 @@ trait QuotedOps extends Core { self: Printers =>
 
     /** Show a source code like representation of this type */
     def show(implicit ctx: Context): String =
-      unseal.showCode
+      unseal.show
   }
 
   implicit class TermToQuotedAPI(term: Term) {
diff --git a/library/src-non-bootstrapped/scala/tasty/reflect/QuotedOps.scala b/library/src-non-bootstrapped/scala/tasty/reflect/QuotedOps.scala
@@ -15,8 +15,7 @@ trait QuotedOps extends Core { self: Printers =>
     /** Show a source code like representation of this expression.
      *  Will print Ansi colors if ctx.printColors is enabled.
      */
-    def show(implicit ctx: Context): String =
-      unseal.showCode
+    def show(implicit ctx: Context): String = unseal.show
   }
 
   implicit class QuotedTypeAPI[T](tpe: scala.quoted.Type[T]) {
@@ -27,8 +26,7 @@ trait QuotedOps extends Core { self: Printers =>
     /** Show a source code like representation of this type
      *  Will print Ansi colors if ctx.printColors is enabled.
      */
-    def show(implicit ctx: Context): String =
-      unseal.showCode
+    def show(implicit ctx: Context): String = unseal.show
   }
 
   implicit class TermToQuotedAPI(term: Term) {
diff --git a/library/src/scala/tasty/reflect/Printers.scala b/library/src/scala/tasty/reflect/Printers.scala
@@ -24,48 +24,58 @@ trait Printers
   implicit class TreeShowDeco(tree: Tree) {
     /** Shows the tree as extractors */
     def showExtractors(implicit ctx: Context): String = new ExtractorsPrinter().showTree(tree)
-    /** Shows the tree as source code */
-    def showCode(implicit ctx: Context): String = new SourceCodePrinter().showTree(tree)
+    /** Shows the tree as fully typed source code.
+     *  Will print Ansi colors if ctx.printColors is enabled.
+     */
+    def show(implicit ctx: Context): String = new SourceCodePrinter().showTree(tree)
   }
 
   /** Adds `show` as an extension method of a `TypeOrBounds` */
   implicit class TypeOrBoundsShowDeco(tpe: TypeOrBounds) {
     /** Shows the tree as extractors */
     def showExtractors(implicit ctx: Context): String = new ExtractorsPrinter().showTypeOrBounds(tpe)
-    /** Shows the tree as source code */
-    def showCode(implicit ctx: Context): String = new SourceCodePrinter().showTypeOrBounds(tpe)
+    /** Shows the tree as fully typed source code.
+     *  Will print Ansi colors if ctx.printColors is enabled.
+     */
+    def show(implicit ctx: Context): String = new SourceCodePrinter().showTypeOrBounds(tpe)
   }
 
   /** Adds `show` as an extension method of a `Pattern` */
   implicit class PatternShowDeco(pattern: Pattern) {
     /** Shows the tree as extractors */
     def showExtractors(implicit ctx: Context): String = new ExtractorsPrinter().showPattern(pattern)
-    /** Shows the tree as source code */
-    def showCode(implicit ctx: Context): String = new SourceCodePrinter().showPattern(pattern)
+    /** Shows the tree as fully typed source code.
+     *  Will print Ansi colors if ctx.printColors is enabled.
+     */
+    def show(implicit ctx: Context): String = new SourceCodePrinter().showPattern(pattern)
   }
 
   /** Adds `show` as an extension method of a `Constant` */
   implicit class ConstantShowDeco(const: Constant) {
     /** Shows the tree as extractors */
     def showExtractors(implicit ctx: Context): String = new ExtractorsPrinter().showConstant(const)
-    /** Shows the tree as source code */
-    def showCode(implicit ctx: Context): String = new SourceCodePrinter().showConstant(const)
+    /** Shows the tree as fully typed source code.
+     *  Will print Ansi colors if ctx.printColors is enabled.
+     */
+    def show(implicit ctx: Context): String = new SourceCodePrinter().showConstant(const)
   }
 
   /** Adds `show` as an extension method of a `Symbol` */
   implicit class SymbolShowDeco(symbol: Symbol) {
     /** Shows the tree as extractors */
     def showExtractors(implicit ctx: Context): String = new ExtractorsPrinter().showSymbol(symbol)
-    /** Shows the tree as source code */
-    def showCode(implicit ctx: Context): String = new SourceCodePrinter().showSymbol(symbol)
+    /** Shows the tree as fully typed source code */
+    def show(implicit ctx: Context): String = new SourceCodePrinter().showSymbol(symbol)
   }
 
   /** Adds `show` as an extension method of a `Flags` */
   implicit class FlagsShowDeco(flags: Flags) {
     /** Shows the tree as extractors */
     def showExtractors(implicit ctx: Context): String = new ExtractorsPrinter().showFlags(flags)
-    /** Shows the tree as source code */
-    def showCode(implicit ctx: Context): String = new SourceCodePrinter().showFlags(flags)
+    /** Shows the tree as fully typed source code.
+     *  Will print Ansi colors if ctx.printColors is enabled.
+     */
+    def show(implicit ctx: Context): String = new SourceCodePrinter().showFlags(flags)
   }
 
   abstract class Printer {
diff --git a/tests/neg/tasty-macro-error/quoted_1.scala b/tests/neg/tasty-macro-error/quoted_1.scala
@@ -8,7 +8,7 @@ object Macros {
 
   def impl(x: Expr[Any])(implicit reflect: Reflection): Expr[Unit] = {
     import reflect._
-    error("here is the the argument is " + x.unseal.underlyingArgument.showCode, x.unseal.underlyingArgument.pos)
+    error("here is the the argument is " + x.unseal.underlyingArgument.show, x.unseal.underlyingArgument.pos)
     '{}
   }
 
diff --git a/tests/neg/tasty-macro-positions/quoted_1.scala b/tests/neg/tasty-macro-positions/quoted_1.scala
@@ -9,8 +9,8 @@ object Macros {
   def impl(x: Expr[Any])(implicit reflect: Reflection): Expr[Unit] = {
     import reflect._
     val pos = x.unseal.underlyingArgument.pos
-    error("here is the the argument is " + x.unseal.underlyingArgument.showCode, pos)
-    error("here (+5) is the the argument is " + x.unseal.underlyingArgument.showCode, pos.sourceFile, pos.start + 5, pos.end + 5)
+    error("here is the the argument is " + x.unseal.underlyingArgument.show, pos)
+    error("here (+5) is the the argument is " + x.unseal.underlyingArgument.show, pos.sourceFile, pos.start + 5, pos.end + 5)
     '{}
   }
 
diff --git a/tests/run-with-compiler-custom-args/tasty-interpreter/interpreter/TreeInterpreter.scala b/tests/run-with-compiler-custom-args/tasty-interpreter/interpreter/TreeInterpreter.scala
@@ -160,7 +160,7 @@ abstract class TreeInterpreter[R <: Reflection & Singleton](val reflect: R) {
     if (LOG)
       println(
         s"""#> $tag:
-           |${tree.showCode}
+           |${tree.show}
            |${tree.showExtractors}
            |
            |""".stripMargin)
diff --git a/tests/run-with-compiler/quote-matcher-runtime/quoted_1.scala b/tests/run-with-compiler/quote-matcher-runtime/quoted_1.scala
@@ -13,15 +13,15 @@ object Macros {
     val res = scala.internal.quoted.Matcher.unapply[Tuple](a)(b, reflect).map { tup =>
       tup.toArray.toList.map {
         case r: Expr[_] =>
-          s"Expr(${r.unseal.showCode})"
+          s"Expr(${r.unseal.show})"
         case r: quoted.Type[_] =>
-          s"Type(${r.unseal.showCode})"
+          s"Type(${r.unseal.show})"
       }
     }
 
     '{
-      println("Scrutinee: " + ${a.unseal.showCode.toExpr})
-      println("Pattern: " + ${b.unseal.showCode.toExpr})
+      println("Scrutinee: " + ${a.unseal.show.toExpr})
+      println("Pattern: " + ${b.unseal.show.toExpr})
       println("Result: " + ${res.toString.toExpr})
       println()
     }
diff --git a/tests/run/f-interpolation-1/FQuote_1.scala b/tests/run/f-interpolation-1/FQuote_1.scala
@@ -48,7 +48,7 @@ object FQuote {
 
     for ((arg, part) <- allArgs.zip(parts.tail)) {
       if (part.startsWith("%d") && !(arg.tpe <:< definitions.IntType)) {
-        return '{s"`${${arg.showCode}}` is not of type Int"}
+        return '{s"`${${arg.show}}` is not of type Int"}
       }
 
     }
diff --git a/tests/run/gestalt-type-toolbox-reflect/Macro_1.scala b/tests/run/gestalt-type-toolbox-reflect/Macro_1.scala
@@ -89,7 +89,7 @@ object TypeToolbox {
   inline def typeTag[T](x: T): String = ${typeTagImpl('[T])}
   private def typeTagImpl(tp: Type[_])(implicit reflect: Reflection): Expr[String] = {
     import reflect._
-    val res = tp.unseal.tpe.showCode
+    val res = tp.unseal.tpe.show
     res.toExpr
   }
 
diff --git a/tests/run/inferred-repeated-result/test_1.scala b/tests/run/inferred-repeated-result/test_1.scala
@@ -11,8 +11,8 @@ object Macros {
 
     val methods =
       tree.tpe.classSymbol.get.classMethods.map { m =>
-        val name = m.showCode
-        val returnType = m.tree.returnTpt.tpe.showCode
+        val name = m.show
+        val returnType = m.tree.returnTpt.tpe.show
         s"$name : $returnType"
       }.sorted
 
diff --git a/tests/run/tasty-dealias/quoted_1.scala b/tests/run/tasty-dealias/quoted_1.scala
@@ -7,6 +7,6 @@ object Macros {
 
   def impl[T](x: quoted.Type[T])(implicit reflect: Reflection): Expr[String] = {
     import reflect._
-    x.unseal.tpe.dealias.showCode.toExpr
+    x.unseal.tpe.dealias.show.toExpr
   }
 }
diff --git a/tests/run/tasty-macro-positions/quoted_1.scala b/tests/run/tasty-macro-positions/quoted_1.scala
@@ -13,7 +13,7 @@ object Macros {
   def impl(x: Expr[Any])(implicit reflect: Reflection): Expr[Unit] = {
     import reflect._
     val pos = x.unseal.underlyingArgument.pos
-    val code = x.unseal.underlyingArgument.showCode
+    val code = x.unseal.underlyingArgument.show
     '{
       println(${posStr(reflect)(pos)})
       println(${code.toExpr})
@@ -23,7 +23,7 @@ object Macros {
   def impl2[T](x: quoted.Type[T])(implicit reflect: Reflection): Expr[Unit] = {
     import reflect._
     val pos = x.unseal.pos
-    val code = x.unseal.showCode
+    val code = x.unseal.show
     '{
       println(${posStr(reflect)(pos)})
       println(${code.toExpr})
diff --git a/tests/run/tasty-typeof/Macro_1.scala b/tests/run/tasty-typeof/Macro_1.scala
@@ -25,9 +25,9 @@ object Macros {
       assert(${(typeOf[Object] =:= definitions.ObjectType)}, "Object")
       assert(${(typeOf[Nothing] =:= definitions.NothingType)}, "Nothing")
 
-      println(${typeOf[List[Int]].showCode})
-      println(${typeOf[Macros].showCode})
-      println(${typeOf[Macros.type].showCode})
+      println(${typeOf[List[Int]].show})
+      println(${typeOf[Macros].show})
+      println(${typeOf[Macros.type].show})
     }
   }
 
diff --git a/tests/run/xml-interpolation-1/XmlQuote_1.scala b/tests/run/xml-interpolation-1/XmlQuote_1.scala
@@ -23,7 +23,7 @@ object XmlQuote {
     // for debugging purpose
     def pp(tree: Tree): Unit = {
       println(tree.showExtractors)
-      println(tree.showCode)
+      println(tree.show)
     }
 
     def liftListOfAny(lst: List[Term]): Expr[List[Any]] = lst match {
diff --git a/tests/run/xml-interpolation-2/XmlQuote_1.scala b/tests/run/xml-interpolation-2/XmlQuote_1.scala
@@ -22,7 +22,7 @@ object XmlQuote {
     // for debugging purpose
     def pp(tree: Tree): Unit = {
       println(tree.showExtractors)
-      println(tree.showCode)
+      println(tree.show)
     }
 
     def isSCOpsConversion(tree: Term) =

Original file line number	Diff line number	Diff line change
`@@ -178,12 +178,12 @@ object Matcher {`
`178`	`178`	`println(`
`179`	`179`	`s""">>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>`
`180`	`180`	`\|Scrutinee`
`181`		`- \| ${scrutinee.showCode}`
	`181`	`+ \| ${scrutinee.show}`
`182`	`182`	`\|`
`183`	`183`	`\|${scrutinee.showExtractors}`
`184`	`184`	`\|`
`185`	`185`	`\|did not match pattern`
`186`		`- \| ${pattern.showCode}`
	`186`	`+ \| ${pattern.show}`
`187`	`187`	`\|`
`188`	`188`	`\|${pattern.showExtractors}`
`189`	`189`	`\|`
`@@ -251,12 +251,12 @@ object Matcher {`
`251`	`251`	`println(`
`252`	`252`	`s""">>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>`
`253`	`253`	`\|Scrutinee`
`254`		`- \| ${scrutinee.showCode}`
	`254`	`+ \| ${scrutinee.show}`
`255`	`255`	`\|`
`256`	`256`	`\|${scrutinee.showExtractors}`
`257`	`257`	`\|`
`258`	`258`	`\|did not match pattern`
`259`		`- \| ${pattern.showCode}`
	`259`	`+ \| ${pattern.show}`
`260`	`260`	`\|`
`261`	`261`	`\|${pattern.showExtractors}`
`262`	`262`	`\|`
Original file line number	Diff line number	Diff line change
`@@ -14,7 +14,7 @@ trait QuotedOps extends Core { self: Printers =>`
`14`	`14`
`15`	`15`	`/** Show a source code like representation of this expression */`
`16`	`16`	`def show(implicit ctx: Context): String =`
`17`		`- unseal.showCode`
	`17`	`+ unseal.show`
`18`	`18`	`}`
`19`	`19`
`20`	`20`	`implicit class QuotedTypeAPI[T <: AnyKind](tpe: scala.quoted.Type[T]) {`
`@@ -24,7 +24,7 @@ trait QuotedOps extends Core { self: Printers =>`
`24`	`24`
`25`	`25`	`/** Show a source code like representation of this type */`
`26`	`26`	`def show(implicit ctx: Context): String =`
`27`		`- unseal.showCode`
	`27`	`+ unseal.show`
`28`	`28`	`}`
`29`	`29`
`30`	`30`	`implicit class TermToQuotedAPI(term: Term) {`
Original file line number	Diff line number	Diff line change
`@@ -8,7 +8,7 @@ object Macros {`
`8`	`8`
`9`	`9`	`def impl(x: Expr[Any])(implicit reflect: Reflection): Expr[Unit] = {`
`10`	`10`	`import reflect._`
`11`		`- error("here is the the argument is " + x.unseal.underlyingArgument.showCode, x.unseal.underlyingArgument.pos)`
	`11`	`+ error("here is the the argument is " + x.unseal.underlyingArgument.show, x.unseal.underlyingArgument.pos)`
`12`	`12`	`'{}`
`13`	`13`	`}`
`14`	`14`
Original file line number	Diff line number	Diff line change
`@@ -160,7 +160,7 @@ abstract class TreeInterpreter[R <: Reflection & Singleton](val reflect: R) {`
`160`	`160`	`if (LOG)`
`161`	`161`	`println(`
`162`	`162`	`s"""#> $tag:`
`163`		`- \|${tree.showCode}`
	`163`	`+ \|${tree.show}`
`164`	`164`	`\|${tree.showExtractors}`
`165`	`165`	`\|`
`166`	`166`	`\|""".stripMargin)`
Original file line number	Diff line number	Diff line change
`@@ -13,15 +13,15 @@ object Macros {`
`13`	`13`	`val res = scala.internal.quoted.Matcher.unapply[Tuple](a)(b, reflect).map { tup =>`
`14`	`14`	`tup.toArray.toList.map {`
`15`	`15`	`case r: Expr[_] =>`
`16`		`- s"Expr(${r.unseal.showCode})"`
	`16`	`+ s"Expr(${r.unseal.show})"`
`17`	`17`	`case r: quoted.Type[_] =>`
`18`		`- s"Type(${r.unseal.showCode})"`
	`18`	`+ s"Type(${r.unseal.show})"`
`19`	`19`	`}`
`20`	`20`	`}`
`21`	`21`
`22`	`22`	`'{`
`23`		`- println("Scrutinee: " + ${a.unseal.showCode.toExpr})`
`24`		`- println("Pattern: " + ${b.unseal.showCode.toExpr})`
	`23`	`+ println("Scrutinee: " + ${a.unseal.show.toExpr})`
	`24`	`+ println("Pattern: " + ${b.unseal.show.toExpr})`
`25`	`25`	`println("Result: " + ${res.toString.toExpr})`
`26`	`26`	`println()`
`27`	`27`	`}`
Original file line number	Diff line number	Diff line change
`@@ -48,7 +48,7 @@ object FQuote {`
`48`	`48`
`49`	`49`	`for ((arg, part) <- allArgs.zip(parts.tail)) {`
`50`	`50`	`if (part.startsWith("%d") && !(arg.tpe <:< definitions.IntType)) {`
`51`		- return '{s"`${${arg.showCode}}` is not of type Int"}
	`51`	+ return '{s"`${${arg.show}}` is not of type Int"}
`52`	`52`	`}`
`53`	`53`
`54`	`54`	`}`
Original file line number	Diff line number	Diff line change
`@@ -89,7 +89,7 @@ object TypeToolbox {`
`89`	`89`	`inline def typeTag[T](x: T): String = ${typeTagImpl('[T])}`
`90`	`90`	`private def typeTagImpl(tp: Type[_])(implicit reflect: Reflection): Expr[String] = {`
`91`	`91`	`import reflect._`
`92`		`- val res = tp.unseal.tpe.showCode`
	`92`	`+ val res = tp.unseal.tpe.show`
`93`	`93`	`res.toExpr`
`94`	`94`	`}`
`95`	`95`
Original file line number	Diff line number	Diff line change
`@@ -7,6 +7,6 @@ object Macros {`
`7`	`7`
`8`	`8`	`def impl[T](x: quoted.Type[T])(implicit reflect: Reflection): Expr[String] = {`
`9`	`9`	`import reflect._`
`10`		`- x.unseal.tpe.dealias.showCode.toExpr`
	`10`	`+ x.unseal.tpe.dealias.show.toExpr`
`11`	`11`	`}`
`12`	`12`	`}`
Original file line number	Diff line number	Diff line change
`@@ -25,9 +25,9 @@ object Macros {`
`25`	`25`	`assert(${(typeOf[Object] =:= definitions.ObjectType)}, "Object")`
`26`	`26`	`assert(${(typeOf[Nothing] =:= definitions.NothingType)}, "Nothing")`
`27`	`27`
`28`		`- println(${typeOf[List[Int]].showCode})`
`29`		`- println(${typeOf[Macros].showCode})`
`30`		`- println(${typeOf[Macros.type].showCode})`
	`28`	`+ println(${typeOf[List[Int]].show})`
	`29`	`+ println(${typeOf[Macros].show})`
	`30`	`+ println(${typeOf[Macros.type].show})`
`31`	`31`	`}`
`32`	`32`	`}`
`33`	`33`
Original file line number	Diff line number	Diff line change
`@@ -23,7 +23,7 @@ object XmlQuote {`
`23`	`23`	`// for debugging purpose`
`24`	`24`	`def pp(tree: Tree): Unit = {`
`25`	`25`	`println(tree.showExtractors)`
`26`		`- println(tree.showCode)`
	`26`	`+ println(tree.show)`
`27`	`27`	`}`
`28`	`28`
`29`	`29`	`def liftListOfAny(lst: List[Term]): Expr[List[Any]] = lst match {`