Package dk.gtz.graphedit.events

Record Class VertexMouseEvent

java.lang.Object
java.lang.Record
dk.gtz.graphedit.events.VertexMouseEvent
Record Components:
event - The javafx MouseEvent that ocured
vertexId - The id of the vertex that was interacted with
vertex - The vertex 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 VertexMouseEvent(javafx.scene.input.MouseEvent event, UUID vertexId, ViewModelVertex vertex, javafx.scene.transform.Affine viewportAffine, ISyntaxFactory syntax, ViewModelGraph graph, String bufferId, ViewModelEditorSettings editorSettings) extends Record
When a MouseEvent occurs on an ViewModelVertex.

  • Constructor Details

    • VertexMouseEvent

      public VertexMouseEvent(javafx.scene.input.MouseEvent event, UUID vertexId, ViewModelVertex vertex, javafx.scene.transform.Affine viewportAffine, ISyntaxFactory syntax, ViewModelGraph graph, String bufferId, ViewModelEditorSettings editorSettings)
      Creates an instance of a VertexMouseEvent record class.
      Parameters:
      event - the value for the event record component
      vertexId - the value for the vertexId record component
      vertex - the value for the vertex 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

    • vertexId

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

    • vertex

      public ViewModelVertex vertex()
      Returns the value of the vertex record component.
      Returns:
      the value of the vertex 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