Index (WordAutomata 1.0.2 API)

A B C D E F G H I L M N O P Q R S T U V W Z
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

A

ACTIVE_BUTTON_CLASS - Static variable in class it.univr.wordautomata.utils.Constants
ACTIVE_EDGE_CLASS - Static variable in class it.univr.wordautomata.utils.Constants
ACTIVE_SPEED_CIRCLE_CLASS - Static variable in class it.univr.wordautomata.utils.Constants
ADD_STATE_MODAL_BODY_FXML_FILENAME - Static variable in class it.univr.wordautomata.utils.Constants
ADD_TRANSITION_MODAL_BODY_FXML_FILENAME - Static variable in class it.univr.wordautomata.utils.Constants
addEdge() - Method in class it.univr.wordautomata.controller.GraphPanel: Adds a new edge.
addEdge(State) - Method in class it.univr.wordautomata.controller.GraphPanel: Adds a new edge.
addEdge(State, State) - Method in class it.univr.wordautomata.controller.GraphPanel
AddStateModal - Class in it.univr.wordautomata.controller: A dialog that allows the user to add a new state to the automaton.
AddStateModal() - Constructor for class it.univr.wordautomata.controller.AddStateModal: Creates a new AddStateModal.
AddStateModalBody - Class in it.univr.wordautomata.controller: The body of the dialog that allows the user to add a new state to the automaton.
AddStateModalBody() - Constructor for class it.univr.wordautomata.controller.AddStateModalBody: Creates a new AddStateModalBody.
AddTransitionModal - Class in it.univr.wordautomata.controller: A dialog that allows the user to add a new transition to the automaton.
AddTransitionModal(State, State) - Constructor for class it.univr.wordautomata.controller.AddTransitionModal: Creates a new AddTransitionModal.
AddTransitionModalBody - Class in it.univr.wordautomata.controller: The body of the dialog that allows the user to add a new transition to the automaton.
AddTransitionModalBody(State, State) - Constructor for class it.univr.wordautomata.controller.AddTransitionModalBody: Displays the body of the dialog that allows the user to add a new transition
addVertex() - Method in class it.univr.wordautomata.controller.GraphPanel: Adds a new vertex.
addVertex(double, double) - Method in class it.univr.wordautomata.controller.GraphPanel: Adds a new vertex.
Alerts - Class in it.univr.wordautomata.alerts: The Alerts class provides utility methods for displaying different types of alert dialogs.
Alerts() - Constructor for class it.univr.wordautomata.alerts.Alerts
areButtonsEnabled() - Method in class it.univr.wordautomata.model.Model: Returns the buttons enabled property.
atLeastOneEdgeProperty() - Method in class it.univr.wordautomata.model.Model: Returns a property telling if there is at least one edge in the current graph
atLeastOneVertexProperty() - Method in class it.univr.wordautomata.model.Model: Returns a property telling if there is at least one vertex in the current graph
AUTOMATA_EXTENSION - Static variable in class it.univr.wordautomata.utils.Constants
AutomataSaver - Class in it.univr.wordautomata.backend: The AutomataSaver class provides methods for saving and reading automata objects to/from files, as well as managing recent files and file dialogs.
autoPositionProperty() - Method in class it.univr.wordautomata.model.Model: Returns the auto position property.

B

BOTTOM_BAR_FXML_FILENAME - Static variable in class it.univr.wordautomata.utils.Constants
BottomBar - Class in it.univr.wordautomata.controller: BottomBar: contains a textfield to input words, buttons that control automata playback capabilities and a list of transitions.
BottomBar() - Constructor for class it.univr.wordautomata.controller.BottomBar: Creates a new BottomBar.
buildContextMenu(Node) - Static method in class it.univr.wordautomata.utils.Methods: Builds a context menu for the given node.
buildState() - Method in class it.univr.wordautomata.controller.AddStateModalBody: Builds a new state from the data entered by the user.
buildTransitionWrapper() - Method in class it.univr.wordautomata.controller.AddTransitionModalBody: Builds a new transition from the data entered by the user.

C

centerNodeInScrollPane(Node) - Method in class it.univr.wordautomata.controller.BottomBar: Centers a node in the scroll pane.
chooseInitialState() - Method in class it.univr.wordautomata.controller.GraphPanel: Chooses the initial state.
CIRCLE_FAILURE_CLASS - Static variable in class it.univr.wordautomata.utils.Constants
CIRCLE_SUCCESS_CLASS - Static variable in class it.univr.wordautomata.utils.Constants
clear() - Method in class it.univr.wordautomata.controller.BottomBar: Clears the word input.
clear() - Method in class it.univr.wordautomata.controller.GraphPanel: Clears the graph.
clear() - Method in class it.univr.wordautomata.model.Model: Clears the graph.
clearGraph() - Method in class it.univr.wordautomata.controller.MainPanel: Clears the graph.
clearProperties() - Static method in class it.univr.wordautomata.backend.PathFinder: Clears the properties of the PathFinder.
clearRecentFiles() - Static method in class it.univr.wordautomata.backend.AutomataSaver: Clears the list of recent files.
clearTransitionButtonAt(int) - Method in class it.univr.wordautomata.controller.BottomBar: Clears the transition button at the specified index.
clearTransitionsButtons() - Method in class it.univr.wordautomata.controller.BottomBar: Clears the transitions buttons.
closeSideBar() - Method in class it.univr.wordautomata.controller.GraphPanel: Closes the side bar.
colorTransitionButtonAt(int) - Method in class it.univr.wordautomata.controller.BottomBar: Colors the transition button at the specified index.
compareTo(State) - Method in class it.univr.wordautomata.model.State: Compares this state to another state based on their labels.
compareTo(Transition) - Method in class it.univr.wordautomata.model.Transition: Compares this transition to another transition based on their labels.
Components - Class in it.univr.wordautomata.controller: This class is used to gather the main components of the application.
computePath() - Method in class it.univr.wordautomata.controller.BottomBar: Computes the path of the word.
computePath(boolean) - Method in class it.univr.wordautomata.controller.BottomBar
computeStats() - Method in class it.univr.wordautomata.backend.GraphStatistics: Computes the statistics for the given word.
computeStats(String) - Method in class it.univr.wordautomata.backend.GraphStatistics: Computes statistics for a given word in the graph.
Constants - Class in it.univr.wordautomata.utils: Constants used in the application
Constants() - Constructor for class it.univr.wordautomata.utils.Constants
Constants.Orientation - Enum Class in it.univr.wordautomata.utils: Edge orientations
Constants.PlayBackSpeed - Enum Class in it.univr.wordautomata.utils: The different speed at which the timeline can be played
Constants.PlayBackState - Enum Class in it.univr.wordautomata.utils: The different playback states of the timeline
Constants.Theme - Enum Class in it.univr.wordautomata.utils: Application themes
consumedAllWordProperty() - Static method in class it.univr.wordautomata.backend.PathFinder: Tells if the entire word was consumed.
createAlert(Alert.AlertType, Scene, String, String, String, ButtonType...) - Static method in class it.univr.wordautomata.alerts.Alerts: Creates an alert dialog with the specified type, scene, title, header, body, and buttons.
cyclePlayBackState() - Method in class it.univr.wordautomata.model.Model: Cycles the playback state and returns the next one.
cyclePlayPause() - Method in class it.univr.wordautomata.controller.BottomBar: Cycles the play/pause state.
cycleSpeed() - Method in class it.univr.wordautomata.model.Model: Cycles playback speed and returns the next one.
cycleTheme() - Method in class it.univr.wordautomata.model.Model: Cycles the theme of the application.

D

DARK - Enum constant in enum class it.univr.wordautomata.utils.Constants.Theme
DEFAULT - Static variable in enum class it.univr.wordautomata.utils.Constants.PlayBackSpeed
DEFAULT - Static variable in enum class it.univr.wordautomata.utils.Constants.PlayBackState
DEFAULT - Static variable in enum class it.univr.wordautomata.utils.Constants.Theme
DEFAULT_AUTO_POSITION - Static variable in class it.univr.wordautomata.utils.Constants
DEFAULT_AUTOMATA_FILE - Static variable in class it.univr.wordautomata.utils.Constants
DEFAULT_AUTOMATA_FILENAME - Static variable in class it.univr.wordautomata.utils.Constants
DEFAULT_FONT_SIZE - Static variable in class it.univr.wordautomata.utils.Constants
DEFAULT_PLAYBACK_DURATION_MILLIS - Static variable in class it.univr.wordautomata.utils.Constants
Dwmapi - Interface in it.univr.wordautomata.stylings: The Dwmapi interface provides access to functions in the Dwmapi.dll library, which is used for Desktop Window Manager (DWM) composition.
DwmSetWindowAttribute(WinDef.HWND, int, PointerType, int) - Method in interface it.univr.wordautomata.stylings.Dwmapi: Sets the value of a specified attribute for a window.

E

EAST - Enum constant in enum class it.univr.wordautomata.utils.Constants.Orientation
emptyTextfieldProperty() - Method in class it.univr.wordautomata.controller.AddStateModalBody: Returns the property that indicates whether the text field is empty.
emptyTextfieldProperty() - Method in class it.univr.wordautomata.controller.AddTransitionModalBody: Returns the property that indicates whether the text field is empty.
endedOnFinalStateProperty() - Static method in class it.univr.wordautomata.backend.PathFinder: Tells if the path ended on a final state.
equals(Object) - Method in class it.univr.wordautomata.model.State: Check if this state is equal to another object.
existsState(String, State) - Static method in class it.univr.wordautomata.utils.Methods: Checks if a given state exists.
existsTransitionFromVertex(String, String) - Static method in class it.univr.wordautomata.utils.Methods: Checks if a transition exists from a given state.
existsTransitionToVertex(String, String) - Static method in class it.univr.wordautomata.utils.Methods: Checks if a transition exists to a given state.
exit() - Method in class it.univr.wordautomata.WordAutomata: Exits the application.

F

FAST - Enum constant in enum class it.univr.wordautomata.utils.Constants.PlayBackSpeed
FINAL_STATE_CLASS - Static variable in class it.univr.wordautomata.utils.Constants
finalProperty() - Method in class it.univr.wordautomata.model.State: Returns the final property of the state.
finalStatesCountProperty() - Method in class it.univr.wordautomata.model.Model: Returns a property telling if there is at least one final state in the current graph.
FONT_BOLD_FILENAME - Static variable in class it.univr.wordautomata.utils.Constants
FONT_ITALIC_FILENAME - Static variable in class it.univr.wordautomata.utils.Constants
FONT_REGULAR_FILENAME - Static variable in class it.univr.wordautomata.utils.Constants
FONTS_BASE_FOLDER - Static variable in class it.univr.wordautomata.utils.Constants
FONTS_EXTENSION - Static variable in class it.univr.wordautomata.utils.Constants
FXML_BASE_FOLDER - Static variable in class it.univr.wordautomata.utils.Constants
FXML_EXTENSION - Static variable in class it.univr.wordautomata.utils.Constants
FXWinUtil - Class in it.univr.wordautomata.stylings: The FXWinUtil class provides utility methods for working with Windows-specific features in JavaFX applications.

G

getAutomaticPlacementStrategy() - Method in class it.univr.wordautomata.model.Model: Returns the automatic placement strategy.
getBottomBar() - Method in class it.univr.wordautomata.controller.Components: Returns the bottom bar of the application.
getComponents() - Method in class it.univr.wordautomata.WordAutomata
getContentZoomScrollPane() - Method in class it.univr.wordautomata.controller.Components: Returns the content zoom scroll pane of the application.
getCssOrientation() - Method in enum class it.univr.wordautomata.utils.Constants.Orientation: Returns the CSS orientation corresponding to the enum value.
getEdgesSearched() - Method in class it.univr.wordautomata.backend.GraphStatistics: Returns the number of edges searched.
getEdgesToColor() - Method in class it.univr.wordautomata.model.Model: Returns an iterator to a list of edges to color.
getEndingState() - Method in class it.univr.wordautomata.model.TransitionWrapper: Returns the ending state of the transition.
getGraph() - Method in class it.univr.wordautomata.model.Model: Returns the current shown graph as a DigraphEdgeList.
getGraphPanel() - Method in class it.univr.wordautomata.controller.Components: Returns the graph panel of the application.
getInitialPlacement() - Method in class it.univr.wordautomata.model.Model: Returns the initial placement strategy.
getInitialState() - Method in class it.univr.wordautomata.model.Model: Returns the initial state of the automata.
getInitialVertex() - Method in class it.univr.wordautomata.model.Model: Returns the initial vertex of the automata (linked to the initial state).
getInstance() - Static method in class it.univr.wordautomata.controller.Components: Returns the instance of the class.
getInstance() - Static method in class it.univr.wordautomata.model.Model: Returns the single instance of the Model class.
getLabel() - Method in class it.univr.wordautomata.model.State: Returns the label of the state.
getLabel() - Method in class it.univr.wordautomata.model.Transition: Returns the label of the transition.
getLoader(String) - Static method in class it.univr.wordautomata.utils.Methods: Returns the FXMLLoader of the given FXML file.
getLongestPath() - Method in class it.univr.wordautomata.backend.GraphStatistics: Returns the length of the longest path in the graph.
getMainPanel() - Method in class it.univr.wordautomata.controller.Components: Returns the main panel of the application.
getMenuBarHeight() - Method in class it.univr.wordautomata.controller.MainPanel: Gets the height of the menu bar.
getNativeHandleForStage(Stage) - Static method in class it.univr.wordautomata.stylings.FXWinUtil: Represents a handle to a window in the Windows operating system.
getNextStateButton() - Method in class it.univr.wordautomata.controller.BottomBar: Returns the next state button.
getOpenedFile() - Method in class it.univr.wordautomata.model.Model: Returns the opened file.
getPath(String) - Static method in class it.univr.wordautomata.backend.PathFinder: Finds a path in the graph that matches the given word
getPath(String, DigraphEdgeList<State, Transition>) - Static method in class it.univr.wordautomata.backend.PathFinder: Finds a path in the graph that matches the given word.
getPlayBackState() - Method in class it.univr.wordautomata.model.Model: Returns the current playback state of the application.
getPossiblePaths() - Method in class it.univr.wordautomata.backend.GraphStatistics: Returns the number of possible paths in the graph.
getPreviousStateButton() - Method in class it.univr.wordautomata.controller.BottomBar: Returns the previous state button.
getRecentFiles() - Static method in class it.univr.wordautomata.backend.AutomataSaver: Retrieves a list of recent files.
getResource(Class<?>, String, String) - Static method in class it.univr.wordautomata.utils.Methods
getScene() - Method in class it.univr.wordautomata.controller.Components: Returns the scene of the application.
getShortestPath() - Method in class it.univr.wordautomata.backend.GraphStatistics: Returns the shortest path value.
getSpeed() - Method in class it.univr.wordautomata.model.Model: Returns the current playback speed.
getStage() - Method in class it.univr.wordautomata.controller.Components: Returns the stage of the application.
getStartingState() - Method in class it.univr.wordautomata.model.TransitionWrapper: Returns the starting state of the transition.
getTheme() - Method in class it.univr.wordautomata.model.Model: Returns the theme of the application as Enum
getTmpFolder() - Static method in class it.univr.wordautomata.backend.AutomataSaver: Returns the temporary folder used by the application.
getTransition() - Method in class it.univr.wordautomata.model.TransitionWrapper: Returns the transition itself.
getTransitionsPanelHBox() - Method in class it.univr.wordautomata.controller.BottomBar
getValue() - Method in enum class it.univr.wordautomata.utils.Constants.PlayBackSpeed: Return the value of the playback speed
getVerticesSearched() - Method in class it.univr.wordautomata.backend.GraphStatistics: Returns the number of vertices searched.
getWord() - Method in class it.univr.wordautomata.controller.BottomBar: Returns the word input.
getWordInput() - Method in class it.univr.wordautomata.controller.BottomBar
GITHUB_URL - Static variable in class it.univr.wordautomata.utils.Constants
GRAPH_PANEL_FXML_FILENAME - Static variable in class it.univr.wordautomata.utils.Constants
GRAPH_STYLE_EXTENSION - Static variable in class it.univr.wordautomata.utils.Constants
GRAPH_STYLE_FILENAME - Static variable in class it.univr.wordautomata.utils.Constants
GraphPanel - Class in it.univr.wordautomata.controller: Panel in which Graph is displayed
GraphPanel() - Constructor for class it.univr.wordautomata.controller.GraphPanel: Constructs a new instance of the GraphPanel class.
GraphStatistics - Class in it.univr.wordautomata.backend: The GraphStatistics class represents the statistics of a graph in a word automaton.
GraphStatistics() - Constructor for class it.univr.wordautomata.backend.GraphStatistics: Initializes the statistics with default values.

H

hasAtLeastOneEdge() - Method in class it.univr.wordautomata.model.Model: Check if the application has at least one edge.
hasAtLeastOneVertex() - Method in class it.univr.wordautomata.model.Model: Check if the application has at least one vertex.
hasPathFound() - Method in class it.univr.wordautomata.model.Model: Check if the application has found a path.
HEIGHT - Static variable in class it.univr.wordautomata.utils.Constants

I

ICON_BASE_FOLDER - Static variable in class it.univr.wordautomata.utils.Constants
ICON_EXTENSION - Static variable in class it.univr.wordautomata.utils.Constants
ICON_FILENAME - Static variable in class it.univr.wordautomata.utils.Constants
initEdgeColoring() - Method in class it.univr.wordautomata.controller.GraphPanel: Initializes the edge coloring.
initGraph() - Method in class it.univr.wordautomata.controller.GraphPanel: Initializes the graph.
INITIAL_DIRECTORY - Static variable in class it.univr.wordautomata.utils.Constants
INITIAL_STATE_CLASS - Static variable in class it.univr.wordautomata.utils.Constants
initialStateProperty() - Method in class it.univr.wordautomata.model.Model: Returns the initial state as a property.
initSampleGraph() - Method in class it.univr.wordautomata.model.Model: Initializes a sample graph (given in the assignment).
INSTANCE - Static variable in interface it.univr.wordautomata.stylings.Dwmapi
isAutoPositioningEnabled() - Method in class it.univr.wordautomata.model.Model: Check if the auto position property is enabled.
isFinal() - Method in class it.univr.wordautomata.model.State: Returns true if the state is final, false otherwise.
isPlayNextPressed() - Method in class it.univr.wordautomata.model.Model: Tells if the play next button has been pressed.
isPlayPrevPressed() - Method in class it.univr.wordautomata.model.Model: Returns the play previous pressed property.
isSaved() - Method in class it.univr.wordautomata.model.Model: Check if the graph has been saved.
isTransitionInProgressProperty() - Method in class it.univr.wordautomata.controller.BottomBar: Returns the property that indicates if the transition is in progress.
it.univr.wordautomata - package it.univr.wordautomata
it.univr.wordautomata.alerts - package it.univr.wordautomata.alerts
it.univr.wordautomata.backend - package it.univr.wordautomata.backend
it.univr.wordautomata.controller - package it.univr.wordautomata.controller
it.univr.wordautomata.model - package it.univr.wordautomata.model
it.univr.wordautomata.stylings - package it.univr.wordautomata.stylings
it.univr.wordautomata.utils - package it.univr.wordautomata.utils

L

labelProperty() - Method in class it.univr.wordautomata.model.Transition: Returns the label property of the transition.
LEGEND_MODAL_BODY_FXML_FILENAME - Static variable in class it.univr.wordautomata.utils.Constants
LegendModalBody - Class in it.univr.wordautomata.controller: The body of the dialog that explains the states' colors.
LegendModalBody() - Constructor for class it.univr.wordautomata.controller.LegendModalBody: Creates a new LegendModalBody.
LIGHT - Enum constant in enum class it.univr.wordautomata.utils.Constants.Theme
loadAndSetController(String, Node) - Static method in class it.univr.wordautomata.utils.Methods: Loads the FXML file from the given path and sets the controller of the given node.
loadAutomata(File) - Method in class it.univr.wordautomata.controller.MainPanel: Loads an automata from a file.
loadFonts(String...) - Static method in class it.univr.wordautomata.utils.Methods: Loads the fonts from the given file names.

M

main(String[]) - Static method in class it.univr.wordautomata.Main
Main - Class in it.univr.wordautomata: Runner class
Main() - Constructor for class it.univr.wordautomata.Main
MAIN_PANEL_FXML_FILENAME - Static variable in class it.univr.wordautomata.utils.Constants
MainPanel - Class in it.univr.wordautomata.controller: The MainPanel class represents the main panel of the WordAutomata application.
MainPanel(WordAutomata) - Constructor for class it.univr.wordautomata.controller.MainPanel: Creates a new MainPanel.
MAX_RECENT_FILES - Static variable in class it.univr.wordautomata.utils.Constants
MENU_ITEM_DANGER_CLASS - Static variable in class it.univr.wordautomata.utils.Constants
Methods - Class in it.univr.wordautomata.utils: Methods used in the application
Methods() - Constructor for class it.univr.wordautomata.utils.Methods
MIN_HEIGHT - Static variable in class it.univr.wordautomata.utils.Constants
MIN_WIDTH - Static variable in class it.univr.wordautomata.utils.Constants
Model - Class in it.univr.wordautomata.model: The Model class represents the model component of the Word Automata application.

N

next() - Method in enum class it.univr.wordautomata.utils.Constants.PlayBackSpeed
next() - Method in enum class it.univr.wordautomata.utils.Constants.PlayBackState: Get the next playback state
next() - Method in enum class it.univr.wordautomata.utils.Constants.Theme: Get the opposite theme
NO_PATH_FOUND_PANEL_CLASS - Static variable in class it.univr.wordautomata.utils.Constants
NO_PATH_FOUND_TEXT_CLASS - Static variable in class it.univr.wordautomata.utils.Constants
NORTH - Enum constant in enum class it.univr.wordautomata.utils.Constants.Orientation
NORTH_EAST - Enum constant in enum class it.univr.wordautomata.utils.Constants.Orientation
NORTH_WEST - Enum constant in enum class it.univr.wordautomata.utils.Constants.Orientation

O

openedFileProperty() - Method in class it.univr.wordautomata.model.Model: Returns the opened file property.
openLink(String) - Static method in class it.univr.wordautomata.utils.Methods: Opens the given link.
openModalLink(String) - Static method in class it.univr.wordautomata.utils.Methods: Shows the given link in a modal dialog.

P

PathFinder - Class in it.univr.wordautomata.backend: The PathFinder class is responsible for finding a path in a graph based on a given word.
PathFinder() - Constructor for class it.univr.wordautomata.backend.PathFinder
pathFoundProperty() - Method in class it.univr.wordautomata.model.Model: Returns a property telling if a path has been found.
PAUSED - Enum constant in enum class it.univr.wordautomata.utils.Constants.PlayBackState
playBackSpeedProperty() - Method in class it.univr.wordautomata.model.Model: Returns the current playback speed as a property.
playBackStateProperty() - Method in class it.univr.wordautomata.model.Model: Returns the playback state as a property.
PLAYING - Enum constant in enum class it.univr.wordautomata.utils.Constants.PlayBackState

Q

queryRemoveEdge(Edge<Transition, State>) - Method in class it.univr.wordautomata.controller.GraphPanel: Queries the removal of the edge.
queryRemoveVertex(Vertex<State>) - Method in class it.univr.wordautomata.controller.GraphPanel: Queries the removal of the vertex.

R

RANDOM - Static variable in class it.univr.wordautomata.utils.Constants
read() - Static method in class it.univr.wordautomata.backend.AutomataSaver: Reads a DigraphEdgeList from a file.
read(File, boolean) - Static method in class it.univr.wordautomata.backend.AutomataSaver: Reads a DigraphEdgeList from a file.
RECENT_FILES_FILENAME - Static variable in class it.univr.wordautomata.utils.Constants
recordRecentFile(File) - Static method in class it.univr.wordautomata.backend.AutomataSaver: Records the given file as a recent file in the application.
REGULAR - Enum constant in enum class it.univr.wordautomata.utils.Constants.PlayBackSpeed
removeEdge(Edge<Transition, State>) - Method in class it.univr.wordautomata.controller.GraphPanel: Removes the edge.
removeVertex(Vertex<State>) - Method in class it.univr.wordautomata.controller.GraphPanel: Removes the vertex.
requestTextFieldFocus() - Method in class it.univr.wordautomata.controller.AddStateModalBody: Requests the focus on the text field.
requestTextFieldFocus() - Method in class it.univr.wordautomata.controller.AddTransitionModalBody: Requests the focus on the text field.
resetButtonProperty() - Method in class it.univr.wordautomata.controller.BottomBar: Returns the property that indicates whether the reset button is pressed.
ROUNDED_CORNERS_CLASS - Static variable in class it.univr.wordautomata.utils.Constants
run() - Method in class it.univr.wordautomata.WordAutomata: Launches the application.

S

save() - Static method in class it.univr.wordautomata.backend.AutomataSaver: Saves the currently opened file.
save() - Static method in class it.univr.wordautomata.utils.Methods: Shows the save dialog.
save(File, boolean) - Static method in class it.univr.wordautomata.backend.AutomataSaver: Saves the automata to a file.
saveAs() - Static method in class it.univr.wordautomata.utils.Methods: Shows the save as dialog.
saveAsAutomata() - Method in class it.univr.wordautomata.controller.MainPanel: Saves the automata to a new file.
saveAutomata() - Method in class it.univr.wordautomata.controller.MainPanel: Saves the automata to a file.
savedProperty() - Method in class it.univr.wordautomata.model.Model: Returns the saved property.
selectState() - Method in class it.univr.wordautomata.controller.GraphPanel: Selects the state.
SelectStateModal - Class in it.univr.wordautomata.controller: A dialog that allows the user to select a state to view its details.
SelectStateModal() - Constructor for class it.univr.wordautomata.controller.SelectStateModal: Creates a new SelectStateModal.
selectTransition() - Method in class it.univr.wordautomata.controller.GraphPanel: Selects the transition.
SelectTransitionModal - Class in it.univr.wordautomata.controller: A dialog that allows the user to select a transition to view its details.
SelectTransitionModal() - Constructor for class it.univr.wordautomata.controller.SelectTransitionModal: Creates a new SelectTransitionModal.
setAutoPosition(boolean) - Method in class it.univr.wordautomata.model.Model: Sets the auto position property.
setBottomBar(BottomBar) - Method in class it.univr.wordautomata.controller.Components: Sets the bottom bar of the application.
setContentZoomScrollPane(ContentZoomScrollPane) - Method in class it.univr.wordautomata.controller.Components: Sets the content zoom scroll pane of the application.
setDarkMode(Stage) - Static method in class it.univr.wordautomata.stylings.WindowStyler: Sets the dark mode styling for the specified stage.
setEdgeToColor(ListIterator<Edge<Transition, State>>) - Method in class it.univr.wordautomata.model.Model: Sets the iterator.
setFinal(boolean) - Method in class it.univr.wordautomata.model.State: Sets the final status of the state.
setGraphPanel(GraphPanel) - Method in class it.univr.wordautomata.controller.Components: Sets the graph panel of the application.
setIcon(Stage) - Static method in class it.univr.wordautomata.utils.Methods: Sets the icon of the given stage.
setImmersiveDarkMode(Stage, boolean) - Static method in class it.univr.wordautomata.stylings.FXWinUtil: Sets the immersive dark mode for the specified stage.
setInitialState(State) - Method in class it.univr.wordautomata.controller.GraphPanel: Sets the initial state.
setInitialState(State) - Method in class it.univr.wordautomata.model.Model: Sets the initial state of the automata.
SetInitialStateModal - Class in it.univr.wordautomata.controller: A dialog that allows the user to set the initial state of the automaton.
SetInitialStateModal() - Constructor for class it.univr.wordautomata.controller.SetInitialStateModal: Creates a new SetInitialStateModal.
setLabel(String) - Method in class it.univr.wordautomata.model.State: Sets the label of the state.
setLabel(String) - Method in class it.univr.wordautomata.model.Transition: Sets the label of the transition.
setLightMode(Stage) - Static method in class it.univr.wordautomata.stylings.WindowStyler: Sets the light mode for the specified stage.
setMainPanel(MainPanel) - Method in class it.univr.wordautomata.controller.Components: Sets the main panel of the application.
setOpenedFile(File) - Method in class it.univr.wordautomata.model.Model: Sets the opened file.
setPathFound(boolean) - Method in class it.univr.wordautomata.model.Model: Sets the path found property.
setSaved(boolean) - Method in class it.univr.wordautomata.model.Model: Sets the saved property.
setScene(Scene) - Method in class it.univr.wordautomata.controller.Components: Sets the scene of the application.
setStage(Stage) - Method in class it.univr.wordautomata.controller.Components: Sets the stage of the application.
setTheme(Constants.Theme) - Method in class it.univr.wordautomata.model.Model: Sets the theme of the application.
setTheme(Stage) - Static method in class it.univr.wordautomata.stylings.WindowStyler: Sets the theme of the specified stage based on the current theme selected in the model.
showConfirmationDialog(Scene, String, String) - Static method in class it.univr.wordautomata.alerts.Alerts: Displays a confirmation dialog with the specified title and body.
showErrorDialog(Scene, String, String, boolean) - Static method in class it.univr.wordautomata.alerts.Alerts: Displays an error dialog with the specified title and body.
showErrorDialog(Scene, String, String, String, boolean) - Static method in class it.univr.wordautomata.alerts.Alerts: Displays an error dialog with the specified title, header, and body.
showInformationDialog(Scene, String, String) - Static method in class it.univr.wordautomata.alerts.Alerts: Displays an information dialog with the specified title and body.
showInformationDialog(Scene, String, String, String) - Static method in class it.univr.wordautomata.alerts.Alerts: Displays an information dialog with the specified title, header, and body.
showOpenDialog() - Static method in class it.univr.wordautomata.backend.AutomataSaver: Represents a file in the file system.
showSaveDialog() - Static method in class it.univr.wordautomata.backend.AutomataSaver: Represents a file in the file system.
showStateSideBar(SmartGraphVertex<State>) - Method in class it.univr.wordautomata.controller.GraphPanel: Shows the state side bar.
showTransitionSideBar(SmartGraphEdge<Transition, State>) - Method in class it.univr.wordautomata.controller.GraphPanel: Shows the transition side bar.
showWhy() - Method in class it.univr.wordautomata.controller.BottomBar: Displays the "Why" modal window.
SIDE_BAR_FXML_FILENAME - Static variable in class it.univr.wordautomata.utils.Constants
SIDEBAR_MAX_WIDTH - Static variable in class it.univr.wordautomata.utils.Constants
SLOW - Enum constant in enum class it.univr.wordautomata.utils.Constants.PlayBackSpeed
SOUTH - Enum constant in enum class it.univr.wordautomata.utils.Constants.Orientation
SOUTH_EAST - Enum constant in enum class it.univr.wordautomata.utils.Constants.Orientation
SOUTH_WEST - Enum constant in enum class it.univr.wordautomata.utils.Constants.Orientation
SPEED_CIRCLE_CLASS - Static variable in class it.univr.wordautomata.utils.Constants
start(Stage) - Method in class it.univr.wordautomata.WordAutomata: Starts the application.
State - Class in it.univr.wordautomata.model: Represents a state in a WordAutomata.
State(String) - Constructor for class it.univr.wordautomata.model.State: Constructs a state with the given label and default final status (false).
State(String, boolean) - Constructor for class it.univr.wordautomata.model.State: Constructs a state with the given label and final status.
STATE_MODAL_BODY_FXML_FILENAME - Static variable in class it.univr.wordautomata.utils.Constants
StateModal - Class in it.univr.wordautomata.controller: A dialog that shows the details of a state.
StateModal(ModalPane, SmartGraphVertex<State>) - Constructor for class it.univr.wordautomata.controller.StateModal: Creates a new state modal.
StateModalBody - Class in it.univr.wordautomata.controller: The body of the dialog that shows the details of a state.
StateModalBody(ModalBox, SmartGraphVertex<State>) - Constructor for class it.univr.wordautomata.controller.StateModalBody: Creates a new state modal body.
STATISTICS_MODAL_BODY_FXML_FILENAME - Static variable in class it.univr.wordautomata.utils.Constants
StatisticsModalBody - Class in it.univr.wordautomata.controller: The body of the dialog that shows the statistics of the automaton.
StatisticsModalBody() - Constructor for class it.univr.wordautomata.controller.StatisticsModalBody: Creates a new statistics modal body.
STYLE_BASE_FOLDER - Static variable in class it.univr.wordautomata.utils.Constants
STYLE_EXTENSION - Static variable in class it.univr.wordautomata.utils.Constants
STYLE_FILENAME - Static variable in class it.univr.wordautomata.utils.Constants

T

themeProperty() - Method in class it.univr.wordautomata.model.Model: Returns the current theme property of the application.
TITLE - Static variable in class it.univr.wordautomata.utils.Constants
toggleAutoPositioning() - Method in class it.univr.wordautomata.model.Model: Toggles the auto position property.
toggleTheme() - Method in class it.univr.wordautomata.WordAutomata: Toggles the theme of the application.
toString() - Method in class it.univr.wordautomata.model.State: Returns the string representation of the state (its label).
toString() - Method in class it.univr.wordautomata.model.Transition: Returns a string representation of the transition.
toString() - Method in enum class it.univr.wordautomata.utils.Constants.PlayBackSpeed
Transition - Class in it.univr.wordautomata.model: Represents a transition in a WordAutomata.
Transition(String) - Constructor for class it.univr.wordautomata.model.Transition: Constructs a transition with the given label.
TRANSITION_CSS - Static variable in class it.univr.wordautomata.utils.Constants
TRANSITION_CSS_ALREADY_COLORED - Static variable in class it.univr.wordautomata.utils.Constants
TRANSITION_CSS_HORIZONTAL - Static variable in class it.univr.wordautomata.utils.Constants
TRANSITION_CSS_HORIZONTAL_ALREADY_COLORED - Static variable in class it.univr.wordautomata.utils.Constants
TRANSITION_MODAL_BODY_FXML_FILENAME - Static variable in class it.univr.wordautomata.utils.Constants
TRANSITION_ROW_MIN_WIDTH - Static variable in class it.univr.wordautomata.utils.Constants
TransitionModal - Class in it.univr.wordautomata.controller: A dialog that shows the details of a transition.
TransitionModal(ModalPane, SmartGraphEdge<Transition, State>) - Constructor for class it.univr.wordautomata.controller.TransitionModal: Creates a new transition modal.
TransitionModalBody - Class in it.univr.wordautomata.controller: The body of the dialog that shows the details of a transition.
TransitionModalBody(ModalBox, SmartGraphEdge<Transition, State>) - Constructor for class it.univr.wordautomata.controller.TransitionModalBody: Creates a new transition modal body.
TransitionWrapper - Class in it.univr.wordautomata.model: Represents a wrapper class for a transition in a word automaton, in order to store the starting and ending states of the transition.
TransitionWrapper(State, State, Transition) - Constructor for class it.univr.wordautomata.model.TransitionWrapper: Constructs a new TransitionWrapper object.

U

update() - Method in class it.univr.wordautomata.controller.GraphPanel: Updates the graph.
updateAndWait() - Method in class it.univr.wordautomata.controller.GraphPanel: Updates the graph and waits.
updateGraph(DigraphEdgeList<State, Transition>) - Method in class it.univr.wordautomata.model.Model: Updates the graph by copying the given graph.
updateGraphProperties() - Method in class it.univr.wordautomata.model.Model: Updates the graph property reflecting the current state of the graph.

V

validateAndUpdateTextField(String) - Method in class it.univr.wordautomata.controller.AddTransitionModalBody: Validates the text field and updates the error label accordingly.
valueOf(String) - Static method in enum class it.univr.wordautomata.utils.Constants.Orientation: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class it.univr.wordautomata.utils.Constants.PlayBackSpeed: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class it.univr.wordautomata.utils.Constants.PlayBackState: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class it.univr.wordautomata.utils.Constants.Theme: Returns the enum constant of this class with the specified name.
values() - Static method in enum class it.univr.wordautomata.utils.Constants.Orientation: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class it.univr.wordautomata.utils.Constants.PlayBackSpeed: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class it.univr.wordautomata.utils.Constants.PlayBackState: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class it.univr.wordautomata.utils.Constants.Theme: Returns an array containing the constants of this enum class, in the order they are declared.
VERSION - Static variable in class it.univr.wordautomata.utils.Constants

W

WEST - Enum constant in enum class it.univr.wordautomata.utils.Constants.Orientation
WHY_MODAL_BODY_FXML_FILENAME - Static variable in class it.univr.wordautomata.utils.Constants
WhyModal - Class in it.univr.wordautomata.controller: A modal dialog that displays the reasons why the automaton is rejecting the word.
WhyModal() - Constructor for class it.univr.wordautomata.controller.WhyModal: Creates a new instance of the WhyModal class.
WhyModalBody - Class in it.univr.wordautomata.controller: Represents the body of the dialog that shows the reasons why the automaton is rejecting the word.
WhyModalBody() - Constructor for class it.univr.wordautomata.controller.WhyModalBody: The body of the dialog that shows the reasons why the automaton is rejecting the word.
WIDTH - Static variable in class it.univr.wordautomata.utils.Constants
WindowStyler - Class in it.univr.wordautomata.stylings: The WindowStyler class provides methods to set the styling and theme of a JavaFX Stage window.
WindowStyler() - Constructor for class it.univr.wordautomata.stylings.WindowStyler
WordAutomata - Class in it.univr.wordautomata: The main class of the application.
WordAutomata() - Constructor for class it.univr.wordautomata.WordAutomata: Creates a new WordAutomata.

Z

ZOOM_LABEL_CLASS - Static variable in class it.univr.wordautomata.utils.Constants

A B C D E F G H I L M N O P Q R S T U V W Z
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form