org.dbforms.devgui
Class ExtensionFilter

java.lang.Object
  |
  +--org.dbforms.devgui.ExtensionFilter

All Implemented Interfaces:

java.io.FilenameFilter

class ExtensionFilter

extends java.lang.Object

implements java.io.FilenameFilter

Field Summary

(package private) java.lang.String[]

extensions

Constructor Summary

ExtensionFilter(java.lang.String[] extensions)
Creates a new ExtensionFilter object.

Method Summary

boolean

accept(java.io.File dir, java.lang.String name) DOCUMENT ME!

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

extensions

java.lang.String[] extensions

Constructor Detail

ExtensionFilter

public ExtensionFilter(java.lang.String[] extensions)

Creates a new ExtensionFilter object.

Parameters:

extensions - DOCUMENT ME!

Method Detail

accept

public boolean accept(java.io.File dir,
                      java.lang.String name)

DOCUMENT ME!

Specified by:

accept in interface java.io.FilenameFilter

Parameters:

dir - DOCUMENT ME!

name - DOCUMENT ME!

Returns:

DOCUMENT ME!