diff options
| author | Aaron M. Renn <arenn@urbanophile.com> | 2003-04-07 12:25:08 +0000 |
|---|---|---|
| committer | Michael Koch <mkoch@gcc.gnu.org> | 2003-04-07 12:25:08 +0000 |
| commit | 30da09694b77a86b0790f9480cf934120c5258d3 (patch) | |
| tree | ec6278305260bb163e480ed061dd389a1ff6db28 /libjava/java/io/FilenameFilter.java | |
| parent | d5019ba399334c5064315c9d25d1e4e7bed83b77 (diff) | |
2003-04-07 Aaron M. Renn (arenn@urbanophile.com)
* java/io/ObjectStreamException
* java/io/FileFilter
* java/io/FilenameFilter
* java/io/ObjectInput
* java/io/ObjectOutput
* java/io/ObjectStreamConstants
Minor doc fixes, format fixes, spelling corrections, etc.
* java/io/DataInput
Corrected code samples in Javadocs to match reality
* java/io/DataOutput
* java/io/ObjectInputValidation
Major documentation fixes - all Javadocs re-written or updated
From-SVN: r65329
Diffstat (limited to 'libjava/java/io/FilenameFilter.java')
| -rw-r--r-- | libjava/java/io/FilenameFilter.java | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/libjava/java/io/FilenameFilter.java b/libjava/java/io/FilenameFilter.java index 9e95b1e4987..e3b004d5499 100644 --- a/libjava/java/io/FilenameFilter.java +++ b/libjava/java/io/FilenameFilter.java @@ -1,5 +1,5 @@ /* FilenameFilter.java -- Filter a list of filenames - Copyright (C) 1998, 1999, 2001 Free Software Foundation, Inc. + Copyright (C) 1998, 1999, 2001, 2003 Free Software Foundation, Inc. This file is part of GNU Classpath. @@ -46,17 +46,20 @@ package java.io; /** * This interface has one method which is used for filtering filenames * returned in a directory listing. It is currently used by the - * <code>File.list()</code> method and by the filename dialog in AWT. + * <code>File.list(FilenameFilter)</code> method and by the filename + * dialog in AWT. * <p> * The method in this interface determines if a particular file should * or should not be included in the file listing. * * @author Aaron M. Renn (arenn@urbanophile.com) * @author Tom Tromey <tromey@cygnus.com> + * + * @see File#listFiles(java.io.FilenameFilter) + * @see java.awt.FileDialog#setFilenameFilter(java.io.FilenameFilter) */ public interface FilenameFilter { - /** * This method determines whether or not a given file should be included * in a directory listing. |
