[#600] Support java.io.FilenameFilter

This commit is contained in:
Michiel Borkent 2020-09-30 20:21:55 +02:00
parent c078dc69e4
commit 079faf8106
2 changed files with 7 additions and 1 deletions

View file

@ -90,6 +90,7 @@
java.io.Console java.io.Console
java.io.File java.io.File
java.io.FileFilter java.io.FileFilter
java.io.FilenameFilter
java.io.FileNotFoundException java.io.FileNotFoundException
java.io.InputStream java.io.InputStream
java.io.IOException java.io.IOException

View file

@ -15,4 +15,9 @@
(fn [{:keys [:methods]}] (fn [{:keys [:methods]}]
{:obj (reify java.io.FileFilter {:obj (reify java.io.FileFilter
(accept [this f] (accept [this f]
((get methods 'accept) this f)))})}) ((get methods 'accept) this f)))})
'java.io.FilenameFilter
(fn [{:keys [:methods]}]
{:obj (reify java.io.FilenameFilter
(accept [this f s]
((get methods 'accept) this f s)))})})