X-Git-Url: http://git.polytechnique.org/?a=blobdiff_plain;f=ekit%2Fcom%2Fhexidec%2Fekit%2Fcomponent%2FMutableFilter.java;h=7560dae84df254a705b4e2da37f0b9d37ec665a7;hb=6ce136dad31e39a1684a657ed5c9b33fba069623;hp=2d9d4af3f4b697eb37b63c7c33ad622467bedb81;hpb=6dd702802493556cff5e55eb4982d23e79a30832;p=old-projects.git diff --git a/ekit/com/hexidec/ekit/component/MutableFilter.java b/ekit/com/hexidec/ekit/component/MutableFilter.java index 2d9d4af..7560dae 100644 --- a/ekit/com/hexidec/ekit/component/MutableFilter.java +++ b/ekit/com/hexidec/ekit/component/MutableFilter.java @@ -1,77 +1,77 @@ -/* -GNU Lesser General Public License - -MutableFilter -Copyright (C) 2000-2003 Howard Kistler - -This library is free software; you can redistribute it and/or -modify it under the terms of the GNU Lesser General Public -License as published by the Free Software Foundation; either -version 2.1 of the License, or (at your option) any later version. - -This library is distributed in the hope that it will be useful, -but WITHOUT ANY WARRANTY; without even the implied warranty of -MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU -Lesser General Public License for more details. - -You should have received a copy of the GNU Lesser General Public -License along with this library; if not, write to the Free Software -Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA -*/ - -package com.hexidec.ekit.component; - -import java.io.File; -import javax.swing.filechooser.FileFilter; - -/** Class for providing JFileChooser with a FileFilter - */ -public class MutableFilter extends FileFilter -{ - private String[] acceptableExtensions; - private String descriptor; - - public MutableFilter(String[] exts, String desc) - { - acceptableExtensions = exts; - StringBuffer strbDesc = new StringBuffer(desc + " ("); - for(int i = 0; i < acceptableExtensions.length; i++) - { - if(i > 0) { strbDesc.append(", "); } - strbDesc.append("*." + acceptableExtensions[i]); - } - strbDesc.append(")"); - descriptor = strbDesc.toString(); - } - - public boolean accept(File file) - { - if(file.isDirectory()) - { - return true; - } - String fileName = file.getName(); - String fileExt = fileName.substring(fileName.lastIndexOf(".") + 1, fileName.length()).toLowerCase(); - if(fileExt != null) - { - for(int i = 0; i < acceptableExtensions.length; i++) - { - if(fileExt.equals(acceptableExtensions[i])) - { - return true; - } - } - return false; - } - else - { - return false; - } - } - - public String getDescription() - { - return descriptor; - } -} - +/* +GNU Lesser General Public License + +MutableFilter +Copyright (C) 2000 Howard Kistler + +This library is free software; you can redistribute it and/or +modify it under the terms of the GNU Lesser General Public +License as published by the Free Software Foundation; either +version 2.1 of the License, or (at your option) any later version. + +This library is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU +Lesser General Public License for more details. + +You should have received a copy of the GNU Lesser General Public +License along with this library; if not, write to the Free Software +Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA +*/ + +package com.hexidec.ekit.component; + +import java.io.File; +import javax.swing.filechooser.FileFilter; + +/** Class for providing JFileChooser with a FileFilter + */ +public class MutableFilter extends FileFilter +{ + private String[] acceptableExtensions; + private String descriptor; + + public MutableFilter(String[] exts, String desc) + { + acceptableExtensions = exts; + StringBuffer strbDesc = new StringBuffer(desc + " ("); + for(int i = 0; i < acceptableExtensions.length; i++) + { + if(i > 0) { strbDesc.append(", "); } + strbDesc.append("*." + acceptableExtensions[i]); + } + strbDesc.append(")"); + descriptor = strbDesc.toString(); + } + + public boolean accept(File file) + { + if(file.isDirectory()) + { + return true; + } + String fileName = file.getName(); + String fileExt = fileName.substring(fileName.lastIndexOf(".") + 1, fileName.length()).toLowerCase(); + if(fileExt != null) + { + for(int i = 0; i < acceptableExtensions.length; i++) + { + if(fileExt.equals(acceptableExtensions[i])) + { + return true; + } + } + return false; + } + else + { + return false; + } + } + + public String getDescription() + { + return descriptor; + } +} +