Module de.learnlib.api

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 org.slf4j.Marker	CONFIG	Marker for config-related properties.
static org.slf4j.Marker	COUNTEREXAMPLE	Marker for counterexample-related properties.
static org.slf4j.Marker	DATASTRUCTURE	Marker for data structure-related properties.
static org.slf4j.Marker	EVENT	Marker for event-related properties.
static org.slf4j.Marker	MODEL	Marker for model-related properties.
static org.slf4j.Marker	PHASE	Marker for phase-related properties.
static org.slf4j.Marker	PROFILING	Marker for profiling-related properties.
static org.slf4j.Marker	QUERY	Marker for query-related properties.
static org.slf4j.Marker	STATISTIC	Marker for statistic-related properties.
static org.slf4j.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 org.slf4j.Marker CONFIG

Marker for config-related properties.

COUNTEREXAMPLE

public static final org.slf4j.Marker COUNTEREXAMPLE

Marker for counterexample-related properties.

DATASTRUCTURE

public static final org.slf4j.Marker DATASTRUCTURE

Marker for data structure-related properties.

EVENT

public static final org.slf4j.Marker EVENT

Marker for event-related properties.

MODEL

public static final org.slf4j.Marker MODEL

Marker for model-related properties.

PHASE

public static final org.slf4j.Marker PHASE

Marker for phase-related properties.

PROFILING

public static final org.slf4j.Marker PROFILING

Marker for profiling-related properties.

QUERY

public static final org.slf4j.Marker QUERY

Marker for query-related properties.

STATISTIC

public static final org.slf4j.Marker STATISTIC

Marker for statistic-related properties.

SYSTEM

public static final org.slf4j.Marker SYSTEM

Marker for system-related properties.