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

protected

FmvAutomatonGraphFrame.SMVFileFilter()

Method Summary

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

FmvAutomatonGraphFrame.SMVFileFilter

protected FmvAutomatonGraphFrame.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.