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
|
/* ____ ____ ____ ____ ______ *\
** / __// __ \/ __// __ \/ ____/ SOcos COmpiles Scala **
** __\_ \/ /_/ / /__/ /_/ /\_ \ (c) 2002, LAMP/EPFL **
** /_____/\____/\___/\____/____/ **
\* */
// $Id$
package scalac.typechecker;
import ch.epfl.lamp.util.Position;
import scalac.*;
import scalac.util.*;
import scalac.ast.*;
import scalac.symtab.*;
import scalac.checkers.*;
import java.util.HashMap;
import java.util.ArrayList;
public class AnalyzerPhase extends Phase {
final Context startContext;
final Context consoleContext;
final HashMap/*<Unit,Context>*/ contexts = new HashMap();
final ArrayList/*<Unit>*/ newSources = new ArrayList();
/** Initializes this instance. */
public AnalyzerPhase(Global global, PhaseDescriptor descriptor) {
super(global, descriptor);
Definitions definitions = global.definitions;
this.startContext = new Context(
Tree.Empty,
definitions.ROOT_CLASS,
definitions.ROOT_CLASS.members(),
Context.NONE);
this.startContext.enclClass = this.startContext;
if (!global.noimports) {
addImport(startContext, definitions.getModule(Names.java_lang));
addImport(startContext, definitions.getModule(Names.scala));
}
if (!global.noimports && !global.nopredefs) {
addImport(startContext, definitions.getModule(Names.scala_Predef));
}
this.consoleContext = new Context(
Tree.Empty,
definitions.ROOT_CLASS,
definitions.ROOT_CLASS.members(),
startContext);
}
public void addConsoleImport(Symbol module) {
addImport(consoleContext, module);
}
private void addImport(Context context, Symbol module) {
global.prevPhase();
Tree tree = global.treeGen.mkImportAll(Position.NOPOS, module);
global.nextPhase();
context.imports = new ImportList(tree, new Scope(), context.imports);
}
public void apply(Unit[] units) {
new Analyzer(global, this).apply(units);
}
public void lateEnter(Global global, Unit unit, Symbol symbol) {
new Analyzer(global, this).lateEnter(unit, symbol);
}
public Checker[] postCheckers(Global global) {
return new Checker[] {
new CheckSymbols(global),
new CheckTypes(global),
new CheckOwners(global),
new CheckNames(global)
};
}
}
|
