1 |
/* FilenameFilter.java -- Filter a list of filenames |
/* FilenameFilter.java -- Filter a list of filenames |
2 |
Copyright (C) 1998, 1999, 2001 Free Software Foundation, Inc. |
Copyright (C) 1998, 1999, 2001, 2003 Free Software Foundation, Inc. |
3 |
|
|
4 |
This file is part of GNU Classpath. |
This file is part of GNU Classpath. |
5 |
|
|
46 |
/** |
/** |
47 |
* This interface has one method which is used for filtering filenames |
* This interface has one method which is used for filtering filenames |
48 |
* returned in a directory listing. It is currently used by the |
* returned in a directory listing. It is currently used by the |
49 |
* <code>File.list()</code> method and by the filename dialog in AWT. |
* <code>File.list(FilenameFilter)</code> method and by the filename |
50 |
|
* dialog in AWT. |
51 |
* <p> |
* <p> |
52 |
* The method in this interface determines if a particular file should |
* The method in this interface determines if a particular file should |
53 |
* or should not be included in the file listing. |
* or should not be included in the file listing. |
54 |
* |
* |
55 |
* @author Aaron M. Renn (arenn@urbanophile.com) |
* @author Aaron M. Renn (arenn@urbanophile.com) |
56 |
* @author Tom Tromey <tromey@cygnus.com> |
* @author Tom Tromey <tromey@cygnus.com> |
57 |
|
* |
58 |
|
* @see File#listFiles(java.io.FilenameFilter) |
59 |
|
* @see java.awt.FileDialog#setFilenameFilter(java.io.FilenameFilter) |
60 |
*/ |
*/ |
61 |
public interface FilenameFilter |
public interface FilenameFilter |
62 |
{ |
{ |
|
|
|
63 |
/** |
/** |
64 |
* This method determines whether or not a given file should be included |
* This method determines whether or not a given file should be included |
65 |
* in a directory listing. |
* in a directory listing. |