diff options
author | Som Snytt <som.snytt@gmail.com> | 2016-07-08 18:45:11 -0700 |
---|---|---|
committer | Som Snytt <som.snytt@gmail.com> | 2016-07-09 00:50:16 -0700 |
commit | 7548d2265361ec605b67aaae50ef6504937da68c (patch) | |
tree | 4e824347293c917bd02678cba9a4d754db166306 /src/reflect | |
parent | 7d94d553e960322472e274669bad1c47723c2d23 (diff) | |
download | scala-7548d2265361ec605b67aaae50ef6504937da68c.tar.gz scala-7548d2265361ec605b67aaae50ef6504937da68c.tar.bz2 scala-7548d2265361ec605b67aaae50ef6504937da68c.zip |
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. (!)
Diffstat (limited to 'src/reflect')
-rw-r--r-- | src/reflect/scala/reflect/internal/Reporting.scala | 9 |
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 |