Package kieker.common.util.filesystem

Class FileExtensionFilter

java.lang.Object

kieker.common.util.filesystem.FileExtensionFilter

All Implemented Interfaces:

java.io.FilenameFilter

public class FileExtensionFilter
extends java.lang.Object
implements java.io.FilenameFilter

File extension filters.

Since:

1.13

Author:

Christian Wulf

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor	Description
FileExtensionFilter(java.lang.String fileExtension)	create filename filter.

Method Summary

Modifier and Type	Method	Description
boolean	accept(java.io.File dir, java.lang.String name)
java.lang.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(java.lang.String fileExtension)

create filename filter.

Parameters:

fileExtension - extension

Method Details

accept

public boolean accept(java.io.File dir, java.lang.String name)

Specified by:

accept in interface java.io.FilenameFilter

getExtensionName

public java.lang.String getExtensionName()