String
[
]
filenames
=
file
.
list
(
someFilter
)
;