edu.princeton.repeatedgames.rgsolve.utilities
Class RGSolveIO.SpecialFileFilter
java.lang.Object
javax.swing.filechooser.FileFilter
edu.princeton.repeatedgames.rgsolve.utilities.RGSolveIO.SpecialFileFilter
- Enclosing class:
- RGSolveIO
public static class RGSolveIO.SpecialFileFilter
- extends javax.swing.filechooser.FileFilter
This class is used for extracting the extensions
from files so that they can be opened/parsed properly
by rgsolve
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
RGSolveIO.SpecialFileFilter
private RGSolveIO.SpecialFileFilter()
accept
public boolean accept(java.io.File f)
- Specified by:
accept
in class javax.swing.filechooser.FileFilter
getDescription
public java.lang.String getDescription()
- Specified by:
getDescription
in class javax.swing.filechooser.FileFilter
getExtension
public static java.lang.String getExtension(java.io.File f)