|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--cryptix.util.io.DosFilter
A java.io.FilenameFilter class that filters directory contents according to traditional DOS wildcard conventions; i.e. the filter is split into two parts: a filename and an extension. In each part '*' replaces any number of characters, and '?' replaces any one character.
Note: this is slightly different to the Windows 95/NT conventions, where filename and extension are not treated separately. E.g. "*" in 95/NT matches all files, whereas for this class "*.*" would have to be used.
Copyright © 1995-1997
Systemics Ltd on behalf of the
Cryptix Development Team.
All rights reserved.
$Revision: 1.1.1.1 $
Constructor Summary | |
DosFilter()
Constructs a DosFilter that matches all files. |
|
DosFilter(java.lang.String mask)
Constructs a DosFilter for files that match mask. |
Method Summary | |
boolean |
accept(java.io.File dir,
java.lang.String name)
FilenameFilter interface implementation to handle ambiguous filename selection in a given directory. |
java.lang.String |
getMask()
Gets the current value of the mask for this filter. |
void |
reset()
Resets the mask so that all files will be matched. |
void |
setMask(java.lang.String mask)
Sets the mask this filter will be using from now on. |
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
|
Constructor Detail |
public DosFilter()
public DosFilter(java.lang.String mask)
mask
- a string that may contain '*' and '?' characters.Method Detail |
public boolean accept(java.io.File dir, java.lang.String name)
Tests if a specified file should be included in a file list of a given directory.
accept
in interface java.io.FilenameFilter
dir
- the directory in which the File object name was found.name
- the name of the File object.public void reset()
public void setMask(java.lang.String mask)
mask
- a string that may contain '*' and '?' characters.public java.lang.String getMask()
public java.lang.String toString()
toString
in class java.lang.Object
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |