Package it.univr.wordautomata.utils

Class Constants

java.lang.Object

it.univr.wordautomata.utils.Constants

public class Constants
extends Object

Constants used in the application

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	Constants.Orientation	Edge orientations
static enum	Constants.PlayBackSpeed	The different speed at which the timeline can be played
static enum	Constants.PlayBackState	The different playback states of the timeline
static enum	Constants.Theme	Application themes

Field Summary

Fields

Modifier and Type	Field	Description
static final String	ACTIVE_BUTTON_CLASS
static final String	ACTIVE_EDGE_CLASS
static final String	ACTIVE_SPEED_CIRCLE_CLASS
static final String	ADD_STATE_MODAL_BODY_FXML_FILENAME
static final String	ADD_TRANSITION_MODAL_BODY_FXML_FILENAME
static final String	AUTOMATA_EXTENSION
static final String	BOTTOM_BAR_FXML_FILENAME
static final String	CIRCLE_FAILURE_CLASS
static final String	CIRCLE_SUCCESS_CLASS
static final boolean	DEFAULT_AUTO_POSITION
static final File	DEFAULT_AUTOMATA_FILE
static final String	DEFAULT_AUTOMATA_FILENAME
static final int	DEFAULT_FONT_SIZE
static final int	DEFAULT_PLAYBACK_DURATION_MILLIS
static final String	FINAL_STATE_CLASS
static final String	FONT_BOLD_FILENAME
static final String	FONT_ITALIC_FILENAME
static final String	FONT_REGULAR_FILENAME
static final String	FONTS_BASE_FOLDER
static final String	FONTS_EXTENSION
static final String	FXML_BASE_FOLDER
static final String	FXML_EXTENSION
static final String	GITHUB_URL
static final String	GRAPH_PANEL_FXML_FILENAME
static final String	GRAPH_STYLE_EXTENSION
static final String	GRAPH_STYLE_FILENAME
static final double	HEIGHT
static final String	ICON_BASE_FOLDER
static final String	ICON_EXTENSION
static final String	ICON_FILENAME
static final File	INITIAL_DIRECTORY
static final String	INITIAL_STATE_CLASS
static final String	LEGEND_MODAL_BODY_FXML_FILENAME
static final String	MAIN_PANEL_FXML_FILENAME
static final int	MAX_RECENT_FILES
static final String	MENU_ITEM_DANGER_CLASS
static final double	MIN_HEIGHT
static final double	MIN_WIDTH
static final String	NO_PATH_FOUND_PANEL_CLASS
static final String	NO_PATH_FOUND_TEXT_CLASS
static final Random	RANDOM
static final String	RECENT_FILES_FILENAME
static final String	ROUNDED_CORNERS_CLASS
static final String	SIDE_BAR_FXML_FILENAME
static final int	SIDEBAR_MAX_WIDTH
static final String	SPEED_CIRCLE_CLASS
static final String	STATE_MODAL_BODY_FXML_FILENAME
static final String	STATISTICS_MODAL_BODY_FXML_FILENAME
static final String	STYLE_BASE_FOLDER
static final String	STYLE_EXTENSION
static final String	STYLE_FILENAME
static final String	TITLE
static final String	TRANSITION_CSS
static final String	TRANSITION_CSS_ALREADY_COLORED
static final String	TRANSITION_CSS_HORIZONTAL
static final String	TRANSITION_CSS_HORIZONTAL_ALREADY_COLORED
static final String	TRANSITION_MODAL_BODY_FXML_FILENAME
static final int	TRANSITION_ROW_MIN_WIDTH
static final String	VERSION
static final String	WHY_MODAL_BODY_FXML_FILENAME
static final double	WIDTH
static final String	ZOOM_LABEL_CLASS

Constructor Summary

Constructors

Constructor	Description
Constants()

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

MAIN_PANEL_FXML_FILENAME

public static final String MAIN_PANEL_FXML_FILENAME

See Also:

• Constant Field Values

BOTTOM_BAR_FXML_FILENAME

public static final String BOTTOM_BAR_FXML_FILENAME

See Also:

• Constant Field Values

SIDE_BAR_FXML_FILENAME

public static final String SIDE_BAR_FXML_FILENAME

See Also:

• Constant Field Values

GRAPH_PANEL_FXML_FILENAME

public static final String GRAPH_PANEL_FXML_FILENAME

See Also:

• Constant Field Values

STATE_MODAL_BODY_FXML_FILENAME

public static final String STATE_MODAL_BODY_FXML_FILENAME

See Also:

• Constant Field Values

TRANSITION_MODAL_BODY_FXML_FILENAME

public static final String TRANSITION_MODAL_BODY_FXML_FILENAME

See Also:

• Constant Field Values

ADD_STATE_MODAL_BODY_FXML_FILENAME

public static final String ADD_STATE_MODAL_BODY_FXML_FILENAME

See Also:

• Constant Field Values

ADD_TRANSITION_MODAL_BODY_FXML_FILENAME

public static final String ADD_TRANSITION_MODAL_BODY_FXML_FILENAME

See Also:

• Constant Field Values

STATISTICS_MODAL_BODY_FXML_FILENAME

public static final String STATISTICS_MODAL_BODY_FXML_FILENAME

See Also:

• Constant Field Values

LEGEND_MODAL_BODY_FXML_FILENAME

public static final String LEGEND_MODAL_BODY_FXML_FILENAME

See Also:

• Constant Field Values

WHY_MODAL_BODY_FXML_FILENAME

public static final String WHY_MODAL_BODY_FXML_FILENAME

See Also:

• Constant Field Values

FONT_REGULAR_FILENAME

public static final String FONT_REGULAR_FILENAME

See Also:

• Constant Field Values

FONT_BOLD_FILENAME

public static final String FONT_BOLD_FILENAME

See Also:

• Constant Field Values

FONT_ITALIC_FILENAME

public static final String FONT_ITALIC_FILENAME

See Also:

• Constant Field Values

FONTS_BASE_FOLDER

public static final String FONTS_BASE_FOLDER

See Also:

• Constant Field Values

FXML_BASE_FOLDER

public static final String FXML_BASE_FOLDER

See Also:

• Constant Field Values

STYLE_BASE_FOLDER

public static final String STYLE_BASE_FOLDER

See Also:

• Constant Field Values

ICON_BASE_FOLDER

public static final String ICON_BASE_FOLDER

See Also:

• Constant Field Values

STYLE_FILENAME

public static final String STYLE_FILENAME

See Also:

• Constant Field Values

GRAPH_STYLE_FILENAME

public static final String GRAPH_STYLE_FILENAME

See Also:

• Constant Field Values

DEFAULT_AUTOMATA_FILENAME

public static final String DEFAULT_AUTOMATA_FILENAME

See Also:

• Constant Field Values

ICON_FILENAME

public static final String ICON_FILENAME

See Also:

• Constant Field Values

RECENT_FILES_FILENAME

public static final String RECENT_FILES_FILENAME

See Also:

• Constant Field Values

STYLE_EXTENSION

public static final String STYLE_EXTENSION

See Also:

• Constant Field Values

GRAPH_STYLE_EXTENSION

public static final String GRAPH_STYLE_EXTENSION

See Also:

• Constant Field Values

FXML_EXTENSION

public static final String FXML_EXTENSION

See Also:

• Constant Field Values

FONTS_EXTENSION

public static final String FONTS_EXTENSION

See Also:

• Constant Field Values

ICON_EXTENSION

public static final String ICON_EXTENSION

See Also:

• Constant Field Values

AUTOMATA_EXTENSION

public static final String AUTOMATA_EXTENSION

See Also:

• Constant Field Values

VERSION

public static final String VERSION

See Also:

• Constant Field Values

TITLE

public static final String TITLE

See Also:

• Constant Field Values

DEFAULT_AUTO_POSITION

public static final boolean DEFAULT_AUTO_POSITION

See Also:

• Constant Field Values

GITHUB_URL

public static final String GITHUB_URL

See Also:

• Constant Field Values

SPEED_CIRCLE_CLASS

public static final String SPEED_CIRCLE_CLASS

See Also:

• Constant Field Values

ACTIVE_SPEED_CIRCLE_CLASS

public static final String ACTIVE_SPEED_CIRCLE_CLASS

See Also:

• Constant Field Values

INITIAL_STATE_CLASS

public static final String INITIAL_STATE_CLASS

See Also:

• Constant Field Values

FINAL_STATE_CLASS

public static final String FINAL_STATE_CLASS

See Also:

• Constant Field Values

ROUNDED_CORNERS_CLASS

public static final String ROUNDED_CORNERS_CLASS

See Also:

• Constant Field Values

ACTIVE_EDGE_CLASS

public static final String ACTIVE_EDGE_CLASS

See Also:

• Constant Field Values

ACTIVE_BUTTON_CLASS

public static final String ACTIVE_BUTTON_CLASS

See Also:

• Constant Field Values

MENU_ITEM_DANGER_CLASS

public static final String MENU_ITEM_DANGER_CLASS

See Also:

• Constant Field Values

ZOOM_LABEL_CLASS

public static final String ZOOM_LABEL_CLASS

See Also:

• Constant Field Values

NO_PATH_FOUND_TEXT_CLASS

public static final String NO_PATH_FOUND_TEXT_CLASS

See Also:

• Constant Field Values

NO_PATH_FOUND_PANEL_CLASS

public static final String NO_PATH_FOUND_PANEL_CLASS

See Also:

• Constant Field Values

CIRCLE_SUCCESS_CLASS

public static final String CIRCLE_SUCCESS_CLASS

See Also:

• Constant Field Values

CIRCLE_FAILURE_CLASS

public static final String CIRCLE_FAILURE_CLASS

See Also:

• Constant Field Values

TRANSITION_CSS_HORIZONTAL_ALREADY_COLORED

public static final String TRANSITION_CSS_HORIZONTAL_ALREADY_COLORED

See Also:

• Constant Field Values

TRANSITION_CSS_HORIZONTAL

public static final String TRANSITION_CSS_HORIZONTAL

See Also:

• Constant Field Values

TRANSITION_CSS_ALREADY_COLORED

public static final String TRANSITION_CSS_ALREADY_COLORED

See Also:

• Constant Field Values

TRANSITION_CSS

public static final String TRANSITION_CSS

See Also:

• Constant Field Values

HEIGHT

public static final double HEIGHT

See Also:

• Constant Field Values

WIDTH

public static final double WIDTH

See Also:

• Constant Field Values

MIN_HEIGHT

public static final double MIN_HEIGHT

See Also:

• Constant Field Values

MIN_WIDTH

public static final double MIN_WIDTH

See Also:

• Constant Field Values

DEFAULT_FONT_SIZE

public static final int DEFAULT_FONT_SIZE

See Also:

• Constant Field Values

SIDEBAR_MAX_WIDTH

public static final int SIDEBAR_MAX_WIDTH

See Also:

• Constant Field Values

TRANSITION_ROW_MIN_WIDTH

public static final int TRANSITION_ROW_MIN_WIDTH

See Also:

• Constant Field Values

DEFAULT_PLAYBACK_DURATION_MILLIS

public static final int DEFAULT_PLAYBACK_DURATION_MILLIS

See Also:

• Constant Field Values

MAX_RECENT_FILES

public static final int MAX_RECENT_FILES

See Also:

• Constant Field Values

RANDOM

public static final Random RANDOM

DEFAULT_AUTOMATA_FILE

public static final File DEFAULT_AUTOMATA_FILE

INITIAL_DIRECTORY

public static final File INITIAL_DIRECTORY

Constructor Details

Constants

public Constants()