/************************************************************/
/* DateiFilter.java Version 03/01/04                        */
/*                                                          */
/* Tom Fellmann, Christoph Weißenborn                       */
/*                                                          */
/************************************************************/

import java.io.*;

/********************************************************************/
/* Klasse DateiFiler                                                */
/********************************************************************/
class DateiFilter extends javax.swing.filechooser.FileFilter {
	private String Endung;
	private String Erklaerung;
	public DateiFilter(String Endung, String Erklaerung) {
		this.Endung = Endung;
		this.Erklaerung = Erklaerung;
	}//Konstruktor
	public boolean accept(File Datei) {
		if (Datei.getName().endsWith(Endung)) return true;
		else return Datei.isDirectory();
	}//accept
	public String getDescription() {
		return Erklaerung;
	}//getDescription
}//DateiFilter