public final class MarkerManager extends Object
| Modifier and Type | Class and Description |
|---|---|
static class |
MarkerManager
Consider this class private, it is only public to satisfy Jackson for XML and JSON IO.
|
| Modifier and Type | Method and Description |
|---|---|
static void |
clear()
Clears all markers.
|
static boolean |
exists(String
Tests existence of the given marker.
|
static Marker |
getMarker(String
Retrieves a Marker or create a Marker that has no parent.
|
static Marker |
getMarker(String
Deprecated.
Use the Marker add or set methods to add parent Markers. Will be removed by final GA release.
|
static Marker |
getMarker(String
Deprecated.
Use the Marker add or set methods to add parent Markers. Will be removed by final GA release.
|
public static void clear()
public static boolean exists(Stringkey)
key - the marker name
public static MarkergetMarker(String name)
name - The name of the Marker.
IllegalArgumentException - if the argument is
null
@Deprecated public static MarkergetMarker(String name, String parent)
name - The name of the Marker.
parent - The name of the parent Marker.
IllegalArgumentException - if the parent Marker does not exist.
@Deprecated public static MarkergetMarker(String name, Marker parent)
name - The name of the Marker.
parent - The parent Marker.
IllegalArgumentException - if any argument is
null