vs.fabula.io
Class LanguageFilter

java.lang.Object
  extended by javax.swing.filechooser.FileFilter
      extended by vs.fabula.io.LanguageFilter
All Implemented Interfaces:
java.io.FileFilter

public class LanguageFilter
extends javax.swing.filechooser.FileFilter
implements java.io.FileFilter

Implements a file filter based on filename extension.

Version:
$Revision: 1.4 $ $Date: 2008/12/01 16:32:44 $
Author:
Arend Rensink

Constructor Summary
LanguageFilter(java.lang.String extension)
          Constructs a new extension file filter, with empty description.
LanguageFilter(java.lang.String description, java.lang.String extension)
          Deprecated.  
LanguageFilter(java.lang.String description, java.lang.String extension, java.lang.String language)
          Constructs a new extension file filter, with a given description, filename extension and output language.
LanguageFilter(java.lang.String description, java.lang.String extension, java.lang.String language, boolean acceptDirectories)
          Constructs a new extension file filter, with a given description and filename extension, and a flag to set whether directories are accepted.
 
Method Summary
 boolean accept(java.io.File file)
          Accepts a file if its name ends on this filter's extension, or it is a directory and directories are accepted.
 boolean acceptExtension(java.io.File file)
          Accepts a file if its name ends on this filter's extension.
 java.lang.String addExtension(java.lang.String filename)
          Adds an extension to filename, if the extension is not yet there.
 java.lang.String getDescription()
          Returns this filter's description.
 java.lang.String getExtension()
          Returns this filter's extension.
 java.lang.String getLanguage()
          Returns this filter's output language.
 boolean isAcceptDirectories()
          Indicates whether this filter accepts directory files, in addition to files ending on the required extension.
 void setAcceptDirectories(boolean accept)
          Sets whether this filter accepts directory files, in addition to files ending on the required extension.
static java.io.File showSaveDialog(javax.swing.JFileChooser chooser, java.awt.Component parent)
          Brings up a save dialog based on a given file chooser filter.
 java.lang.String stripExtension(java.lang.String filename)
          Strips an extension from a filename, if the extension is in fact there.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

LanguageFilter

public LanguageFilter(java.lang.String extension)
Constructs a new extension file filter, with empty description. This is only good for adding and stripping extensions. The filter initially also accepts directories.

Parameters:
extension - the filename extension (including any preceding ".") of the files to be accepted

LanguageFilter

@Deprecated
public LanguageFilter(java.lang.String description,
                                 java.lang.String extension)
Deprecated. 

Constructs a new extension file filter, with a given description and filename extension. The filter initially also accepts directories.

Parameters:
description - the textual description of the files to be accepted
extension - the filename extension (including any preceding ".") of the files to be accepted

LanguageFilter

public LanguageFilter(java.lang.String description,
                      java.lang.String extension,
                      java.lang.String language)
Constructs a new extension file filter, with a given description, filename extension and output language. The filter initially also accepts directories.

Parameters:
description - the textual description of the files to be accepted
extension - the filename extension (including any preceding ".") of the files to be accepted

LanguageFilter

public LanguageFilter(java.lang.String description,
                      java.lang.String extension,
                      java.lang.String language,
                      boolean acceptDirectories)
Constructs a new extension file filter, with a given description and filename extension, and a flag to set whether directories are accepted.

Parameters:
description - the textual description of the files to be accepted
extension - the filename extension (including any preceding ".") of the files to be accepted
acceptDirectories - true if the filter is to accept directories
Method Detail

showSaveDialog

public static java.io.File showSaveDialog(javax.swing.JFileChooser chooser,
                                          java.awt.Component parent)
Brings up a save dialog based on a given file chooser filter. The chosen filename is appended with the required extension. Confirmation is asked if the chosen filename already exists and does not equal the selected file at the dialog's start.

Returns:
the chosen file, if any; if null, no file has been chosen

accept

public boolean accept(java.io.File file)
Accepts a file if its name ends on this filter's extension, or it is a directory and directories are accepted.

Specified by:
accept in interface java.io.FileFilter
Specified by:
accept in class javax.swing.filechooser.FileFilter
See Also:
acceptExtension(java.io.File), acceptDirectories

acceptExtension

public boolean acceptExtension(java.io.File file)
Accepts a file if its name ends on this filter's extension.


addExtension

public java.lang.String addExtension(java.lang.String filename)
Adds an extension to filename, if the extension is not yet there.

Parameters:
filename - the filename to be provided with an extension

getDescription

public java.lang.String getDescription()
Returns this filter's description.

Specified by:
getDescription in class javax.swing.filechooser.FileFilter

getExtension

public java.lang.String getExtension()
Returns this filter's extension.


getLanguage

public java.lang.String getLanguage()
Returns this filter's output language.


isAcceptDirectories

public boolean isAcceptDirectories()
Indicates whether this filter accepts directory files, in addition to files ending on the required extension.


setAcceptDirectories

public void setAcceptDirectories(boolean accept)
Sets whether this filter accepts directory files, in addition to files ending on the required extension.

Parameters:
accept - if true, this filter will accept directories

stripExtension

public java.lang.String stripExtension(java.lang.String filename)
Strips an extension from a filename, if the extension is in fact there.

Parameters:
filename - the filename to be stripped