de.learnlib.logging.filter

Class CategoryFilter

java.lang.Object

de.learnlib.logging.filter.CategoryFilter

All Implemented Interfaces:

Filter

Direct Known Subclasses:

ExperimentalDataFilter, SystemOnlyFilter

public class CategoryFilter
extends Object
implements Filter

Filters log messages based on categories. Non-LearnLib log records are filed under category SYSTEM.

Author:

falkhowar

Constructor Summary

Constructors

Constructor and Description
CategoryFilter(EnumSet<Category> categories)

Method Summary

Modifier and Type	Method and Description
boolean	isLoggable(LogRecord record)

Methods inherited from class java.lang.Object

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

Constructor Detail

CategoryFilter

public CategoryFilter(EnumSet<Category> categories)

Method Detail

isLoggable

public boolean isLoggable(LogRecord record)

Specified by:

isLoggable in interface Filter