diff options
| -rw-r--r-- | sources/scala/tools/scaladoc/HTMLGeneratorPhase.java | 50 | ||||
| -rw-r--r-- | sources/scala/tools/scaladoc/Main.java | 48 |
2 files changed, 0 insertions, 98 deletions
diff --git a/sources/scala/tools/scaladoc/HTMLGeneratorPhase.java b/sources/scala/tools/scaladoc/HTMLGeneratorPhase.java deleted file mode 100644 index e3540cb235..0000000000 --- a/sources/scala/tools/scaladoc/HTMLGeneratorPhase.java +++ /dev/null @@ -1,50 +0,0 @@ -/* ____ ____ ____ ____ ______ *\ -** / __// __ \/ __// __ \/ ____/ SOcos COmpiles Scala ** -** __\_ \/ /_/ / /__/ /_/ /\_ \ (c) 2002, LAMP/EPFL ** -** /_____/\____/\___/\____/____/ ** -\* */ - -// $Id$ - -package scala.tools.scaladoc; - -import ch.epfl.lamp.util.Position; - -import scalac.Global; -import scalac.Phase; -import scalac.PhaseDescriptor; -import scalac.Unit; - -/** - * This class implements a phase that generates the HTML documentation - * for Scala source code. - */ -public class HTMLGeneratorPhase extends Phase { - - //######################################################################## - // Public Constructors - - /** - * Initializes this instance. - * - * @param global - * @param descriptor - */ - public HTMLGeneratorPhase(Global global, PhaseDescriptor descriptor) { - super(global, descriptor); - } - - //######################################################################## - // Public Methods - - /** - * Applies this phase to the given compilation units. - * - * @param units - */ - public void apply(Unit[] units) { - DocModule.apply(global); - } - - //######################################################################## -} diff --git a/sources/scala/tools/scaladoc/Main.java b/sources/scala/tools/scaladoc/Main.java deleted file mode 100644 index d1c0b83bb7..0000000000 --- a/sources/scala/tools/scaladoc/Main.java +++ /dev/null @@ -1,48 +0,0 @@ -/* ____ ____ ____ ____ ______ *\ -** / __// __ \/ __// __ \/ ____/ SOcos COmpiles Scala ** -** __\_ \/ /_/ / /__/ /_/ /\_ \ (c) 2002, LAMP/EPFL ** -** /_____/\____/\___/\____/____/ ** -\* */ - -// $Id$ - -package scala.tools.scaladoc; - -import scalac.Global; -import scalac.util.Reporter; - -/** - * The main class for scaladoc, an HTML documentation generator - * for the programming language Scala. - * - * @author Vincent Cremet, Stephane Micheloud - * @version 1.0 - */ -public class Main { - - //######################################################################## - // Public Constants - - public static final String PRODUCT = - System.getProperty("scala.product", "scaladoc"); - public static final String VERSION = - System.getProperty("scala.version", "1.0"); - - //######################################################################## - // Public Methods - - public static void main(String[] args) { - Reporter reporter = new Reporter(); - HTMLGeneratorCommand command = new HTMLGeneratorCommand( - PRODUCT, VERSION, reporter, new HTMLGeneratorPhases()); - if (command.parse(args) && command.files.list.size() > 0) { - Global global = new Global(command); - global.compile(command.files.toArray(), false); - global.stop("total"); - global.reporter.printSummary(); - } - // System.exit((reporter.errors() > 0) ? 1 : 0); - } - - //######################################################################## -} |