Package org.vaadin.addons.maplibre

Record Class MapLibre.ViewPort

java.lang.Object
java.lang.Record
org.vaadin.addons.maplibre.MapLibre.ViewPort
Enclosing class:
MapLibre
public static record MapLibre.ViewPort(org.locationtech.jts.geom.Point southWest, org.locationtech.jts.geom.Point northEast, org.locationtech.jts.geom.Point center, double bearing, double pitch) extends Record

  • Constructor Summary

    Constructors
    Constructor
    Description
    ViewPort(org.locationtech.jts.geom.Point southWest, org.locationtech.jts.geom.Point northEast, org.locationtech.jts.geom.Point center, double bearing, double pitch)
    Creates an instance of a ViewPort record class.

  • Method Summary

    Modifier and Type
    Method
    Description
    double
    bearing()
    Returns the value of the bearing record component.
    org.locationtech.jts.geom.Point
    center()
    Returns the value of the center record component.
    final boolean
    equals(Object o)
    Indicates whether some other object is "equal to" this one.
    org.locationtech.jts.geom.Polygon
    getBounds()
     
    final int
    hashCode()
    Returns a hash code value for this object.
    org.locationtech.jts.geom.Point
    northEast()
    Returns the value of the northEast record component.
    static MapLibre.ViewPort
    of(elemental.json.JsonObject o)
     
    double
    pitch()
    Returns the value of the pitch record component.
    org.locationtech.jts.geom.Point
    southWest()
    Returns the value of the southWest record component.
    final String
    toString()
    Returns a string representation of this record class.

    Methods inherited from class java.lang.Object

    clone, finalize, getClass, notify, notifyAll, wait, wait, wait

  • Constructor Details

    • ViewPort

      public ViewPort(org.locationtech.jts.geom.Point southWest, org.locationtech.jts.geom.Point northEast, org.locationtech.jts.geom.Point center, double bearing, double pitch)
      Creates an instance of a ViewPort record class.
      Parameters:
      southWest - the value for the southWest record component
      northEast - the value for the northEast record component
      center - the value for the center record component
      bearing - the value for the bearing record component
      pitch - the value for the pitch record component

  • Method Details

    • of

      public static MapLibre.ViewPort of(elemental.json.JsonObject o)

    • getBounds

      public org.locationtech.jts.geom.Polygon getBounds()

    • 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.

    • southWest

      public org.locationtech.jts.geom.Point southWest()
      Returns the value of the southWest record component.
      Returns:
      the value of the southWest record component

    • northEast

      public org.locationtech.jts.geom.Point northEast()
      Returns the value of the northEast record component.
      Returns:
      the value of the northEast record component

    • center

      public org.locationtech.jts.geom.Point center()
      Returns the value of the center record component.
      Returns:
      the value of the center record component

    • bearing

      public double bearing()
      Returns the value of the bearing record component.
      Returns:
      the value of the bearing record component

    • pitch

      public double pitch()
      Returns the value of the pitch record component.
      Returns:
      the value of the pitch record component