KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > edu > rice > cs > drjava > ui > JavaSourceFilter


1 /*BEGIN_COPYRIGHT_BLOCK
2  *
3  * This file is part of DrJava. Download the current version of this project from http://www.drjava.org/
4  * or http://sourceforge.net/projects/drjava/
5  *
6  * DrJava Open Source License
7  *
8  * Copyright (C) 2001-2005 JavaPLT group at Rice University (javaplt@rice.edu). All rights reserved.
9  *
10  * Developed by: Java Programming Languages Team, Rice University, http://www.cs.rice.edu/~javaplt/
11  *
12  * Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated
13  * documentation files (the "Software"), to deal with the Software without restriction, including without limitation
14  * the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and
15  * to permit persons to whom the Software is furnished to do so, subject to the following conditions:
16  *
17  * - Redistributions of source code must retain the above copyright notice, this list of conditions and the
18  * following disclaimers.
19  * - Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the
20  * following disclaimers in the documentation and/or other materials provided with the distribution.
21  * - Neither the names of DrJava, the JavaPLT, Rice University, nor the names of its contributors may be used to
22  * endorse or promote products derived from this Software without specific prior written permission.
23  * - Products derived from this software may not be called "DrJava" nor use the term "DrJava" as part of their
24  * names without prior written permission from the JavaPLT group. For permission, write to javaplt@rice.edu.
25  *
26  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO
27  * THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
28  * CONTRIBUTORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF
29  * CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
30  * WITH THE SOFTWARE.
31  *
32  END_COPYRIGHT_BLOCK*/
33
34 package edu.rice.cs.drjava.ui;
35
36 import java.io.File JavaDoc;
37 import javax.swing.filechooser.FileFilter JavaDoc;
38 import edu.rice.cs.drjava.DrJava;
39 import edu.rice.cs.drjava.DrJavaRoot;
40 import edu.rice.cs.drjava.config.OptionConstants;
41
42
43 /** A file filter for files with extensions ".java" and ".gj". Used in the file choosers for open and save.
44  * @version $Id: JavaSourceFilter.java 3522 2006-02-11 03:57:00Z rcartwright $
45  */
46 public class JavaSourceFilter extends FileFilter JavaDoc {
47   
48   /** Returns true if the file's extension matches Java or GJ. */
49   public boolean accept(File JavaDoc f) {
50     if (f.isDirectory()) {
51       return true;
52     }
53     String JavaDoc extension = getExtension(f);
54     if (extension != null) {
55       switch (DrJava.getConfig().getSetting(OptionConstants.LANGUAGE_LEVEL)) {
56         case (DrJavaRoot.FULL_JAVA): return (extension.equals("java") || extension.equals("j"));
57         case (DrJavaRoot.ELEMENTARY_LEVEL): return extension.equals("dj0");
58         case (DrJavaRoot.INTERMEDIATE_LEVEL): return extension.equals("dj1");
59         case (DrJavaRoot.ADVANCED_LEVEL): return extension.equals("dj2");
60       }
61     }
62     return false;
63   }
64
65   /** @return A description of this filter to display. */
66   public String JavaDoc getDescription() {
67     switch (DrJava.getConfig().getSetting(OptionConstants.LANGUAGE_LEVEL)) {
68         case (DrJavaRoot.FULL_JAVA): return "Java source files";
69         case (DrJavaRoot.ELEMENTARY_LEVEL): return "Elementary source files (.dj0)";
70         case (DrJavaRoot.INTERMEDIATE_LEVEL): return "Intermediate source files (.dj1)";
71         case (DrJavaRoot.ADVANCED_LEVEL): return "Advanced source files (.dj2)";
72       }
73     return "Java source files";
74   }
75
76   /* Get the extension of a file. */
77   public static String JavaDoc getExtension(File JavaDoc f) {
78     String JavaDoc ext = null;
79     String JavaDoc s = f.getName();
80     int i = s.lastIndexOf('.');
81     if (i > 0 && i < s.length() - 1) {
82       ext = s.substring(i + 1).toLowerCase();
83     }
84     return ext;
85   }
86 }
87
88
89
90
Popular Tags