01: /*BEGIN_COPYRIGHT_BLOCK
02: *
03: * Copyright (c) 2001-2007, JavaPLT group at Rice University (javaplt@rice.edu)
04: * All rights reserved.
05: *
06: * Redistribution and use in source and binary forms, with or without
07: * modification, are permitted provided that the following conditions are met:
08: * * Redistributions of source code must retain the above copyright
09: * notice, this list of conditions and the following disclaimer.
10: * * Redistributions in binary form must reproduce the above copyright
11: * notice, this list of conditions and the following disclaimer in the
12: * documentation and/or other materials provided with the distribution.
13: * * Neither the names of DrJava, the JavaPLT group, Rice University, nor the
14: * names of its contributors may be used to endorse or promote products
15: * derived from this software without specific prior written permission.
16: *
17: * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
18: * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
19: * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
20: * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
21: * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
22: * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
23: * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
24: * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
25: * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
26: * NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
27: * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28: *
29: * This software is Open Source Initiative approved Open Source Software.
30: * Open Source Initative Approved is a trademark of the Open Source Initiative.
31: *
32: * This file is part of DrJava. Download the current version of this project
33: * from http://www.drjava.org/ or http://sourceforge.net/projects/drjava/
34: *
35: * END_COPYRIGHT_BLOCK*/
36:
37: package edu.rice.cs.drjava.ui;
38:
39: import java.io.File;
40: import javax.swing.filechooser.FileFilter;
41:
42: /**
43: * A file filter for files with extensions ".hist".
44: * Used in the file choosers for the Interactions History.
45: * @version $Id: InteractionsHistoryFilter.java 4255 2007-08-28 19:17:37Z mgricken $
46: */
47: public class InteractionsHistoryFilter extends FileFilter {
48:
49: /**
50: * Extension to match for History files.
51: */
52: public static final String HIST_EXTENSION = "hist";
53:
54: /**
55: * Returns true if the file matches the Interactions History filter.
56: */
57: public boolean accept(File f) {
58: if (f.isDirectory()) {
59: return true;
60: }
61: String ext = getExtension(f);
62: if ((ext != null) && (ext.equals(HIST_EXTENSION))) {
63: return true;
64: }
65: return false;
66: }
67:
68: /**
69: * @return A description of this filter to display
70: */
71: public String getDescription() {
72: return "Interaction History Files";
73: }
74:
75: /*
76: * Get the extension of a file.
77: */
78: public static String getExtension(File f) {
79: String ext = null;
80: String s = f.getName();
81: int i = s.lastIndexOf('.');
82: if (i > 0 && i < s.length() - 1) {
83: ext = s.substring(i + 1).toLowerCase();
84: }
85: return ext;
86: }
87: }
|