Package de.delinkedde.areashopreborn.application

Datensatzklasse EstateApplicationService.MarketPage

java.lang.Object
java.lang.Record
de.delinkedde.areashopreborn.application.EstateApplicationService.MarketPage
Datensatzkomponenten:
listings - player-facing sale cards on the selected page
page - normalized zero-based page
maximumPage - zero-based last page
total - total matching listings
Umschließende Klasse:
EstateApplicationService
public static record EstateApplicationService.MarketPage(List<EstateRepository.MarketListing> listings, int page, int maximumPage, int total) extends Record
Immutable bounded market page used by the inventory browser.

  • Konstruktordetails

  • Methodendetails

    • toString

      public final String toString()
      Gibt eine Zeichenfolgendarstellung dieser Datensatzklasse zurück. Die Darstellung enthält den Namen der Klasse, gefolgt vom Namen und Wert jeder der Datensatzkomponenten.
      Angegeben von:
      toString in Klasse Record
      Gibt zurück:
      eine Zeichenfolgendarstellung dieses Objekts

    • hashCode

      public final int hashCode()
      Gibt einen Hashcodewert für diese Objekt zurück. Der Wert wird vom Hashcode jeder der Datensatzkomponenten abgeleitet.
      Angegeben von:
      hashCode in Klasse Record
      Gibt zurück:
      ein Hashcodewert für dieses Objekt

    • equals

      public final boolean equals(Object o)
      Gibt an, ob ein anderes Objekt diesem gleich ("equal to") ist. Die Objekte sind gleich, wenn das andere Objekt der gleichen Klasse angehört und alle Datensatzkomponenten gleich sind. Referenzkomponenten werden verglichen mit Objects::equals(Object,Object); primitive Komponenten werden verglichen mit "==".
      Angegeben von:
      equals in Klasse Record
      Parameter:
      o - das Objekt, mit dem verglichen wird
      Gibt zurück:
      true, wenn dieses Objekt gleich dem Argument o ist, andernfalls false.

    • listings

      public List<EstateRepository.MarketListing> listings()
      Gibt den Wert für die Datensatzkomponente listings zurück.
      Gibt zurück:
      Wert der Datensatzkomponente listings

    • page

      public int page()
      Gibt den Wert für die Datensatzkomponente page zurück.
      Gibt zurück:
      Wert der Datensatzkomponente page

    • maximumPage

      public int maximumPage()
      Gibt den Wert für die Datensatzkomponente maximumPage zurück.
      Gibt zurück:
      Wert der Datensatzkomponente maximumPage

    • total

      public int total()
      Gibt den Wert für die Datensatzkomponente total zurück.
      Gibt zurück:
      Wert der Datensatzkomponente total