diff options
author | Som Snytt <som.snytt@gmail.com> | 2014-02-28 05:25:08 -0800 |
---|---|---|
committer | Som Snytt <som.snytt@gmail.com> | 2014-02-28 09:04:42 -0800 |
commit | a40af3e42fdfff62901dbc807ed3d899272d2b37 (patch) | |
tree | 528339320e7b7c5c9fc43883ecc9713e93a2ee19 /src/compiler/scala/tools/nsc/settings/AbsScalaSettings.scala | |
parent | ec4479aa7d0279daa701481fb7d77c1f43617190 (diff) | |
download | scala-a40af3e42fdfff62901dbc807ed3d899272d2b37.tar.gz scala-a40af3e42fdfff62901dbc807ed3d899272d2b37.tar.bz2 scala-a40af3e42fdfff62901dbc807ed3d899272d2b37.zip |
SI-5905 Sanity check -language options
The option names are hardcoded, but checked by a test.
There are no hooks to verify options after the compiler
is constructed.
Introduced a `MultiChoiceSetting` required for the
setting creation framework.
Diffstat (limited to 'src/compiler/scala/tools/nsc/settings/AbsScalaSettings.scala')
-rw-r--r-- | src/compiler/scala/tools/nsc/settings/AbsScalaSettings.scala | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/compiler/scala/tools/nsc/settings/AbsScalaSettings.scala b/src/compiler/scala/tools/nsc/settings/AbsScalaSettings.scala index 8b897b83b2..38a7525862 100644 --- a/src/compiler/scala/tools/nsc/settings/AbsScalaSettings.scala +++ b/src/compiler/scala/tools/nsc/settings/AbsScalaSettings.scala @@ -16,6 +16,7 @@ trait AbsScalaSettings { type ChoiceSetting <: Setting { type T = String } type IntSetting <: Setting { type T = Int } type MultiStringSetting <: Setting { type T = List[String] } + type MultiChoiceSetting <: Setting { type T = List[String] } type PathSetting <: Setting { type T = String } type PhasesSetting <: Setting { type T = List[String] } type StringSetting <: Setting { type T = String } @@ -28,6 +29,7 @@ trait AbsScalaSettings { def ChoiceSetting(name: String, helpArg: String, descr: String, choices: List[String], default: String): ChoiceSetting def IntSetting(name: String, descr: String, default: Int, range: Option[(Int, Int)], parser: String => Option[Int]): IntSetting def MultiStringSetting(name: String, helpArg: String, descr: String): MultiStringSetting + def MultiChoiceSetting(name: String, helpArg: String, descr: String, choices: List[String]): MultiChoiceSetting def OutputSetting(outputDirs: OutputDirs, default: String): OutputSetting def PathSetting(name: String, descr: String, default: String): PathSetting def PhasesSetting(name: String, descr: String, default: String): PhasesSetting |