Uses of Interface
java.io.FilenameFilter

Packages that use FilenameFilter

java.io	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.jmlspec	A tool that can generate or compare specification skeletons from Java source or class files.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of FilenameFilter in java.io

Methods in java.io with parameters of type FilenameFilter

String[]	File.list(FilenameFilter filter)
File[]	File.listFiles(FilenameFilter filter)

Uses of FilenameFilter in org.jmlspecs.checker

Classes in org.jmlspecs.checker that implement FilenameFilter

class	AndNotPatternFilenameFilter Decorates the file name filter given to the constructor so it does not match names that include the pattern given to the constructor.
(package private) static class	Main.Filter This class is used with the Directory.list method to list those files in a directory that this program is interested in processing - in this case, all those that end in '.java', '.jml' or '.spec'.

Fields in org.jmlspecs.checker declared as FilenameFilter

private FilenameFilter

AndNotPatternFilenameFilter.parentFilter The filter we are decorating

Methods in org.jmlspecs.checker that return FilenameFilter

protected FilenameFilter

Main.filenameFilter()

Constructors in org.jmlspecs.checker with parameters of type FilenameFilter

AndNotPatternFilenameFilter(FilenameFilter f, String p)
Initialize this filter.

Uses of FilenameFilter in org.jmlspecs.jmlspec

Classes in org.jmlspecs.jmlspec that implement FilenameFilter

(package private) static class

Main.SuffixFilter This class is used with the Directory.list method to list those files in a directory that this program is interested in processing - in this case, all those that end in a valid suffix.

Methods in org.jmlspecs.jmlspec that return FilenameFilter

protected FilenameFilter

Main.filenameFilter() This filter returns all the files that are processed when a directory or package is named on the command-line.

Uses of FilenameFilter in org.multijava.mjc

Classes in org.multijava.mjc that implement FilenameFilter

(package private) static class	FunctionalTestSuite.TestCase.FunctionalTestSuite$TestCase$1
static class	Main.DFilter This class is used with the Directory.list method to list the subdirectories in a directory (ignoring the special case of the 'CVS' subdirectory).

Fields in org.multijava.mjc declared as FilenameFilter

private static FilenameFilter

FunctionalTestSuite.TestCase.CLASS_FILE_FILTER Used by FunctionalTestSuite.TestCase.cleanWorkingDir().

Methods in org.multijava.mjc that return FilenameFilter

protected FilenameFilter	Main.filenameFilter() Overridable method that provides a filter to list all the relevant files in a directory; for mjc this is all files whose names end in ".java".
protected FilenameFilter	Main.subdirectoryFilter() Overridable method that provides a filter to list all the relevant subdirectories in a directory; for mjc this is all subdirectories that are not named 'CVS'.