Record Class Localization.Command.Toponline

java.lang.Object
java.lang.Record
net.flectone.pulse.config.Localization.Command.Toponline
All Implemented Interfaces:
LocalizationSetting
Enclosing class:
Localization.Command

public static record Localization.Command.Toponline(String nullPage, String header, String line, String footer) extends Record implements LocalizationSetting
Since:
1.7.1
  • Constructor Details

    • Toponline

      public Toponline(String nullPage, String header, String line, String footer)
      Creates an instance of a Toponline record class.
      Parameters:
      nullPage - the value for the nullPage record component
      header - the value for the header record component
      line - the value for the line record component
      footer - the value for the footer record component
  • Method Details

    • builder

    • toBuilder

    • withNullPage

      public Localization.Command.Toponline withNullPage(String nullPage)
      Returns:
      a clone of this object, except with this updated property (returns this if an identical value is passed).
    • withHeader

      public Localization.Command.Toponline withHeader(String header)
      Returns:
      a clone of this object, except with this updated property (returns this if an identical value is passed).
    • withLine

      public Localization.Command.Toponline withLine(String line)
      Returns:
      a clone of this object, except with this updated property (returns this if an identical value is passed).
    • withFooter

      public Localization.Command.Toponline withFooter(String footer)
      Returns:
      a clone of this object, except with this updated property (returns this if an identical value is passed).
    • 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.
    • nullPage

      public String nullPage()
      Returns the value of the nullPage record component.
      Returns:
      the value of the nullPage record component
    • header

      public String header()
      Returns the value of the header record component.
      Returns:
      the value of the header record component
    • line

      public String line()
      Returns the value of the line record component.
      Returns:
      the value of the line record component
    • footer

      public String footer()
      Returns the value of the footer record component.
      Returns:
      the value of the footer record component