text: public string[] list(java.io.FilenameFilter filter){string[] filenames = list();if (filter == null || filenames == null){return filenames;}java.util.List<string> result = new java.util.ArrayList<string>(filenames.Length);foreach (string filename in filenames){if (filter.accept(this, filename)){result.add(filename);}}return result.toArray(new string[result.size()]);}