SI-8829 Let reporter customize retry message

"Re-run with -deprecation" is not always appropriate.

REPL gets to customize the message. The API includes the
setting and its name, because reflect Settings do not
have names. (!)

1 files changed, 9 insertions, 0 deletions

diff --git a/src/reflect/scala/reflect/internal/Reporting.scala b/src/reflect/scala/reflect/internal/Reporting.scala
index 27fda9a7d4..c1f0140479 100644
--- a/src/reflect/scala/reflect/internal/Reporting.scala
+++ b/src/reflect/scala/reflect/internal/Reporting.scala
@@ -7,6 +7,8 @@ package scala
 package reflect
 package internal
 
+import settings.MutableSettings
+
 /** Provides delegates to the reporter doing the actual work.
  *  All forwarding methods should be marked final,
  *  but some subclasses out of our reach still override them.
@@ -105,6 +107,13 @@ abstract class Reporter {
 
   /** Finish reporting: print summaries, release resources. */
   def finish(): Unit = ()
+
+  /** After reporting, offer advice on getting more details. */
+  def rerunWithDetails(setting: MutableSettings#Setting, name: String): String =
+    setting.value match {
+      case b: Boolean if !b => s"; re-run with ${name} for details"
+      case _ => s"; re-run enabling ${name} for details, or try -help"
+    }
 }
 
 // TODO: move into superclass once partest cuts tie on Severity