Record Class Config.Database
java.lang.Object
java.lang.Record
net.flectone.pulse.config.Config.Database
- Enclosing class:
Config
-
Nested Class Summary
Nested ClassesModifier and TypeClassDescriptionstatic classstatic final record -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionbuilder()final booleanIndicates whether some other object is "equal to" this one.final inthashCode()Returns a hash code value for this object.host()Returns the value of thehostrecord component.name()Returns the value of thenamerecord component.Returns the value of theparametersrecord component.password()Returns the value of thepasswordrecord component.Returns the value of thepoolSettingsrecord component.port()Returns the value of theportrecord component.prefix()Returns the value of theprefixrecord component.final StringtoString()Returns a string representation of this record class.type()Returns the value of thetyperecord component.Returns the value of theusePlaytimeTrackingrecord component.user()Returns the value of theuserrecord component.withParameters(String parameters) withPassword(String password) withPoolSettings(Config.Database.PoolSettings poolSettings) withPrefix(String prefix) withType(DatabaseType type) withUsePlaytimeTracking(Boolean usePlaytimeTracking)
-
Constructor Details
-
Database
public Database(Boolean usePlaytimeTracking, DatabaseType type, String name, String host, String port, String user, String password, String parameters, String prefix, Config.Database.PoolSettings poolSettings) Creates an instance of aDatabaserecord class.- Parameters:
usePlaytimeTracking- the value for theusePlaytimeTrackingrecord componenttype- the value for thetyperecord componentname- the value for thenamerecord componenthost- the value for thehostrecord componentport- the value for theportrecord componentuser- the value for theuserrecord componentpassword- the value for thepasswordrecord componentparameters- the value for theparametersrecord componentprefix- the value for theprefixrecord componentpoolSettings- the value for thepoolSettingsrecord component
-
-
Method Details
-
builder
-
toBuilder
-
withUsePlaytimeTracking
- Returns:
- a clone of this object, except with this updated property (returns
thisif an identical value is passed).
-
withType
- Returns:
- a clone of this object, except with this updated property (returns
thisif an identical value is passed).
-
withName
- Returns:
- a clone of this object, except with this updated property (returns
thisif an identical value is passed).
-
withHost
- Returns:
- a clone of this object, except with this updated property (returns
thisif an identical value is passed).
-
withPort
- Returns:
- a clone of this object, except with this updated property (returns
thisif an identical value is passed).
-
withUser
- Returns:
- a clone of this object, except with this updated property (returns
thisif an identical value is passed).
-
withPassword
- Returns:
- a clone of this object, except with this updated property (returns
thisif an identical value is passed).
-
withParameters
- Returns:
- a clone of this object, except with this updated property (returns
thisif an identical value is passed).
-
withPrefix
- Returns:
- a clone of this object, except with this updated property (returns
thisif an identical value is passed).
-
withPoolSettings
- Returns:
- a clone of this object, except with this updated property (returns
thisif an identical value is passed).
-
toString
-
hashCode
-
equals
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 withObjects::equals(Object,Object). -
usePlaytimeTracking
Returns the value of theusePlaytimeTrackingrecord component.- Returns:
- the value of the
usePlaytimeTrackingrecord component
-
type
Returns the value of thetyperecord component.- Returns:
- the value of the
typerecord component
-
name
Returns the value of thenamerecord component.- Returns:
- the value of the
namerecord component
-
host
Returns the value of thehostrecord component.- Returns:
- the value of the
hostrecord component
-
port
Returns the value of theportrecord component.- Returns:
- the value of the
portrecord component
-
user
Returns the value of theuserrecord component.- Returns:
- the value of the
userrecord component
-
password
Returns the value of thepasswordrecord component.- Returns:
- the value of the
passwordrecord component
-
parameters
Returns the value of theparametersrecord component.- Returns:
- the value of the
parametersrecord component
-
prefix
Returns the value of theprefixrecord component.- Returns:
- the value of the
prefixrecord component
-
poolSettings
Returns the value of thepoolSettingsrecord component.- Returns:
- the value of the
poolSettingsrecord component
-