Package | Description |
---|---|
de.learnlib.logging | |
de.learnlib.logging.filter |
Modifier and Type | Method and Description |
---|---|
Category |
LearnLogRecord.getCategory() |
static Category |
Category.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static Category[] |
Category.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Constructor and Description |
---|
LearnLogRecord(Level lvl,
String message,
Category category) |
PlottableLogRecord(Level lvl,
Object data,
Category category) |
StatisticLogRecord(Level lvl,
StatisticData data,
Category category) |
Constructor and Description |
---|
CategoryFilter(EnumSet<Category> categories) |
Copyright © 2014. All Rights Reserved.