ptolemy.vergil.modal.fmv

Class FmvAutomatonGraphFrame.SMVFileFilter

java.lang.Object

javax.swing.filechooser.FileFilter

ptolemy.vergil.modal.fmv.FmvAutomatonGraphFrame.SMVFileFilter

Enclosing class:

FmvAutomatonGraphFrame

protected static class FmvAutomatonGraphFrame.SMVFileFilter
extends javax.swing.filechooser.FileFilter

A file filter that accepts files that end with ".smv".

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	SMVFileFilter()

Method Summary

Modifier and Type	Method and Description
boolean	accept(java.io.File file) Return true if the file name ends with ".smv".
java.lang.String	getDescription() Return the description of this file filter.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SMVFileFilter

protected SMVFileFilter()

Method Detail

accept

public boolean accept(java.io.File file)

Return true if the file name ends with ".smv".

Specified by:

accept in class javax.swing.filechooser.FileFilter

Parameters:

file - The file to be checked.

Returns:

true if the file is a directory or the file name, when converted to lower case, ends with ".smv".

getDescription

public java.lang.String getDescription()

Return the description of this file filter.

Specified by:

getDescription in class javax.swing.filechooser.FileFilter

Returns:

The description of this file filter.