Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
KEY_AUTHOR |
"author" |
public static final java.lang.String |
KEY_STREAM |
"stream" |
public static final java.lang.String |
KEY_TIMESTAMP |
"timestamp" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final long |
PRIME_MODULUS |
2147483647L |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
PAUSE_BUTTON_IMAGE_FILE_NAME |
"pause_button.png" |
public static final java.lang.String |
PLAY_BUTTON_IMAGE_FILE_NAME |
"play_button.png" |
public static final java.lang.String |
RESOURCE_IMAGES_LOCATION |
"/org/processmining/stream/resource/images/" |
public static final java.lang.String |
STOP_BUTTON_IMAGE_FILE_NAME |
"stop_button.png" |