Lines Matching refs:extension
84 * Creates a file filter that accepts files with the given extension.
89 public JDBFileFilter(String extension) {
90 this(extension,null);
97 * Note that the "." before the extension is not needed. If
102 public JDBFileFilter(String extension, String description) {
104 if(extension!=null) {
105 addExtension(extension);
116 * Note that the "." before the extension is not needed adn
129 * Note that the "." before the extension is not needed and will be ignored.
159 String extension = getExtension(f);
160 if(extension != null && filters.get(getExtension(f)) != null) {
168 * Return the extension portion of the file's name .
185 * Adds a filetype "dot" extension to filter against.
194 * Note that the "." before the extension is not needed and will be ignored.
196 public void addExtension(String extension) {
200 filters.put(extension.toLowerCase(), this);
219 // build the description from the extension list
249 * Determines whether the extension list (.jpg, .gif, etc) should
265 * Returns whether the extension list (.jpg, .gif, etc) should