Package kieker.common.util.filesystem

Class FileExtensionFilter

java.lang.Object

kieker.common.util.filesystem.FileExtensionFilter

All Implemented Interfaces:

FilenameFilter

public class FileExtensionFilter
extends Object
implements FilenameFilter

File extension filters.

Since:

1.13

Author:

Christian Wulf

Field Summary

Fields

Modifier and Type	Field	Description
static final FileExtensionFilter	BIN	A filter ensuring that the name of the file starts with and ends with .
static final FileExtensionFilter	DAT
static final FileExtensionFilter	DEFLATE
static final FileExtensionFilter	GZIP
static final FileExtensionFilter	MAP
static final FileExtensionFilter	XZ
static final FileExtensionFilter	ZIP

Constructor Summary

Constructors

Constructor	Description
FileExtensionFilter(String fileExtension)	create filename filter.

Method Summary

Modifier and Type	Method	Description
boolean	accept(File dir, String name)
String	getExtensionName()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

BIN

public static final FileExtensionFilter BIN

A filter ensuring that the name of the file starts with and ends with .

DAT

public static final FileExtensionFilter DAT

DEFLATE

public static final FileExtensionFilter DEFLATE

GZIP

public static final FileExtensionFilter GZIP

MAP

public static final FileExtensionFilter MAP

XZ

public static final FileExtensionFilter XZ

ZIP

public static final FileExtensionFilter ZIP

Constructor Details

FileExtensionFilter

public FileExtensionFilter(String fileExtension)

create filename filter.

Parameters:

fileExtension - extension

Method Details

accept

public boolean accept(File dir,
 String name)

Specified by:

accept in interface FilenameFilter

getExtensionName

public String getExtensionName()