blob: f05b86fd84881426ab82fcab38d75aa8526f22a5 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
|
/* ____ ____ ____ ____ ______ *\
** / __// __ \/ __// __ \/ ____/ SOcos COmpiles Scala **
** __\_ \/ /_/ / /__/ /_/ /\_ \ (c) 2002, LAMP/EPFL **
** /_____/\____/\___/\____/____/ **
\* */
// $Id$
import scalac.{Global => scalac_Global};
import scala.tools.scalac.{Global, CompilerPhases};
import scala.tools.util.ConsoleReporter;
package scala.tools.scaladoc {
/**
* The main class for scaladoc, an HTML documentation generator
* for the programming language Scala.
*
* @author Vincent Cremet, Stephane Micheloud
* @version 1.0
*/
object Main {
val PRODUCT: String =
System.getProperty("scala.product", "scaladoc");
val VERSION: String =
System.getProperty("scala.version", "1.0");
def main(args: Array[String]): Unit = {
val reporter = new ConsoleReporter();
val phases = new CompilerPhases(); {
// we skip all phases between ANALYZER and TERMINAL.
val array = phases.phases();
var i = 0;
var skip = false;
while (i < array.length - 1) {
if (skip)
array(i).addSkipFlag();
else
skip = array(i) == phases.ANALYZER;
i = i + 1;
}
}
val command = new HTMLGeneratorCommand(PRODUCT, VERSION, reporter, phases);
if (command.parse(args) && command.files.list.size() > 0) {
val global = new Global(command);
global.compile(command.files.toArray(), false);
if (reporter.errors() == 0) {
val generator = new HTMLGenerator(global) {
def newTypeIso(global: scalac_Global): TypeIsomorphism =
new ScalaML(global);
}
generator.apply();
}
reporter.printSummary();
}
// System.exit(if (reporter.errors() > 0) 1 else 0);
}
}
}
|