public class GraphLayoutReasonData extends Data
REWIND
: The "rewind" button was pressed, meaning that a previous graph in the sequence is being drawn on screen. FORWARD
: The "forward" button was pressed, meaning that a graph further in the sequence is being drawn on screen. BREAKPOINT
: A breakpoint was hit, causing a full heap analysis and subsequent graph layout. RELOAD
: The current graph is being reloaded, for example because some rule was changed or the "reload" button was pressed. Modifier and Type | Field and Description |
---|---|
static java.lang.String |
BREAKPOINT |
static java.lang.String |
FORWARD |
static java.lang.String |
RELOAD |
static java.lang.String |
REWIND |
Constructor and Description |
---|
GraphLayoutReasonData(java.lang.String reason)
Creates the data for the given string reason.
|
Modifier and Type | Method and Description |
---|---|
protected javax.json.JsonObjectBuilder |
convertToJson()
Converts this piece of data to JSON, which is then suitable of being stored in a database.
|
protected java.lang.String |
getKey()
Returns a key with which data of this type can be identified.
|
getAnnotatedJson
public static final java.lang.String REWIND
public static final java.lang.String FORWARD
public static final java.lang.String BREAKPOINT
public static final java.lang.String RELOAD
public GraphLayoutReasonData(java.lang.String reason)
reason
- The reason for the layout to be performed.protected javax.json.JsonObjectBuilder convertToJson()
Data
Data.getAnnotatedJson()
and
a time stamp is added to the object.convertToJson
in class Data