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.
|
getAnnotatedJsonpublic 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()
DataData.getAnnotatedJson() and
a time stamp is added to the object.convertToJson in class Data