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

Since:

1.13

Author:

Christian Wulf

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor and Description
FileExtensionFilter(java.lang.String fileExtension)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	accept(java.io.File dir, java.lang.String name)

Methods inherited from class java.lang.Object

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

Field Detail

GZIP

public static final FileExtensionFilter GZIP

DAT

public static final FileExtensionFilter DAT

BIN

public static final FileExtensionFilter BIN

MAP

public static final FileExtensionFilter MAP

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

ZIP

public static final FileExtensionFilter ZIP

Constructor Detail

FileExtensionFilter

public FileExtensionFilter(java.lang.String fileExtension)

Method Detail

accept

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

Specified by:

accept in interface java.io.FilenameFilter