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
|
/* NSC -- new Scala compiler
* Copyright 2005-2009 LAMP/EPFL
* @author Martin Odersky
*/
// $Id$
package scala.tools.nsc.io
import java.io.{File, FileInputStream, FileOutputStream, IOException}
object PlainFile {
/**
* If the specified File exists, returns an abstract file backed
* by it. Otherwise, returns null.
*/
def fromFile(file: File): AbstractFile =
if (file.exists()) new PlainFile(file) else null
}
/** This class implements an abstract file backed by a File.
*/
class PlainFile(val file: File) extends AbstractFile {
private val fpath = try { file.getCanonicalPath }
catch { case _: IOException => file.getAbsolutePath }
assert(file ne null)
// assert(file.exists(), "non-existent file: " + file)
/** Returns the name of this abstract file. */
def name = file.getName()
/** Returns the path of this abstract file. */
def path = file.getPath()
/** The absolute file. */
def absolute = new PlainFile(file.getCanonicalFile())
override def container : AbstractFile = new PlainFile(file.getParentFile)
override def input = new FileInputStream(file)
override def output = new FileOutputStream(file)
override def sizeOption = Some(file.length.toInt)
override def hashCode(): Int = fpath.hashCode
override def equals(that: Any): Boolean =
that.isInstanceOf[PlainFile] &&
fpath.equals(that.asInstanceOf[PlainFile].fpath)
/** Is this abstract file a directory? */
def isDirectory: Boolean = file.isDirectory()
/** Returns the time that this abstract file was last modified. */
def lastModified: Long = file.lastModified()
/** Returns all abstract subfiles of this abstract directory. */
def iterator: Iterator[AbstractFile] = {
assert(isDirectory, "not a directory '" + this + "'")
val names: Array[String] = file.list()
if ((names eq null) || names.length == 0) Iterator.empty
else names.iterator.map { name: String => new File(file, name) }
.filter(_.exists).map(file => new PlainFile(file))
}
/**
* Returns the abstract file in this abstract directory with the
* specified name. If there is no such file, returns null. The
* argument "directory" tells whether to look for a directory or
* or a regular file.
*
* @param name ...
* @param directory ...
* @return ...
*/
def lookupName(name: String, directory: Boolean): AbstractFile = {
//assert(isDirectory, "not a directory '" + this + "'")
val child = new File(file, name)
if (!child.exists() || (directory != child.isDirectory) ||
directory == child.isFile()) null
else new PlainFile(child)
}
/** Does this abstract file denote an existing file? */
def create {
if (!exists)
file.createNewFile()
}
/** Delete the underlying file or directory (recursively). */
def delete {
if (file.isFile) file.delete
else if (file.isDirectory) {
elements.foreach(_.delete)
file.delete
}
}
/** Returns a plain file with the given name. It does not
* check that it exists.
*/
def lookupNameUnchecked(name: String, directory: Boolean): AbstractFile = {
val f = new File(file, name)
new PlainFile(f)
}
}
|