Package slash.navigation.download.tools.gui

Record Class SnapshotJobInfo

java.lang.Object
java.lang.Record
slash.navigation.download.tools.gui.SnapshotJobInfo
public record SnapshotJobInfo(DataSource dataSource, Source source, int fileCount, int mapCount, int themeCount, int downloadableCount, long totalSize, Path snapshotFile) extends Record
Snapshot-derived metadata for a mirror job row.
Author:
Christian Pesch

  • Constructor Summary

    Constructors
    Constructor
    Description
    SnapshotJobInfo(DataSource dataSource, Source source, int fileCount, int mapCount, int themeCount, int downloadableCount, long totalSize, Path snapshotFile)
    Creates an instance of a SnapshotJobInfo record class.

  • Method Summary

    Modifier and Type
    Method
    Description
    String
    baseUrl()
     
    DataSource
    dataSource()
    Returns the value of the dataSource record component.
    int
    downloadableCount()
    Returns the value of the downloadableCount record component.
    final boolean
    equals(Object o)
    Indicates whether some other object is "equal to" this one.
    int
    fileCount()
    Returns the value of the fileCount record component.
    final int
    hashCode()
    Returns a hash code value for this object.
    String
    id()
     
    int
    mapCount()
    Returns the value of the mapCount record component.
    String
    mirrorUrl()
     
    String
    name()
     
    Path
    snapshotFile()
    Returns the value of the snapshotFile record component.
    Source
    source()
    Returns the value of the source record component.
    int
    themeCount()
    Returns the value of the themeCount record component.
    final String
    toString()
    Returns a string representation of this record class.
    long
    totalSize()
    Returns the value of the totalSize record component.

    Methods inherited from class java.lang.Object

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

  • Constructor Details

    • SnapshotJobInfo

      public SnapshotJobInfo(DataSource dataSource, Source source, int fileCount, int mapCount, int themeCount, int downloadableCount, long totalSize, Path snapshotFile)
      Creates an instance of a SnapshotJobInfo record class.
      Parameters:
      dataSource - the value for the dataSource record component
      source - the value for the source record component
      fileCount - the value for the fileCount record component
      mapCount - the value for the mapCount record component
      themeCount - the value for the themeCount record component
      downloadableCount - the value for the downloadableCount record component
      totalSize - the value for the totalSize record component
      snapshotFile - the value for the snapshotFile record component

  • Method Details

    • id

      public String id()

    • name

      public String name()

    • baseUrl

      public String baseUrl()

    • mirrorUrl

      public String mirrorUrl()

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

    • dataSource

      public DataSource dataSource()
      Returns the value of the dataSource record component.
      Returns:
      the value of the dataSource record component

    • source

      public Source source()
      Returns the value of the source record component.
      Returns:
      the value of the source record component

    • fileCount

      public int fileCount()
      Returns the value of the fileCount record component.
      Returns:
      the value of the fileCount record component

    • mapCount

      public int mapCount()
      Returns the value of the mapCount record component.
      Returns:
      the value of the mapCount record component

    • themeCount

      public int themeCount()
      Returns the value of the themeCount record component.
      Returns:
      the value of the themeCount record component

    • downloadableCount

      public int downloadableCount()
      Returns the value of the downloadableCount record component.
      Returns:
      the value of the downloadableCount record component

    • totalSize

      public long totalSize()
      Returns the value of the totalSize record component.
      Returns:
      the value of the totalSize record component

    • snapshotFile

      public Path snapshotFile()
      Returns the value of the snapshotFile record component.
      Returns:
      the value of the snapshotFile record component