diff options
Diffstat (limited to 'jeu-test/Lemmini/0.84/src/Tools/JFileFilter.java')
| -rw-r--r-- | jeu-test/Lemmini/0.84/src/Tools/JFileFilter.java | 293 |
1 files changed, 293 insertions, 0 deletions
diff --git a/jeu-test/Lemmini/0.84/src/Tools/JFileFilter.java b/jeu-test/Lemmini/0.84/src/Tools/JFileFilter.java new file mode 100644 index 0000000..20ae3b6 --- /dev/null +++ b/jeu-test/Lemmini/0.84/src/Tools/JFileFilter.java @@ -0,0 +1,293 @@ +package Tools;
+
+/*
+ * Copyright (c) 2003 Sun Microsystems, Inc. All Rights Reserved.
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions
+ * are met:
+ *
+ * -Redistributions of source code must retain the above copyright
+ * notice, this list of conditions and the following disclaimer.
+ *
+ * -Redistribution in binary form must reproduct the above copyright
+ * notice, this list of conditions and the following disclaimer in
+ * the documentation and/or other materials provided with the distribution.
+ *
+ * Neither the name of Sun Microsystems, Inc. or the names of contributors
+ * may be used to endorse or promote products derived from this software
+ * without specific prior written permission.
+ *
+ * This software is provided "AS IS," without a warranty of any kind. ALL
+ * EXPRESS OR IMPLIED CONDITIONS, REPRESENTATIONS AND WARRANTIES, INCLUDING
+ * ANY IMPLIED WARRANTY OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE
+ * OR NON-INFRINGEMENT, ARE HEREBY EXCLUDED. SUN AND ITS LICENSORS SHALL NOT
+ * BE LIABLE FOR ANY DAMAGES OR LIABILITIES SUFFERED BY LICENSEE AS A RESULT
+ * OF OR RELATING TO USE, MODIFICATION OR DISTRIBUTION OF THE SOFTWARE OR ITS
+ * DERIVATIVES. IN NO EVENT WILL SUN OR ITS LICENSORS BE LIABLE FOR ANY LOST
+ * REVENUE, PROFIT OR DATA, OR FOR DIRECT, INDIRECT, SPECIAL, CONSEQUENTIAL,
+ * INCIDENTAL OR PUNITIVE DAMAGES, HOWEVER CAUSED AND REGARDLESS OF THE THEORY
+ * OF LIABILITY, ARISING OUT OF THE USE OF OR INABILITY TO USE SOFTWARE, EVEN
+ * IF SUN HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGES.
+ *
+ * You acknowledge that Software is not designed, licensed or intended for
+ * use in the design, construction, operation or maintenance of any nuclear
+ * facility.
+ */
+
+/*
+ * @(#)JFileFilter.java 1.14 03/01/23
+ */
+
+
+import java.io.File;
+import java.util.Enumeration;
+import java.util.Hashtable;
+
+import javax.swing.filechooser.FileFilter;
+
+/**
+ * <p>A convenience implementation of FileFilter that filters out
+ * all files except for those type extensions that it knows about.</p>
+ *
+ * <p>Extensions are of the type ".foo", which is typically found on
+ * Windows and Unix boxes, but not on Macinthosh. Case is ignored.</p>
+ *
+ * <p>Example - create a new filter that filerts out all files
+ * but gif and jpg image files:</p>
+ *
+ * <p><code>JFileChooser chooser = new JFileChooser();
+ * JFileFilter filter = new JFileFilter(
+ * new String{"gif", "jpg"}, "JPEG & GIF Images")
+ * chooser.addChoosableFileFilter(filter);
+ * chooser.showOpenDialog(this);</code></p>
+ *
+ * @version 1.14 01/23/03
+ * @author Jeff Dinkins
+ */
+
+public class JFileFilter extends FileFilter {
+
+ private Hashtable<String,JFileFilter> filters = null;
+ private String description = null;
+ private String fullDescription = null;
+ private boolean useExtensionsInDescription = true;
+
+ /**
+ * Creates a file filter. If no filters are added, then all
+ * files are accepted.
+ *
+ * @see #addExtension(String)
+ */
+ public JFileFilter() {
+ this.filters = new Hashtable<String,JFileFilter>();
+ }
+
+ /**
+ * Creates a file filter that accepts files with the given extension.
+ * Example: new JFileFilter("jpg");
+ *
+ * @param extension string containing file extension
+ * @see #addExtension(String)
+ */
+ public JFileFilter(final String extension) {
+ this(extension,null);
+ }
+
+ /**
+ * Creates a file filter that accepts the given file type.
+ * Example: new JFileFilter("jpg", "JPEG Image Images");
+ *
+ * Note that the "." before the extension is not needed. If
+ * provided, it will be ignored.
+ *
+ * @param extension string containing file extension
+ * @param description string containing file description
+ *
+ * @see #addExtension(String)
+ */
+ public JFileFilter(final String extension, final String description) {
+ this();
+ if(extension!=null) addExtension(extension);
+ if(description!=null) setDescription(description);
+ }
+
+ /**
+ * Creates a file filter from the given string array.
+ * Example: new JFileFilter(String {"gif", "jpg"});
+ *
+ * Note that the "." before the extension is not needed adn
+ * will be ignored.
+ *
+ * @param filters string array containing extensions
+ *
+ * @see #addExtension(String)
+ */
+ public JFileFilter(final String[] filters) {
+ this(filters, null);
+ }
+
+ /**
+ * Creates a file filter from the given string array and description.
+ * Example: new JFileFilter(String {"gif", "jpg"}, "Gif and JPG Images");
+ *
+ * Note that the "." before the extension is not needed and will be ignored.
+ *
+ * @param filters string array containing extensions
+ * @param description string containing file description
+ *
+ * @see #addExtension(String)
+ */
+ public JFileFilter(final String[] filters, final String description) {
+ this();
+ for (int i = 0; i < filters.length; i++) {
+ // add filters one by one
+ addExtension(filters[i]);
+ }
+ if(description!=null) setDescription(description);
+ }
+
+ /**
+ * Return true if this file should be shown in the directory pane,
+ * false if it shouldn't.
+ *
+ * Files that begin with "." are ignored.
+ *
+ * @see #getExtension(File)
+ * @see #accept(File)
+ */
+ @Override
+ public boolean accept(final File f) {
+ if(f != null) {
+ if(f.isDirectory()) {
+ return true;
+ }
+ String extension = getExtension(f);
+ if(extension != null && filters.get(getExtension(f)) != null) {
+ return true;
+ };
+ }
+ return false;
+ }
+
+ /**
+ * Return the extension portion of the file's name .
+ *
+ * @see #getExtension(File)
+ * @see #accept(File)
+ * @param f File handle to get extension for
+ * @return extension as string (excluding the '.')
+ */
+ public String getExtension(final File f) {
+ if(f != null) {
+ String filename = f.getName();
+ int i = filename.lastIndexOf('.');
+ if(i>0 && i<filename.length()-1) {
+ return filename.substring(i+1).toLowerCase();
+ };
+ }
+ return null;
+ }
+
+ /**
+ * Adds a file type "dot" extension to filter against.
+ *
+ * For example: the following code will create a filter that filters
+ * out all files except those that end in ".jpg" and ".tif":
+ *
+ * JFileFilter filter = new JFileFilter();
+ * filter.addExtension("jpg");
+ * filter.addExtension("tif");
+ *
+ * Note that the "." before the extension is not needed and will be ignored.
+ * @param extension file extension (e.g. '.sup')
+ */
+ public void addExtension(final String extension) {
+ if(filters == null) {
+ filters = new Hashtable<String,JFileFilter>(5);
+ }
+ filters.put(extension.toLowerCase(), this);
+ fullDescription = null;
+ }
+
+
+ /**
+ * Returns the human readable description of this filter. For
+ * example: "JPEG and GIF Image Files (*.jpg, *.gif)"
+ *
+ * @see #setDescription(String)
+ * @see #setExtensionListInDescription(boolean)
+ * @see #isExtensionListInDescription()
+ * @see #getDescription()
+ */
+ @Override
+ public String getDescription() {
+ if(fullDescription == null) {
+ if(description == null || isExtensionListInDescription()) {
+ fullDescription = description==null ? "(" : description + " (";
+ // build the description from the extension list
+ Enumeration<String> extensions = filters.keys();
+ if(extensions != null) {
+ fullDescription += "." + extensions.nextElement();
+ while (extensions.hasMoreElements()) {
+ fullDescription += ", ." + extensions.nextElement();
+ }
+ }
+ fullDescription += ")";
+ } else {
+ fullDescription = description;
+ }
+ }
+ return fullDescription;
+ }
+
+ /**
+ * Sets the human readable description of this filter. For
+ * example: filter.setDescription("Gif and JPG Images");
+ *
+ * @param description string containing file description
+ *
+ * @see #setDescription(String)
+ * @see #setExtensionListInDescription(boolean)
+ * @see #isExtensionListInDescription()
+ */
+ public void setDescription(final String description) {
+ this.description = description;
+ fullDescription = null;
+ }
+
+ /**
+ * Determines whether the extension list (.jpg, .gif, etc) should
+ * show up in the human readable description.
+ *
+ * Only relevant if a description was provided in the constructor
+ * or using setDescription();
+ *
+ * @param b true if the extension list should show up in the human readable description
+ *
+ * @see #getDescription()
+ * @see #setDescription(String)
+ * @see #isExtensionListInDescription()
+ */
+ public void setExtensionListInDescription(final boolean b) {
+ useExtensionsInDescription = b;
+ fullDescription = null;
+ }
+
+ /**
+ * Returns whether the extension list (.jpg, .gif, etc) should
+ * show up in the human readable description.
+ *
+ * Only relevant if a description was provided in the constructor
+ * or using setDescription();
+ *
+ * @return true if the extension list should show up in the human readable description
+ *
+ * @see #getDescription()
+ * @see #setDescription(String)
+ * @see #setExtensionListInDescription(boolean)
+ */
+ public boolean isExtensionListInDescription() {
+ return useExtensionsInDescription;
+ }
+}
|