mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-04 06:32:48 +07:00
GitOrigin-RevId: 8ca94e665d8345b4b299415fd3bf43cf22d28c68
10 lines
243 B
Java
10 lines
243 B
Java
// "Replace with bulk 'Files.readAttributes()' call" "false"
|
|
import java.io.*;
|
|
|
|
class Foo {
|
|
void printDirectory(File file, long lastModified) {
|
|
while (file.isDire<caret>ctory()) {
|
|
System.out.println(file.isDirectory());
|
|
}
|
|
}
|
|
} |