Package dk.gtz.graphedit.events

Record Class ViewportKeyEvent

java.lang.Object
java.lang.Record
dk.gtz.graphedit.events.ViewportKeyEvent
Record Components:
event - The javafx KeyEvent that ocured
viewportAffine - The Affine that controls where the viewport is looking
isTargetDrawpane - If true, then this event is targeting the drawpane. Useful for filtering unwanted events
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 ViewportKeyEvent(javafx.scene.input.KeyEvent event, javafx.scene.transform.Affine viewportAffine, boolean isTargetDrawpane, ISyntaxFactory syntax, ViewModelGraph graph, String bufferId, ViewModelEditorSettings editorSettings) extends Record
When a KeyEvent occurs on the model editor viewport

  • Constructor Details

    • ViewportKeyEvent

      public ViewportKeyEvent(javafx.scene.input.KeyEvent event, javafx.scene.transform.Affine viewportAffine, boolean isTargetDrawpane, ISyntaxFactory syntax, ViewModelGraph graph, String bufferId, ViewModelEditorSettings editorSettings)
      Creates an instance of a ViewportKeyEvent record class.
      Parameters:
      event - the value for the event record component
      viewportAffine - the value for the viewportAffine record component
      isTargetDrawpane - the value for the isTargetDrawpane 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. Reference components are compared with Objects::equals(Object,Object); primitive components are compared with '=='.
      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.KeyEvent event()
      Returns the value of the event record component.
      Returns:
      the value of the event 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

    • isTargetDrawpane

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