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
|
package scala.tools.nsc.interactive
import scala.concurrent.SyncVar
import scala.tools.nsc.io.AbstractFile
import scala.tools.nsc.util.{SourceFile, Position, WorkScheduler}
import scala.tools.nsc.symtab._
import scala.tools.nsc.ast._
/** Interface of interactive compiler to a client such as an IDE
*/
trait CompilerControl { self: Global =>
/** Response wrapper to client
*/
type Response[T] = SyncVar[Either[T, Throwable]]
abstract class WorkItem extends (() => Unit)
/** Info given for every member found by completion
*/
case class Member(val sym: Symbol, val tpe: Type, val accessible: Boolean, val inherited: Boolean, val viaView: Symbol) {
def shadows(other: Member) =
sym.name == other.sym.name && (sym.tpe matches other.sym.tpe)
}
/** The scheduler by which client and compiler communicate
* Must be initialized before starting compilerRunner
*/
protected val scheduler = new WorkScheduler
/** The compilation unit corresponding to a source file
*/
def unitOf(s: SourceFile): RichCompilationUnit = unitOfFile get s.file match {
case Some(unit) =>
unit
case None =>
val unit = new RichCompilationUnit(s)
unitOfFile(s.file) = unit
unit
}
/** The compilation unit corresponding to a position */
def unitOf(pos: Position): RichCompilationUnit = unitOf(pos.source.get)
/** Remove the CompilationUnit corresponding to the given SourceFile
* from consideration for recompilation.
*/
def removeUnitOf(s: SourceFile) = unitOfFile remove s.file
/** Locate smallest tree that encloses position
*/
def locateTree(pos: Position): Tree =
new Locator(pos) locateIn unitOf(pos).body
/** Locate smallest context that encloses position
*/
def locateContext(pos: Position): Option[Context] =
locateContext(unitOf(pos).contexts, pos)
/** Make sure a set of compilation units is loaded and parsed.
* Return () to syncvar `result` on completion.
*/
def askReload(sources: List[SourceFile], result: Response[Unit]) =
scheduler postWorkItem new WorkItem {
def apply() = reload(sources, result)
override def toString = "reload "+sources
}
/** Set sync var `result` to a fully attributed tree located at position `pos`
*/
def askTypeAt(pos: Position, result: Response[Tree]) =
scheduler postWorkItem new WorkItem {
def apply() = self.getTypedTreeAt(pos, result)
override def toString = "typeat "+pos.source+" "+pos.show
}
def askCompletion(pos: Position, result: Response[List[Member]]) =
scheduler postWorkItem new WorkItem {
def apply() = self.completion(pos, result)
override def toString = "completion "+pos.source+" "+pos.show
}
/** Ask to do unit first on present and subsequent type checking passes */
def askToDoFirst(f: SourceFile) = {
scheduler postWorkItem new WorkItem {
def apply() = moveToFront(List(f))
override def toString = "dofirst "+f
}
}
/** Cancel currently pending high-priority jobs */
def askCancel() =
scheduler.raise(new CancelActionReq)
/** Cancel current compiler run and start a fresh one where everything will be re-typechecked
* (but not re-loaded).
*/
def askReset() =
scheduler.raise(new FreshRunReq)
/** Tell the compile server to shutdown, and do not restart again */
def askShutdown() =
scheduler.raise(new ShutdownReq)
// ---------------- Interpreted exeptions -------------------
class CancelActionReq extends Exception
class FreshRunReq extends Exception
class ShutdownReq extends Exception
}
|
