package baf.sci; /** This class represents a source of SCI resources. */ class ExternalResourceCollection extends ResourceCollection implements java.io.FilenameFilter { ExternalResourceCollection(ResourceDir dir) { super(dir, "External Files"); String[] filenames = dir.file.list(this); for (int i = 0; i < filenames.length; i++) addResourceIndex(new ExternalResourceIndex(filenames[i])); } /** The method for FilenameFilter. Accepts filenames that fit the * format for external resource files. */ public boolean accept(java.io.File dir, String filename) { if (!dir.equals(parent.file)) return false; try { Resource.getID(filename); return true; } catch (IllegalArgumentException e) { return false; } } }