File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed
compiler/src/dotty/tools/io Expand file tree Collapse file tree 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}
1313
1414/** ''Note: This library is considered experimental and should not be used unless you know what you are doing.'' */
1515class PlainDirectory (givenPath : Directory ) extends PlainFile (givenPath) {
16- override def isDirectory : Boolean = true
16+ override val isDirectory : Boolean = true
1717 override def iterator (): Iterator [PlainFile ] = givenPath.list.filter(_.exists).map(new PlainFile (_))
1818 override def delete (): Unit = givenPath.deleteRecursively()
1919}
@@ -78,7 +78,7 @@ class PlainFile(val givenPath: Path) extends AbstractFile {
7878 }
7979
8080 /** Is this abstract file a directory? */
81- def isDirectory : Boolean = givenPath.isDirectory
81+ val isDirectory : Boolean = givenPath.isDirectory
8282
8383 /** Returns the time that this abstract file was last modified. */
8484 def lastModified : Long = givenPath.lastModified.toMillis
You can’t perform that action at this time.
0 commit comments