File tree 1 file changed +2
-2
lines changed
compiler/src/dotty/tools/io
1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -13,7 +13,7 @@ import java.nio.file.{InvalidPathException, Paths}
13
13
14
14
/** ''Note: This library is considered experimental and should not be used unless you know what you are doing.'' */
15
15
class PlainDirectory (givenPath : Directory ) extends PlainFile (givenPath) {
16
- override def isDirectory : Boolean = true
16
+ override val isDirectory : Boolean = true
17
17
override def iterator (): Iterator [PlainFile ] = givenPath.list.filter(_.exists).map(new PlainFile (_))
18
18
override def delete (): Unit = givenPath.deleteRecursively()
19
19
}
@@ -78,7 +78,7 @@ class PlainFile(val givenPath: Path) extends AbstractFile {
78
78
}
79
79
80
80
/** Is this abstract file a directory? */
81
- def isDirectory : Boolean = givenPath.isDirectory
81
+ val isDirectory : Boolean = givenPath.isDirectory
82
82
83
83
/** Returns the time that this abstract file was last modified. */
84
84
def lastModified : Long = givenPath.lastModified.toMillis
You can’t perform that action at this time.
0 commit comments