diff options
author | Martin Odersky <odersky@gmail.com> | 2011-03-25 10:15:29 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2011-03-25 10:15:29 +0000 |
commit | 5e829a82bc2f35f36c079bc56da487e27c03f431 (patch) | |
tree | 5373ffa148d77dcf7a8839393ce265ddd06e671b /src | |
parent | 420df2a9a2c827c1811226244b13233a1742c7af (diff) | |
download | scala-5e829a82bc2f35f36c079bc56da487e27c03f431.tar.gz scala-5e829a82bc2f35f36c079bc56da487e27c03f431.tar.bz2 scala-5e829a82bc2f35f36c079bc56da487e27c03f431.zip |
All compiler control methods now do something s...
All compiler control methods now do something sensible when called from
presentation compiler thread itself.
Diffstat (limited to 'src')
3 files changed, 32 insertions, 39 deletions
diff --git a/src/compiler/scala/tools/nsc/interactive/CompilerControl.scala b/src/compiler/scala/tools/nsc/interactive/CompilerControl.scala index 2ced0788c1..fb06dd69a6 100644 --- a/src/compiler/scala/tools/nsc/interactive/CompilerControl.scala +++ b/src/compiler/scala/tools/nsc/interactive/CompilerControl.scala @@ -130,13 +130,8 @@ trait CompilerControl { self: Global => /** Sets sync var `response` to the fully attributed & typechecked tree contained in `source`. * @pre `source` needs to be loaded. */ - def askType(source: SourceFile, forceReload: Boolean, response: Response[Tree]) = { - if (debugIDE) { - println("ask type called") - new Exception().printStackTrace() - } + def askType(source: SourceFile, forceReload: Boolean, response: Response[Tree]) = postWorkItem(new AskTypeItem(source, forceReload, response)) - } /** Sets sync var `response` to the position of the definition of the given link in * the given sourcefile. @@ -179,7 +174,7 @@ trait CompilerControl { self: Global => * the a NoSuchUnitError is raised in the response. */ def askLoadedTyped(source: SourceFile, response: Response[Tree]) = - postWorkItem(new AskLoadedTypedItem(source, response)) + postWorkItem(new AskLoadedTypedItem(source, response, onCompilerThread)) /** If source if not yet loaded, get an outline view with askParseEntered. * If source is loaded, wait for it to be typechecked. @@ -200,7 +195,7 @@ trait CompilerControl { self: Global => * @param response The response. */ def askParsedEntered(source: SourceFile, keepLoaded: Boolean, response: Response[Tree]) = - postWorkItem(new AskParsedEnteredItem(source, keepLoaded, response)) + postWorkItem(new AskParsedEnteredItem(source, keepLoaded, response, onCompilerThread)) /** Cancels current compiler run and start a fresh one where everything will be re-typechecked * (but not re-loaded). @@ -228,7 +223,7 @@ trait CompilerControl { self: Global => } /** Asks for a computation to be done quickly on the presentation compiler thread */ - def ask[A](op: () => A): A = scheduler doQuickly op + def ask[A](op: () => A): A = if (onCompilerThread) op() else scheduler doQuickly op /** Info given for every member found by completion */ @@ -293,13 +288,13 @@ trait CompilerControl { self: Global => override def toString = "linkpos "+sym+" in "+source } - class AskLoadedTypedItem(val source: SourceFile, response: Response[Tree]) extends WorkItem { - def apply() = self.waitLoadedTyped(source, response) + class AskLoadedTypedItem(val source: SourceFile, response: Response[Tree], val onSameThread: Boolean) extends WorkItem { + def apply() = self.waitLoadedTyped(source, response, onSameThread) override def toString = "wait loaded & typed "+source } - class AskParsedEnteredItem(val source: SourceFile, val keepLoaded: Boolean, response: Response[Tree]) extends WorkItem { - def apply() = self.getParsedEntered(source, keepLoaded, response) + class AskParsedEnteredItem(val source: SourceFile, val keepLoaded: Boolean, response: Response[Tree], val onSameThread: Boolean) extends WorkItem { + def apply() = self.getParsedEntered(source, keepLoaded, response, onSameThread) override def toString = "getParsedEntered "+source+", keepLoaded = "+keepLoaded } } diff --git a/src/compiler/scala/tools/nsc/interactive/Global.scala b/src/compiler/scala/tools/nsc/interactive/Global.scala index a2426d2212..2e76a6378e 100644 --- a/src/compiler/scala/tools/nsc/interactive/Global.scala +++ b/src/compiler/scala/tools/nsc/interactive/Global.scala @@ -848,40 +848,38 @@ class Global(settings: Settings, reporter: Reporter) } } - /** Synchronous version of askStructure. */ - def getStructure(source: SourceFile, response: Response[Tree]) { - getUnit(source) match { - case Some(_) => waitLoadedTyped(source, response) - case None => getParsedEntered(source, false, response) - } - } - /** Implements CompilerControl.askLoadedTyped */ - protected def waitLoadedTyped(source: SourceFile, response: Response[Tree]) { + protected def waitLoadedTyped(source: SourceFile, response: Response[Tree], onSameThread: Boolean) { getUnit(source) match { - case Some(unit) => - if (unit.isUpToDate) { debugLog("already typed"); response set unit.body } - else { debugLog("wait for later"); outOfDate = true; waitLoadedTypeResponses(source) += response } - case None => + case Some(unit) if unit.isUpToDate => + debugLog("already typed"); + response set unit.body + case Some(_) if !onSameThread => + debugLog("wait for later") + outOfDate = true + waitLoadedTypeResponses(source) += response + case _ => debugLog("load unit and type") try reloadSources(List(source)) - finally waitLoadedTyped(source, response) + finally waitLoadedTyped(source, response, onSameThread) } } /** Implements CompilerControl.askParsedEntered */ - protected def getParsedEntered(source: SourceFile, keepLoaded: Boolean, response: Response[Tree]) { + protected def getParsedEntered(source: SourceFile, keepLoaded: Boolean, response: Response[Tree], onSameThread: Boolean) { getUnit(source) match { case Some(unit) => getParsedEnteredNow(source, response) case None => - if (keepLoaded) - try reloadSources(List(source)) - finally getParsedEnteredNow(source, response) - else if (outOfDate) - getParsedEnteredResponses(source) += response - else - getParsedEnteredNow(source, response) + try { + if (keepLoaded || outOfDate && onSameThread) + reloadSources(List(source)) + } finally { + if (keepLoaded || !outOfDate || onSameThread) + getParsedEnteredNow(source, response) + else + getParsedEnteredResponses(source) += response + } } } diff --git a/src/compiler/scala/tools/nsc/interactive/Picklers.scala b/src/compiler/scala/tools/nsc/interactive/Picklers.scala index 250f648250..4591cf2522 100644 --- a/src/compiler/scala/tools/nsc/interactive/Picklers.scala +++ b/src/compiler/scala/tools/nsc/interactive/Picklers.scala @@ -159,13 +159,13 @@ trait Picklers { self: Global => .asClass (classOf[AskLinkPosItem]) implicit def askLoadedTypedItem: CondPickler[AskLoadedTypedItem] = - pkl[SourceFile] - .wrapped { new AskLoadedTypedItem(_, new Response) } { _.source } + (pkl[SourceFile] ~ pkl[Boolean]) + .wrapped { case source ~ onSameThread => new AskLoadedTypedItem(source, new Response, onSameThread) } { w => w.source ~ w.onSameThread } .asClass (classOf[AskLoadedTypedItem]) implicit def askParsedEnteredItem: CondPickler[AskParsedEnteredItem] = - (pkl[SourceFile] ~ pkl[Boolean]) - .wrapped { case source ~ keepLoaded => new AskParsedEnteredItem(source, keepLoaded, new Response) } { w => w.source ~ w.keepLoaded } + (pkl[SourceFile] ~ pkl[Boolean] ~ pkl[Boolean]) + .wrapped { case source ~ keepLoaded ~ onSameThread => new AskParsedEnteredItem(source, keepLoaded, new Response, onSameThread) } { w => w.source ~ w.keepLoaded ~ w.onSameThread } .asClass (classOf[AskParsedEnteredItem]) implicit def emptyAction: CondPickler[EmptyAction] = |