Added tests with FilenameFilter (several arguments).
This commit is contained in:
@@ -0,0 +1,9 @@
|
||||
import java.io.*
|
||||
|
||||
fun box(): String {
|
||||
val filter = FilenameFilter { dir, name -> if (name == null) false else (name as java.lang.String).endsWith(".md") }
|
||||
val listFiles = File(".").listFiles(filter)!!
|
||||
if (listFiles.size != 1) return "Wrong size: $listFiles.size"
|
||||
val name = listFiles[0].getName()
|
||||
return if (name == "ReadMe.md") "OK" else "Wrong name: $name"
|
||||
}
|
||||
@@ -0,0 +1,7 @@
|
||||
package test;
|
||||
|
||||
import java.io.File;
|
||||
|
||||
public interface FilenameFilter {
|
||||
boolean accept(File dir, String name);
|
||||
}
|
||||
@@ -0,0 +1,7 @@
|
||||
package test
|
||||
|
||||
public /*synthesized*/ fun FilenameFilter(/*0*/ function : (java.io.File?, jet.String?) -> jet.Boolean) : test.FilenameFilter
|
||||
|
||||
public trait FilenameFilter : java.lang.Object {
|
||||
public abstract fun accept(/*0*/ p0 : java.io.File?, /*1*/ p1 : jet.String?) : jet.Boolean
|
||||
}
|
||||
Reference in New Issue
Block a user