Package ptolemy.vergil.modal.fmv

Class 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 Description
      protected SMVFileFilter()  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method 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.