Summary printing

Added general way to produce summaries when shwowing trees or types.
Summaries have limited, configrable recusion depth.
fix showSummary

1 files changed, 11 insertions, 1 deletions

diff --git a/src/dotty/tools/dotc/printing/Showable.scala b/src/dotty/tools/dotc/printing/Showable.scala
index cb65193e6..550d80060 100644
--- a/src/dotty/tools/dotc/printing/Showable.scala
+++ b/src/dotty/tools/dotc/printing/Showable.scala
@@ -4,6 +4,7 @@ package printing
 import core._
 
 import Contexts._, Texts._, Decorators._
+import config.Config.summarizeDepth
 
 trait Showable extends Any {
 
@@ -20,4 +21,13 @@ trait Showable extends Any {
 
   /** The string representation of this showable element. */
   def show(implicit ctx: Context): String = toText(ctx.printer).show
-}
\ No newline at end of file
+
+  /** The summarized string representation of this showable element.
+   *  Recursion depth is limited to some smallish value. Default is
+   *  Config.summarizeDepth.
+   */
+  def showSummary(depth: Int)(implicit ctx: Context): String =
+    ctx.printer.summarized(depth)(show)
+
+  def showSummary(implicit ctx: Context): String = showSummary(summarizeDepth)
+}