head	1.1;
access;
symbols;
locks; strict;
comment	@# @;


1.1
date	2001.04.23.03.48.26;	author linus;	state Exp;
branches;
next	;


desc
@works
@


1.1
log
@Initial revision
@
text
@import java.io.File;
import java.io.FilenameFilter;

public class ExtensionFilter implements FilenameFilter
{
	private String extension;
	public ExtensionFilter( String extension )
	{
		this.extension = "." + extension;
	}
	public boolean accept( File dir, String name )
	{
		return name.endsWith( extension );
	}
}
@