blob: 490de567678b793a9fdb5027f2001cfb2552bf34 (
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
|
/* ____ ____ ____ ____ ______ *\
** / __// __ \/ __// __ \/ ____/ SOcos COmpiles Scala **
** __\_ \/ /_/ / /__/ /_/ /\_ \ (c) 2002, LAMP/EPFL **
** /_____/\____/\___/\____/____/ **
\* */
// $Id$
package scala.tools.scaladoc;
import scala.tools.scalac.CompilerPhases$class;
import scalac.PhaseDescriptor;
/**
* The class <code>HTMLGeneratorPhases</code> defines the set
* of processing phases belonging the the HTML generator tool.
*/
public class HTMLGeneratorPhases extends CompilerPhases$class {
//########################################################################
// Public Fields
/**
* The phase descriptor of the HTML generator.
*/
public final PhaseDescriptor HTMLGENERATOR;
//########################################################################
// Public Constructors
/**
* Creates an instance variable.
*/
public HTMLGeneratorPhases() {
Class clazz = null;
try {
clazz = Class.forName("scala.tools.scaladoc.HTMLGeneratorPhase$class");
} catch(Exception e) { System.out.println(e); }
this.HTMLGENERATOR = new PhaseDescriptor(
"html generator",
"generate html documentation",
"generating html",
clazz);
// scala.tools.scaladoc.HTMLGeneratorPhase.class);
int pos = insertAfter(HTMLGENERATOR, ANALYZER);
PhaseDescriptor[] array = phases();
// we skip all phases between HTMLGENERATOR and TERMINAL.
for (int i = pos + 1; i < array.length - 1; i++)
array[i].addSkipFlag();
}
//########################################################################
}
|