Class SERFileFilter

  • All Implemented Interfaces:
    RevisionHandler

    public class SERFileFilter
    extends javax.swing.filechooser.FileFilter
    implements RevisionHandler

    SERFileFilter.java
    Authors: Rainer Holzmann, Zhanna Melnikova-Albrecht
    Date: Sep 15, 2004
    Time: 6:54:56 PM
    $ Revision 1.4 $

    Version:
    $Revision: 1.3 $
    Author:
    Zhanna Melnikova-Albrecht (melnikov@cip.ifi.lmu.de), Rainer Holzmann (holzmann@cip.ifi.lmu.de)
    • Constructor Summary

      Constructors 
      Constructor Description
      SERFileFilter​(java.lang.String extension, java.lang.String description)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean accept​(java.io.File f)
      Whether the given file is accepted by this filter.
      java.lang.String getDescription()
      The description of this filter.
      java.lang.String getRevision()
      Returns the revision string.
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • SERFileFilter

        public SERFileFilter​(java.lang.String extension,
                             java.lang.String description)
    • Method Detail

      • accept

        public boolean accept​(java.io.File f)
        Whether the given file is accepted by this filter.
        Specified by:
        accept in class javax.swing.filechooser.FileFilter
      • getDescription

        public java.lang.String getDescription()
        The description of this filter.
        Specified by:
        getDescription in class javax.swing.filechooser.FileFilter
        See Also:
        FileView.getName(java.io.File)
      • getRevision

        public java.lang.String getRevision()
        Returns the revision string.
        Specified by:
        getRevision in interface RevisionHandler
        Returns:
        the revision