mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-04 06:32:48 +07:00
GitOrigin-RevId: 7f72c5f68ab821e728eb0d5152f0910f48035046
13 lines
356 B
Java
13 lines
356 B
Java
// "Replace with bulk 'Files.readAttributes()' call" "true-preview"
|
|
import java.io.*;
|
|
|
|
class Foo {
|
|
void printWhileDirectory(File file) {
|
|
System.out.println(file<caret>.isFile());
|
|
System.out.println(file.lastModified());
|
|
while (file.isDirectory()) {
|
|
System.out.println(file.isFile());
|
|
System.out.println(file.length());
|
|
}
|
|
}
|
|
} |