Record Class Localization.Time

java.lang.Object

java.lang.Record

net.flectone.pulse.config.Localization.Time

Enclosing class:

Localization

public static record Localization.Time(String format, String permanent, String zero)
extends Record

Since:

1.7.1

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	Localization.Time.TimeBuilder

Constructor Summary

Constructors

Constructor	Description
Time(String format, String permanent, String zero)	Creates an instance of a Time record class.

Method Summary

Modifier and Type	Method	Description
static Localization.Time.TimeBuilder	builder()
final boolean	equals(Object o)	Indicates whether some other object is "equal to" this one.
String	format()	Returns the value of the format record component.
final int	hashCode()	Returns a hash code value for this object.
String	permanent()	Returns the value of the permanent record component.
Localization.Time.TimeBuilder	toBuilder()
final String	toString()	Returns a string representation of this record class.
Localization.Time	withFormat(String format)
Localization.Time	withPermanent(String permanent)
Localization.Time	withZero(String zero)
String	zero()	Returns the value of the zero record component.

Methods inherited from class Object

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

Constructor Details

Time

public Time(String format,
 String permanent,
 String zero)

Creates an instance of a Time record class.

Parameters:

format - the value for the format record component

permanent - the value for the permanent record component

zero - the value for the zero record component

Method Details

builder

public static Localization.Time.TimeBuilder builder()

toBuilder

public Localization.Time.TimeBuilder toBuilder()

withFormat

public Localization.Time withFormat(String format)

Returns:

a clone of this object, except with this updated property (returns this if an identical value is passed).

withPermanent

public Localization.Time withPermanent(String permanent)

Returns:

a clone of this object, except with this updated property (returns this if an identical value is passed).

withZero

public Localization.Time withZero(String zero)

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.

format

public String format()

Returns the value of the format record component.

Returns:

the value of the format record component

permanent

public String permanent()

Returns the value of the permanent record component.

Returns:

the value of the permanent record component

zero

public String zero()

Returns the value of the zero record component.

Returns:

the value of the zero record component