diff options
author | michelou <michelou@epfl.ch> | 2007-06-07 11:22:41 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2007-06-07 11:22:41 +0000 |
commit | 90fed9c4846f4549099e8c0c8ce2a7683004a92f (patch) | |
tree | 3fd0b40aefd4ea99e1cd077c4e2e7710fe641ba5 /src/compiler/scala/tools/nsc/plugins/Plugins.scala | |
parent | d1aed7012af7439181c4696fb33f5f4337b83684 (diff) | |
download | scala-90fed9c4846f4549099e8c0c8ce2a7683004a92f.tar.gz scala-90fed9c4846f4549099e8c0c8ce2a7683004a92f.tar.bz2 scala-90fed9c4846f4549099e8c0c8ce2a7683004a92f.zip |
updated deprecated &f, updated svn:keywords
Diffstat (limited to 'src/compiler/scala/tools/nsc/plugins/Plugins.scala')
-rw-r--r-- | src/compiler/scala/tools/nsc/plugins/Plugins.scala | 19 |
1 files changed, 15 insertions, 4 deletions
diff --git a/src/compiler/scala/tools/nsc/plugins/Plugins.scala b/src/compiler/scala/tools/nsc/plugins/Plugins.scala index b8d618a3fc..c9792aa211 100644 --- a/src/compiler/scala/tools/nsc/plugins/Plugins.scala +++ b/src/compiler/scala/tools/nsc/plugins/Plugins.scala @@ -1,7 +1,18 @@ +/* NSC -- new Scala compiler + * Copyright 2007-2008 LAMP/EPFL + * @author Lex Spoon + */ +// $Id$ + package scala.tools.nsc.plugins + import java.io.File -/** Support for run-time loading of compiler plugins */ +/** Support for run-time loading of compiler plugins. + * + * @author Lex Spoon + * @version 1.0, 2007-5-21 + */ trait Plugins { self: Global => /** Load all available plugin. Skips plugins that @@ -28,7 +39,7 @@ trait Plugins { self: Global => plugins match { case Nil => Nil case plug :: rest => - val plugPhaseNames = Set.empty ++ plug.components.map(.phaseName) + val plugPhaseNames = Set.empty ++ plug.components.map(_.phaseName) def withoutPlug = pick(rest, plugNames, plugPhaseNames) def withPlug = (plug :: @@ -64,7 +75,7 @@ trait Plugins { self: Global => val plugs = pick(initPlugins, Set.empty, - Set.empty ++ builtInPhaseDescriptors.map(.phaseName)) + Set.empty ++ builtInPhaseDescriptors.map(_.phaseName)) for (req <- settings.require.value; if !plugs.exists(p => p.name==req)) error("Missing required plugin: " + req) @@ -124,7 +135,7 @@ trait Plugins { self: Global => } var descriptors = builtInPhaseDescriptors - var plugsLeft = plugins.flatMap(.components) + var plugsLeft = plugins.flatMap(_.components) // Insert all the plugins, one by one. Note that // plugins are allowed to depend on each other, thus |