public enum Category extends Enum<Category>
Enum Constant and Description |
---|
CONFIG |
COUNTEREXAMPLE |
DATASTRUCTURE |
EVENT |
MODEL |
PHASE |
PROFILING |
QUERY |
STATISTIC |
SYSTEM |
Modifier and Type | Method and Description |
---|---|
String |
toMarkerLabel() |
static Category |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static Category[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final Category SYSTEM
public static final Category PHASE
public static final Category QUERY
public static final Category COUNTEREXAMPLE
public static final Category STATISTIC
public static final Category PROFILING
public static final Category DATASTRUCTURE
public static final Category MODEL
public static final Category CONFIG
public static final Category EVENT
public static Category[] values()
for (Category c : Category.values()) System.out.println(c);
public static Category valueOf(String name)
name
- the name of the enum constant to be returned.IllegalArgumentException
- if this enum type has no constant with the specified nameNullPointerException
- if the argument is nullpublic String toMarkerLabel()
Copyright © 2018. All rights reserved.