blob: d205305c8607a7fcb9579cb99af3563bdf371215 (
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
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
|
/* ____ ____ ____ ____ ______ *\
** / __// __ \/ __// __ \/ ____/ SOcos COmpiles Scala **
** __\_ \/ /_/ / /__/ /_/ /\_ \ (c) 2002, LAMP/EPFL **
** /_____/\____/\___/\____/____/ **
\* */
// $Id$
package scalac;
import scalac.ast.printer.TreePrinter;
import scalac.symtab.Symbol;
import scalac.symtab.Type;
import scalac.checkers.Checker;
public abstract class Phase {
// !!! remove these obsolete methods !
public final String name() {
throw new Error("!!! obsolete");
}
public final String taskDescription() {
throw new Error("!!! obsolete");
}
public final String description() {
throw new Error("!!! obsolete");
}
public final void initialize(Global global) {
throw new Error("!!! obsolete");
}
public final void initialize(Global global, int id) {
throw new Error("!!! obsolete");
}
public final void apply(Global global) {
throw new Error("!!! obsolete");
}
public final void apply(Unit unit) {
throw new Error("!!! obsolete");
}
//########################################################################
// Public Fields
/** The global environment */
public final Global global;
/** The phase descriptor */
public final PhaseDescriptor descriptor;
/** The phase identifier */
public final int id;
/** The previous phase */
public final Phase prev;
/** The next phase */
public Phase next;
//########################################################################
// Public Constructors
/** Initializes this instance. */
public Phase(Global global, PhaseDescriptor descriptor) {
this.global = global;
this.descriptor = descriptor;
this.id = descriptor.id();
this.prev = global.currentPhase;
if (prev != null) prev.next = this;
global.currentPhase = this;
}
//########################################################################
// Public Methods
/** Does this phase precede the given phase? */
public boolean precedes(Phase phase) {
return id < phase.id;
}
/**
* Returns the info of `sym' after the phase. Assumes that `tp' is
* the info of symbol `sym' before this phase.
*/
public Type transformInfo(Symbol sym, Type tp) {
return tp;
}
/** Applies this phase to the given compilation units. */
public abstract void apply(Unit[] units);
/** Prints all compilation units. */
public void print(Global global) {
TreePrinter printer = global.printer;
printer.beginSection(1, "Trees after phase " + this);
for (int i = 0; i < global.units.length; i++)
printer.print(global.units[i]);
}
/** Graphs all compilation units. */
public void graph(Global global) {
for (int i = 0; i < global.units.length; i++) graph(global.units[i]);
}
/** Graphs the result of this phase for the given compilation unit. */
public void graph(Unit unit) {
// !!! new scala.compiler.gdl.TreePrinter().printInFile(
// !!! unit, unit.source + "-" + name() + ".gdl");
}
/** Checks all compilation units. */
public void check(Global global) {
for (int i = 0; i < global.units.length; i++) check(global.units[i]);
}
/** Check the result of this phase for the given compilation unit. */
public void check(Unit unit) {
Checker[] checkers = postCheckers(unit.global);
for (int i = 0; i < checkers.length; i++) checkers[i].traverse(unit);
}
/** Returns an array of checkers which can be applied after the phase. */
public Checker[] postCheckers(Global global) {
return new Checker[0];
}
/** Returns the name of this phase. */
public final String toString() {
return descriptor.name();
}
//########################################################################
}
|
