edu.princeton.repeatedgames.rgsolve.utilities
Class RGSolveIO.SpecialFileFilter

java.lang.Object
  extended by javax.swing.filechooser.FileFilter
      extended by 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)