https://developers.google.com/j2objc/javadoc/jre/reference/java/nio/file/DirectoryStream.Filter
DirectoryStream.Filter | J2ObjC | Google for Developers
filtergoogledevelopers
https://docs.oracle.com/javase/jp/17/docs/api/java.base/java/nio/file/DirectoryStream.Filter.html
DirectoryStream.Filter (Java SE 17 & JDK 17)
declaration: module: java.base, package: java.nio.file, interface: DirectoryStream, interface: Filter
java sefilterjdk
https://docs.oracle.com/javase/jp/18/docs/api/java.base/java/nio/file/DirectoryStream.html
DirectoryStream (Java SE 18 & JDK 18)
declaration: module: java.base, package: java.nio.file, interface: DirectoryStream
java sejdk