blob: 5d386b47b7ce4d4c47214fb568c1716f872695ad (
plain) (
blame)
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
|
/* NSC -- new Scala compiler
* Copyright 2005-2013 LAMP/EPFL
* @author Paul Phillips
*/
package scala.tools.nsc
package interpreter
import io.VirtualDirectory
import settings.MutableSettings
import scala.reflect.io.{ AbstractFile, PlainDirectory, Directory }
import scala.collection.generic.Clearable
/** Directory to save .class files to. */
trait ReplDir extends AbstractFile with Clearable { }
private class ReplVirtualDir() extends VirtualDirectory("(memory)", None) with ReplDir { }
private class ReplRealDir(dir: Directory) extends PlainDirectory(dir) with ReplDir {
def clear() = {
dir.deleteRecursively()
dir.createDirectory()
}
}
class ReplOutput(val dirSetting: MutableSettings#StringSetting) {
// outdir for generated classfiles - may be in-memory (the default),
// a generated temporary directory, or a specified outdir.
val dir: ReplDir = (
if (dirSetting.isDefault)
new ReplVirtualDir()
else if (dirSetting.value == "")
new ReplRealDir(Directory.makeTemp("repl"))
else
new ReplRealDir(Directory(dirSetting.value))
)
// print the contents hierarchically
def show(out: JPrintWriter) = {
def pp(root: AbstractFile, indentLevel: Int) {
val label = root.name
val spaces = " " * indentLevel
out.println(spaces + label)
if (root.isDirectory)
root.toList sortBy (_.name) foreach (x => pp(x, indentLevel + 1))
}
pp(dir, 0)
}
}
|
