summaryrefslogtreecommitdiff
path: root/support/makeglossariesgui/src/java/AuxFileFilter.java
blob: fa88a6e5a7c73699a505b391d3eb8d8ea350d97c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
/*
    Copyright (C) 2013-2020 Nicola L.C. Talbot
    www.dickimaw-books.com

    This program is free software; you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
    the Free Software Foundation; either version 3 of the License, or
    (at your option) any later version.

    This program 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 General Public License for more details.

    You should have received a copy of the GNU General Public License
    along with this program; if not, write to the Free Software
    Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301  USA
*/
package com.dickimawbooks.makeglossariesgui;

import java.io.*;

/**
 * Filter for AUX files. Recognised extension: aux.
 */
public class AuxFileFilter extends javax.swing.filechooser.FileFilter
{
   /**
    * Creates a file filter with default description.
    * The default description is "AUX Files".
    */
   public AuxFileFilter()
   {
      this("AUX Files");
   }

   /**
    * Creates a file filter with given description.
    */
   public AuxFileFilter(String description)
   {
      super();

      this.description = description;
   }

   /**
    * Determines whether given file is accepted by this filter.
    */
   public boolean accept(File f)
   {
      if (f.isDirectory()) return true;

      String name = f.getName().toLowerCase();

      if (name.endsWith(".aux"))
      {
         return true;
      }
      
      return false;
   }

   /**
    * Gets the description of this filter.
    */
   public String getDescription()
   {
      return description;
   }

   public String getDefaultExtension()
   {
      return "tex";
   }

   private String description;
}