dk.brics.bisim.view
Class GraphFileFilter

java.lang.Object
  extended by javax.swing.filechooser.FileFilter
      extended by dk.brics.bisim.view.GraphFileFilter

public class GraphFileFilter
extends javax.swing.filechooser.FileFilter

A file filter for the extension .graph

Author:
Martin Mosegaard martinm@daimi.au.dk

Field Summary
private static java.lang.String GRAPH
           
 
Constructor Summary
GraphFileFilter()
           
 
Method Summary
 boolean accept(java.io.File f)
           
 java.lang.String getDescription()
           
private 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
 

Field Detail

GRAPH

private static final java.lang.String GRAPH
See Also:
Constant Field Values
Constructor Detail

GraphFileFilter

public GraphFileFilter()
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

private static java.lang.String getExtension(java.io.File f)