Package de.learnlib.logging

Class Category

java.lang.Object

de.learnlib.logging.Category

public final class Category
extends Object

A set of markers that allow one to categorize logging output.

Field Summary

Fields

Modifier and Type	Field	Description
static Marker	CONFIG	Marker for config-related properties.
static Marker	COUNTEREXAMPLE	Marker for counterexample-related properties.
static Marker	DATASTRUCTURE	Marker for data structure-related properties.
static Marker	EVENT	Marker for event-related properties.
static Marker	MODEL	Marker for model-related properties.
static Marker	PHASE	Marker for phase-related properties.
static Marker	PROFILING	Marker for profiling-related properties.
static Marker	QUERY	Marker for query-related properties.
static Marker	STATISTIC	Marker for statistic-related properties.
static Marker	SYSTEM	Marker for system-related properties.

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

CONFIG

public static final Marker CONFIG

Marker for config-related properties.

COUNTEREXAMPLE

public static final Marker COUNTEREXAMPLE

Marker for counterexample-related properties.

DATASTRUCTURE

public static final Marker DATASTRUCTURE

Marker for data structure-related properties.

EVENT

public static final Marker EVENT

Marker for event-related properties.

MODEL

public static final Marker MODEL

Marker for model-related properties.

PHASE

public static final Marker PHASE

Marker for phase-related properties.

PROFILING

public static final Marker PROFILING

Marker for profiling-related properties.

QUERY

public static final Marker QUERY

Marker for query-related properties.

STATISTIC

public static final Marker STATISTIC

Marker for statistic-related properties.

SYSTEM

public static final Marker SYSTEM

Marker for system-related properties.