com.tensegrity.gui.swing.dialog.graphfilechooser
Interface ExtendedFileFilter

All Known Implementing Classes:

BitmapFilter, CustomFileFilter, ElementsFilter, GraphFilter, LayoutsFilter, SVGFilter

public interface ExtendedFileFilter

Interface to define additional functionality for a filefilter.

Version:

$Id: ExtendedFileFilter.java,v 1.5 2004/12/16 09:25:31 BurkhardWick Exp $

Author:

BurkhardWick

Method Summary

java.lang.String[]	getExtensionList() Returns an array with all valid extensions for this file type
int	getType() Returns the type of this filter as defined in GraphFileChooserDialog.TYPE_...
java.lang.String	getValidFilename(java.io.File file) Method getValidFilename returns a filename for the given file that is valid for this file type.
void	openInViewer(java.io.File file) Opens the given file in the associated viewer
boolean	supportsOpenInViewer() Returns true, if this file type can be opened in a viewer application after creation.

Method Detail

getValidFilename

public java.lang.String getValidFilename(java.io.File file)

Method getValidFilename returns a filename for the given file that is valid for this file type.

Parameters:

file - The file to create a name for

Returns:

A valid filename

supportsOpenInViewer

public boolean supportsOpenInViewer()

Returns true, if this file type can be opened in a viewer application after creation.

Returns:

true, if this file type can be opened in a viewer application after creation.

getType

public int getType()

Returns the type of this filter as defined in GraphFileChooserDialog.TYPE_...

Returns:

The type of this filter

openInViewer

public void openInViewer(java.io.File file)

Opens the given file in the associated viewer

Parameters:

file - The file to open

getExtensionList

public java.lang.String[] getExtensionList()

Returns an array with all valid extensions for this file type

Returns:

an array with all valid extensions for this file type