Record Class Localization.Message.DeprecatedObjective.Tabname

java.lang.Object
java.lang.Record
net.flectone.pulse.config.Localization.Message.DeprecatedObjective.Tabname
All Implemented Interfaces:
LocalizationSetting
Enclosing class:
Localization.Message.DeprecatedObjective

@Deprecated(forRemoval=true) public static record Localization.Message.DeprecatedObjective.Tabname(String score, String displayFormat, String scoreFormat) extends Record implements LocalizationSetting
Deprecated, for removal: This API element is subject to removal in a future version.
Since:
1.7.1
  • Constructor Details

    • Tabname

      public Tabname(String score, String displayFormat, String scoreFormat)
      Deprecated, for removal: This API element is subject to removal in a future version.
      Creates an instance of a Tabname record class.
      Parameters:
      score - the value for the score record component
      displayFormat - the value for the displayFormat record component
      scoreFormat - the value for the scoreFormat record component
  • Method Details

    • builder

      Deprecated, for removal: This API element is subject to removal in a future version.
    • toBuilder

      Deprecated, for removal: This API element is subject to removal in a future version.
    • withScore

      Deprecated, for removal: This API element is subject to removal in a future version.
      Returns:
      a clone of this object, except with this updated property (returns this if an identical value is passed).
    • withDisplayFormat

      public Localization.Message.DeprecatedObjective.Tabname withDisplayFormat(String displayFormat)
      Deprecated, for removal: This API element is subject to removal in a future version.
      Returns:
      a clone of this object, except with this updated property (returns this if an identical value is passed).
    • withScoreFormat

      public Localization.Message.DeprecatedObjective.Tabname withScoreFormat(String scoreFormat)
      Deprecated, for removal: This API element is subject to removal in a future version.
      Returns:
      a clone of this object, except with this updated property (returns this if an identical value is passed).
    • toString

      public final String toString()
      Deprecated, for removal: This API element is subject to removal in a future version.
      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()
      Deprecated, for removal: This API element is subject to removal in a future version.
      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)
      Deprecated, for removal: This API element is subject to removal in a future version.
      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.
    • score

      public String score()
      Deprecated, for removal: This API element is subject to removal in a future version.
      Returns the value of the score record component.
      Returns:
      the value of the score record component
    • displayFormat

      public String displayFormat()
      Deprecated, for removal: This API element is subject to removal in a future version.
      Returns the value of the displayFormat record component.
      Returns:
      the value of the displayFormat record component
    • scoreFormat

      public String scoreFormat()
      Deprecated, for removal: This API element is subject to removal in a future version.
      Returns the value of the scoreFormat record component.
      Returns:
      the value of the scoreFormat record component