Record Class Localization.Command.Symbol

java.lang.Object
java.lang.Record
net.flectone.pulse.config.Localization.Command.Symbol
All Implemented Interfaces:
LocalizationSetting
Enclosing class:
Localization.Command
public static record Localization.Command.Symbol(String nullCategory, String nullPage, String header, String lineElement, String footer) extends Record implements LocalizationSetting
Since:
1.7.1

  • Constructor Details

    • Symbol

      public Symbol(String nullCategory, String nullPage, String header, String lineElement, String footer)
      Creates an instance of a Symbol record class.
      Parameters:
      nullCategory - the value for the nullCategory record component
      nullPage - the value for the nullPage record component
      header - the value for the header record component
      lineElement - the value for the lineElement record component
      footer - the value for the footer record component

  • Method Details

    • builder

      public static Localization.Command.Symbol.SymbolBuilder builder()

    • toBuilder

      public Localization.Command.Symbol.SymbolBuilder toBuilder()

    • withNullCategory

      public Localization.Command.Symbol withNullCategory(String nullCategory)
      Returns:
      a clone of this object, except with this updated property (returns this if an identical value is passed).

    • withNullPage

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

    • withLineElement

      public Localization.Command.Symbol withLineElement(String lineElement)
      Returns:
      a clone of this object, except with this updated property (returns this if an identical value is passed).

    • withFooter

      public Localization.Command.Symbol 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.

    • nullCategory

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

    • 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

    • lineElement

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

    • footer

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