Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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

Constructor Summary
`private` | `RGSolveIO.SpecialFileFilter()`

Method Summary
`boolean` | `accept(java.io.File f)`
`java.lang.String` | `getDescription()`
`static java.lang.String` | `getExtension(java.io.File f)`

Methods inherited from class java.lang.Object
`clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

Constructor Detail

### RGSolveIO.SpecialFileFilter

    private RGSolveIO.SpecialFileFilter()

Method Detail

### 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)

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD