diff options
| author | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-05-28 12:55:23 -0700 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-05-28 12:55:23 -0700 |
| commit | 765aab65614fd18b67b961f4b91047b536a554c3 (patch) | |
| tree | e19d96f11d34f0a502bbcb939a0dce978c51632e /src/compiler/scala/tools/nsc/backend/Platform.scala | |
| parent | 3f290baa0fdd5e8a34dba698ba6d0b642a71d75d (diff) | |
| parent | ace051ff0abe112b767c3912f846eb4d50e52cf5 (diff) | |
| download | scala-765aab65614fd18b67b961f4b91047b536a554c3.tar.gz scala-765aab65614fd18b67b961f4b91047b536a554c3.tar.bz2 scala-765aab65614fd18b67b961f4b91047b536a554c3.zip | |
Merge pull request #640 from odersky/topic/inkling
Implemented functionality to invalidate classpath entries
Diffstat (limited to 'src/compiler/scala/tools/nsc/backend/Platform.scala')
| -rw-r--r-- | src/compiler/scala/tools/nsc/backend/Platform.scala | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/compiler/scala/tools/nsc/backend/Platform.scala b/src/compiler/scala/tools/nsc/backend/Platform.scala index 23592eeb61..f97d3e3d56 100644 --- a/src/compiler/scala/tools/nsc/backend/Platform.scala +++ b/src/compiler/scala/tools/nsc/backend/Platform.scala @@ -23,6 +23,9 @@ trait Platform { /** The root symbol loader. */ def rootLoader: LazyType + + /** Update classpath with a substituted subentry */ + def updateClassPath(oldEntry: ClassPath[BinaryRepr], newEntry: ClassPath[BinaryRepr]) /** Any platform-specific phases. */ def platformPhases: List[SubComponent] |