org.processmining.stream.properties

Class StreamProperties

java.lang.Object

org.processmining.stream.properties.StreamProperties

public class StreamProperties
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	PAUSE_BUTTON_IMAGE_FILE_NAME
static java.lang.String	PLAY_BUTTON_IMAGE_FILE_NAME
static java.lang.String	RESOURCE_IMAGES_LOCATION
static java.lang.String	STOP_BUTTON_IMAGE_FILE_NAME

Constructor Summary

Constructors

Constructor and Description
StreamProperties()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

RESOURCE_IMAGES_LOCATION

public static final java.lang.String RESOURCE_IMAGES_LOCATION

See Also:

Constant Field Values

PLAY_BUTTON_IMAGE_FILE_NAME

public static final java.lang.String PLAY_BUTTON_IMAGE_FILE_NAME

See Also:

Constant Field Values

PAUSE_BUTTON_IMAGE_FILE_NAME

public static final java.lang.String PAUSE_BUTTON_IMAGE_FILE_NAME

See Also:

Constant Field Values

STOP_BUTTON_IMAGE_FILE_NAME

public static final java.lang.String STOP_BUTTON_IMAGE_FILE_NAME

See Also:

Constant Field Values

Constructor Detail

StreamProperties

public StreamProperties()