Package dk.gtz.graphedit.events

Record Class EdgeMouseEvent

java.lang.Object
java.lang.Record
dk.gtz.graphedit.events.EdgeMouseEvent
Record Components:
event - The javafx MouseEvent that ocured
edgeId - The id of the edge that was interacted with
edge - The edge object that was interacted with
viewportAffine - The Affine that controls where the viewport is looking
syntax - The syntax factory associated with the current model
graph - The current model graph
bufferId - The related buffer key
editorSettings - The current editor settings
public record EdgeMouseEvent(javafx.scene.input.MouseEvent event, UUID edgeId, ViewModelEdge edge, javafx.scene.transform.Affine viewportAffine, ISyntaxFactory syntax, ViewModelGraph graph, String bufferId, ViewModelEditorSettings editorSettings) extends Record
When a MouseEvent occurs on an ViewModelEdge.

  • Constructor Details

    • EdgeMouseEvent

      public EdgeMouseEvent(javafx.scene.input.MouseEvent event, UUID edgeId, ViewModelEdge edge, javafx.scene.transform.Affine viewportAffine, ISyntaxFactory syntax, ViewModelGraph graph, String bufferId, ViewModelEditorSettings editorSettings)
      Creates an instance of a EdgeMouseEvent record class.
      Parameters:
      event - the value for the event record component
      edgeId - the value for the edgeId record component
      edge - the value for the edge record component
      viewportAffine - the value for the viewportAffine record component
      syntax - the value for the syntax record component
      graph - the value for the graph record component
      bufferId - the value for the bufferId record component
      editorSettings - the value for the editorSettings record component

  • Method Details

    • toString

      public final String toString()
      Returns a string representation of this record class. The representation contains the name of the class, followed by the name and value of each of the record components.
      Specified by:
      toString in class Record
      Returns:
      a string representation of this object

    • hashCode

      public final int hashCode()
      Returns a hash code value for this object. The value is derived from the hash code of each of the record components.
      Specified by:
      hashCode in class Record
      Returns:
      a hash code value for this object

    • equals

      public final boolean equals(Object o)
      Indicates whether some other object is "equal to" this one. The objects are equal if the other object is of the same class and if all the record components are equal. All components in this record class are compared with Objects::equals(Object,Object).
      Specified by:
      equals in class Record
      Parameters:
      o - the object with which to compare
      Returns:
      true if this object is the same as the o argument; false otherwise.

    • event

      public javafx.scene.input.MouseEvent event()
      Returns the value of the event record component.
      Returns:
      the value of the event record component

    • edgeId

      public UUID edgeId()
      Returns the value of the edgeId record component.
      Returns:
      the value of the edgeId record component

    • edge

      public ViewModelEdge edge()
      Returns the value of the edge record component.
      Returns:
      the value of the edge record component

    • viewportAffine

      public javafx.scene.transform.Affine viewportAffine()
      Returns the value of the viewportAffine record component.
      Returns:
      the value of the viewportAffine record component

    • syntax

      public ISyntaxFactory syntax()
      Returns the value of the syntax record component.
      Returns:
      the value of the syntax record component

    • graph

      public ViewModelGraph graph()
      Returns the value of the graph record component.
      Returns:
      the value of the graph record component

    • bufferId

      public String bufferId()
      Returns the value of the bufferId record component.
      Returns:
      the value of the bufferId record component

    • editorSettings

      public ViewModelEditorSettings editorSettings()
      Returns the value of the editorSettings record component.
      Returns:
      the value of the editorSettings record component