diff options
author | Miles Sabin <miles@milessabin.com> | 2009-05-29 14:44:21 +0000 |
---|---|---|
committer | Miles Sabin <miles@milessabin.com> | 2009-05-29 14:44:21 +0000 |
commit | 660b4beeda91771b0569571b5ef8d12cfd63fa1d (patch) | |
tree | 471eac569e1e8e943982c26da7df8466f7dfda24 | |
parent | b35a79a93cce5de8872e278586e74dedc53a04a7 (diff) | |
download | scala-660b4beeda91771b0569571b5ef8d12cfd63fa1d.tar.gz scala-660b4beeda91771b0569571b5ef8d12cfd63fa1d.tar.bz2 scala-660b4beeda91771b0569571b5ef8d12cfd63fa1d.zip |
Added method to remove compilation units when t...
Added method to remove compilation units when they become uninteresting.
-rw-r--r-- | src/compiler/scala/tools/nsc/interactive/CompilerControl.scala | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/compiler/scala/tools/nsc/interactive/CompilerControl.scala b/src/compiler/scala/tools/nsc/interactive/CompilerControl.scala index 479748532b..8d4c18fbf7 100644 --- a/src/compiler/scala/tools/nsc/interactive/CompilerControl.scala +++ b/src/compiler/scala/tools/nsc/interactive/CompilerControl.scala @@ -23,6 +23,9 @@ trait CompilerControl { self: Global => unit } + /** Remove the corresponding CompilationUnit from consideration for recompilation */ + def removeUnitOf(s: SourceFile) = unitOfFile remove s.file + /** The compilation unit corresponding to a position */ def unitOf(pos: Position): RichCompilationUnit = unitOf(pos.source.get) |