Package it.univr.wordautomata.controller

Class GraphPanel

java.lang.Object
javafx.scene.Node
javafx.scene.Parent
javafx.scene.layout.Region
javafx.scene.layout.Pane
javafx.scene.layout.StackPane
it.univr.wordautomata.controller.GraphPanel
All Implemented Interfaces:
javafx.css.Styleable, javafx.event.EventTarget
public class GraphPanel extends javafx.scene.layout.StackPane
Panel in which Graph is displayed

  • Property Summary

    Properties inherited from class javafx.scene.layout.StackPane

    alignment

    Properties inherited from class javafx.scene.layout.Region

    background, border, cacheShape, centerShape, height, insets, maxHeight, maxWidth, minHeight, minWidth, opaqueInsets, padding, prefHeight, prefWidth, scaleShape, shape, snapToPixel, width

    Properties inherited from class javafx.scene.Parent

    needsLayout

    Properties inherited from class javafx.scene.Node

    accessibleHelp, accessibleRoleDescription, accessibleRole, accessibleText, blendMode, boundsInLocal, boundsInParent, cacheHint, cache, clip, cursor, depthTest, disabled, disable, effectiveNodeOrientation, effect, eventDispatcher, focused, focusTraversable, focusVisible, focusWithin, hover, id, inputMethodRequests, layoutBounds, layoutX, layoutY, localToParentTransform, localToSceneTransform, managed, mouseTransparent, nodeOrientation, onContextMenuRequested, onDragDetected, onDragDone, onDragDropped, onDragEntered, onDragExited, onDragOver, onInputMethodTextChanged, onKeyPressed, onKeyReleased, onKeyTyped, onMouseClicked, onMouseDragEntered, onMouseDragExited, onMouseDragged, onMouseDragOver, onMouseDragReleased, onMouseEntered, onMouseExited, onMouseMoved, onMousePressed, onMouseReleased, onRotate, onRotationFinished, onRotationStarted, onScrollFinished, onScroll, onScrollStarted, onSwipeDown, onSwipeLeft, onSwipeRight, onSwipeUp, onTouchMoved, onTouchPressed, onTouchReleased, onTouchStationary, onZoomFinished, onZoom, onZoomStarted, opacity, parent, pickOnBounds, pressed, rotate, rotationAxis, scaleX, scaleY, scaleZ, scene, style, translateX, translateY, translateZ, viewOrder, visible

  • Field Summary

    Fields inherited from class javafx.scene.layout.Region

    USE_COMPUTED_SIZE, USE_PREF_SIZE

    Fields inherited from class javafx.scene.Node

    BASELINE_OFFSET_SAME_AS_HEIGHT

  • Constructor Summary

    Constructors
    Constructor
    Description
    GraphPanel()
    Constructs a new instance of the GraphPanel class.

  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    addEdge()
    Adds a new edge.
    boolean
    addEdge(State startingState)
    Adds a new edge.
    boolean
    addEdge(State startingState, State endingState)
     
    boolean
    addVertex()
    Adds a new vertex.
    boolean
    addVertex(double x, double y)
    Adds a new vertex.
    void
    chooseInitialState()
    Chooses the initial state.
    void
    clear()
    Clears the graph.
    void
    closeSideBar()
    Closes the side bar.
    void
    initEdgeColoring()
    Initializes the edge coloring.
    void
    initGraph()
    Initializes the graph.
    boolean
    queryRemoveEdge(com.brunomnsilva.smartgraph.graph.Edge<Transition,State> e)
    Queries the removal of the edge.
    boolean
    queryRemoveVertex(com.brunomnsilva.smartgraph.graph.Vertex<State> v)
    Queries the removal of the vertex.
    void
    removeEdge(com.brunomnsilva.smartgraph.graph.Edge<Transition,State> e)
    Removes the edge.
    void
    removeVertex(com.brunomnsilva.smartgraph.graph.Vertex<State> v)
    Removes the vertex.
    void
    selectState()
    Selects the state.
    void
    selectTransition()
    Selects the transition.
    void
    setInitialState(State newInitialState)
    Sets the initial state.
    void
    showStateSideBar(com.brunomnsilva.smartgraph.graphview.SmartGraphVertex<State> vertex)
    Shows the state side bar.
    void
    showTransitionSideBar(com.brunomnsilva.smartgraph.graphview.SmartGraphEdge<Transition,State> edge)
    Shows the transition side bar.
    void
    update()
    Updates the graph.
    void
    updateAndWait()
    Updates the graph and waits.

    Methods inherited from class javafx.scene.layout.StackPane

    alignmentProperty, clearConstraints, computeMinHeight, computeMinWidth, computePrefHeight, computePrefWidth, getAlignment, getAlignment, getClassCssMetaData, getContentBias, getCssMetaData, getMargin, layoutChildren, requestLayout, setAlignment, setAlignment, setMargin

    Methods inherited from class javafx.scene.layout.Pane

    getChildren

    Methods inherited from class javafx.scene.layout.Region

    backgroundProperty, borderProperty, cacheShapeProperty, centerShapeProperty, computeMaxHeight, computeMaxWidth, getBackground, getBorder, getHeight, getInsets, getMaxHeight, getMaxWidth, getMinHeight, getMinWidth, getOpaqueInsets, getPadding, getPrefHeight, getPrefWidth, getShape, getUserAgentStylesheet, getWidth, heightProperty, insetsProperty, isCacheShape, isCenterShape, isResizable, isScaleShape, isSnapToPixel, layoutInArea, layoutInArea, layoutInArea, layoutInArea, maxHeight, maxHeightProperty, maxWidth, maxWidthProperty, minHeight, minHeightProperty, minWidth, minWidthProperty, opaqueInsetsProperty, paddingProperty, positionInArea, positionInArea, prefHeight, prefHeightProperty, prefWidth, prefWidthProperty, resize, scaleShapeProperty, setBackground, setBorder, setCacheShape, setCenterShape, setHeight, setMaxHeight, setMaxSize, setMaxWidth, setMinHeight, setMinSize, setMinWidth, setOpaqueInsets, setPadding, setPrefHeight, setPrefSize, setPrefWidth, setScaleShape, setShape, setSnapToPixel, setWidth, shapeProperty, snappedBottomInset, snappedLeftInset, snappedRightInset, snappedTopInset, snapPosition, snapPositionX, snapPositionY, snapSize, snapSizeX, snapSizeY, snapSpace, snapSpaceX, snapSpaceY, snapToPixelProperty, widthProperty

    Methods inherited from class javafx.scene.Parent

    getBaselineOffset, getChildrenUnmodifiable, getManagedChildren, getStylesheets, isNeedsLayout, layout, lookup, needsLayoutProperty, queryAccessibleAttribute, requestParentLayout, setNeedsLayout, updateBounds

    Methods inherited from class javafx.scene.Node

    accessibleHelpProperty, accessibleRoleDescriptionProperty, accessibleRoleProperty, accessibleTextProperty, addEventFilter, addEventHandler, applyCss, autosize, blendModeProperty, boundsInLocalProperty, boundsInParentProperty, buildEventDispatchChain, cacheHintProperty, cacheProperty, clipProperty, computeAreaInScreen, contains, contains, cursorProperty, depthTestProperty, disabledProperty, disableProperty, effectiveNodeOrientationProperty, effectProperty, eventDispatcherProperty, executeAccessibleAction, fireEvent, focusedProperty, focusTraversableProperty, focusVisibleProperty, focusWithinProperty, getAccessibleHelp, getAccessibleRole, getAccessibleRoleDescription, getAccessibleText, getBlendMode, getBoundsInLocal, getBoundsInParent, getCacheHint, getClip, getCursor, getDepthTest, getEffect, getEffectiveNodeOrientation, getEventDispatcher, getId, getInitialCursor, getInitialFocusTraversable, getInputMethodRequests, getLayoutBounds, getLayoutX, getLayoutY, getLocalToParentTransform, getLocalToSceneTransform, getNodeOrientation, getOnContextMenuRequested, getOnDragDetected, getOnDragDone, getOnDragDropped, getOnDragEntered, getOnDragExited, getOnDragOver, getOnInputMethodTextChanged, getOnKeyPressed, getOnKeyReleased, getOnKeyTyped, getOnMouseClicked, getOnMouseDragEntered, getOnMouseDragExited, getOnMouseDragged, getOnMouseDragOver, getOnMouseDragReleased, getOnMouseEntered, getOnMouseExited, getOnMouseMoved, getOnMousePressed, getOnMouseReleased, getOnRotate, getOnRotationFinished, getOnRotationStarted, getOnScroll, getOnScrollFinished, getOnScrollStarted, getOnSwipeDown, getOnSwipeLeft, getOnSwipeRight, getOnSwipeUp, getOnTouchMoved, getOnTouchPressed, getOnTouchReleased, getOnTouchStationary, getOnZoom, getOnZoomFinished, getOnZoomStarted, getOpacity, getParent, getProperties, getPseudoClassStates, getRotate, getRotationAxis, getScaleX, getScaleY, getScaleZ, getScene, getStyle, getStyleableParent, getStyleClass, getTransforms, getTranslateX, getTranslateY, getTranslateZ, getTypeSelector, getUserData, getViewOrder, hasProperties, hoverProperty, idProperty, inputMethodRequestsProperty, intersects, intersects, isCache, isDisable, isDisabled, isFocused, isFocusTraversable, isFocusVisible, isFocusWithin, isHover, isManaged, isMouseTransparent, isPickOnBounds, isPressed, isVisible, layoutBoundsProperty, layoutXProperty, layoutYProperty, localToParent, localToParent, localToParent, localToParent, localToParent, localToParentTransformProperty, localToScene, localToScene, localToScene, localToScene, localToScene, localToScene, localToScene, localToScene, localToScene, localToScene, localToSceneTransformProperty, localToScreen, localToScreen, localToScreen, localToScreen, localToScreen, lookupAll, managedProperty, mouseTransparentProperty, nodeOrientationProperty, notifyAccessibleAttributeChanged, onContextMenuRequestedProperty, onDragDetectedProperty, onDragDoneProperty, onDragDroppedProperty, onDragEnteredProperty, onDragExitedProperty, onDragOverProperty, onInputMethodTextChangedProperty, onKeyPressedProperty, onKeyReleasedProperty, onKeyTypedProperty, onMouseClickedProperty, onMouseDragEnteredProperty, onMouseDragExitedProperty, onMouseDraggedProperty, onMouseDragOverProperty, onMouseDragReleasedProperty, onMouseEnteredProperty, onMouseExitedProperty, onMouseMovedProperty, onMousePressedProperty, onMouseReleasedProperty, onRotateProperty, onRotationFinishedProperty, onRotationStartedProperty, onScrollFinishedProperty, onScrollProperty, onScrollStartedProperty, onSwipeDownProperty, onSwipeLeftProperty, onSwipeRightProperty, onSwipeUpProperty, onTouchMovedProperty, onTouchPressedProperty, onTouchReleasedProperty, onTouchStationaryProperty, onZoomFinishedProperty, onZoomProperty, onZoomStartedProperty, opacityProperty, parentProperty, parentToLocal, parentToLocal, parentToLocal, parentToLocal, parentToLocal, pickOnBoundsProperty, pressedProperty, pseudoClassStateChanged, relocate, removeEventFilter, removeEventHandler, requestFocus, resizeRelocate, rotateProperty, rotationAxisProperty, scaleXProperty, scaleYProperty, scaleZProperty, sceneProperty, sceneToLocal, sceneToLocal, sceneToLocal, sceneToLocal, sceneToLocal, sceneToLocal, sceneToLocal, sceneToLocal, screenToLocal, screenToLocal, screenToLocal, setAccessibleHelp, setAccessibleRole, setAccessibleRoleDescription, setAccessibleText, setBlendMode, setCache, setCacheHint, setClip, setCursor, setDepthTest, setDisable, setDisabled, setEffect, setEventDispatcher, setEventHandler, setFocused, setFocusTraversable, setHover, setId, setInputMethodRequests, setLayoutX, setLayoutY, setManaged, setMouseTransparent, setNodeOrientation, setOnContextMenuRequested, setOnDragDetected, setOnDragDone, setOnDragDropped, setOnDragEntered, setOnDragExited, setOnDragOver, setOnInputMethodTextChanged, setOnKeyPressed, setOnKeyReleased, setOnKeyTyped, setOnMouseClicked, setOnMouseDragEntered, setOnMouseDragExited, setOnMouseDragged, setOnMouseDragOver, setOnMouseDragReleased, setOnMouseEntered, setOnMouseExited, setOnMouseMoved, setOnMousePressed, setOnMouseReleased, setOnRotate, setOnRotationFinished, setOnRotationStarted, setOnScroll, setOnScrollFinished, setOnScrollStarted, setOnSwipeDown, setOnSwipeLeft, setOnSwipeRight, setOnSwipeUp, setOnTouchMoved, setOnTouchPressed, setOnTouchReleased, setOnTouchStationary, setOnZoom, setOnZoomFinished, setOnZoomStarted, setOpacity, setPickOnBounds, setPressed, setRotate, setRotationAxis, setScaleX, setScaleY, setScaleZ, setStyle, setTranslateX, setTranslateY, setTranslateZ, setUserData, setViewOrder, setVisible, snapshot, snapshot, startDragAndDrop, startFullDrag, styleProperty, toBack, toFront, toString, translateXProperty, translateYProperty, translateZProperty, usesMirroring, viewOrderProperty, visibleProperty

    Methods inherited from class java.lang.Object

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

    Methods inherited from interface javafx.css.Styleable

    getStyleableNode

  • Constructor Details

    • GraphPanel

      public GraphPanel()
      Constructs a new instance of the GraphPanel class. Initializes the GraphPanel by loading the controller, initializing the model, components, timelines, zoom label, graph, modals, properties, and edge coloring.

  • Method Details

    • initEdgeColoring

      public void initEdgeColoring()
      Initializes the edge coloring.

    • initGraph

      public void initGraph()
      Initializes the graph.

    • addVertex

      public boolean addVertex()
      Adds a new vertex.
      Returns:
      true if the vertex was added, false otherwise

    • addVertex

      public boolean addVertex(double x, double y)
      Adds a new vertex.
      Parameters:
      x - the x coordinate
      y - the y coordinate
      Returns:
      true if the vertex was added, false otherwise

    • addEdge

      public boolean addEdge()
      Adds a new edge.
      Returns:
      true if the edge was added, false otherwise

    • addEdge

      public boolean addEdge(State startingState)
      Adds a new edge.
      Parameters:
      startingState - the starting state
      Returns:
      true if the edge was added, false otherwise

    • addEdge

      public boolean addEdge(State startingState, State endingState)

    • chooseInitialState

      public void chooseInitialState()
      Chooses the initial state.

    • setInitialState

      public void setInitialState(State newInitialState)
      Sets the initial state.
      Parameters:
      newInitialState - the new initial state

    • selectState

      public void selectState()
      Selects the state.

    • selectTransition

      public void selectTransition()
      Selects the transition.

    • clear

      public void clear()
      Clears the graph.

    • closeSideBar

      public void closeSideBar()
      Closes the side bar.

    • update

      public void update()
      Updates the graph.

    • updateAndWait

      public void updateAndWait()
      Updates the graph and waits.

    • removeVertex

      public void removeVertex(com.brunomnsilva.smartgraph.graph.Vertex<State> v)
      Removes the vertex.
      Parameters:
      v - the vertex

    • removeEdge

      public void removeEdge(com.brunomnsilva.smartgraph.graph.Edge<Transition,State> e)
      Removes the edge.
      Parameters:
      e - the edge

    • queryRemoveVertex

      public boolean queryRemoveVertex(com.brunomnsilva.smartgraph.graph.Vertex<State> v)
      Queries the removal of the vertex.
      Parameters:
      v - the vertex
      Returns:
      true if the vertex was removed, false otherwise

    • queryRemoveEdge

      public boolean queryRemoveEdge(com.brunomnsilva.smartgraph.graph.Edge<Transition,State> e)
      Queries the removal of the edge.
      Parameters:
      e - the edge
      Returns:
      true if the edge was removed, false otherwise

    • showStateSideBar

      public void showStateSideBar(com.brunomnsilva.smartgraph.graphview.SmartGraphVertex<State> vertex)
      Shows the state side bar.
      Parameters:
      vertex - the vertex

    • showTransitionSideBar

      public void showTransitionSideBar(com.brunomnsilva.smartgraph.graphview.SmartGraphEdge<Transition,State> edge)
      Shows the transition side bar.
      Parameters:
      edge - the edge