Record Class TaskLease

java.lang.Object

java.lang.Record

org.j7m.middleware.workload.api.TaskLease

Record Components:

taskId - task id

owner - lease owner

leaseUntil - expiration instant

fencingToken - fencing token proving the ownership generation

public record TaskLease(TaskId taskId, LeaseOwner owner, Instant leaseUntil, FencingToken fencingToken)
extends Record

Current lease ownership for a workload task.

Constructor Summary

Constructors

Constructor	Description
TaskLease(TaskId taskId, LeaseOwner owner, Instant leaseUntil, FencingToken fencingToken)	Creates validated lease fields.

Method Summary

Modifier and Type	Method	Description
final boolean	equals(Object o)	Indicates whether some other object is "equal to" this one.
FencingToken	fencingToken()	Returns the value of the fencingToken record component.
final int	hashCode()	Returns a hash code value for this object.
boolean	isLiveAt(Instant now)	Returns whether the lease is valid at the supplied instant.
Instant	leaseUntil()	Returns the value of the leaseUntil record component.
LeaseOwner	owner()	Returns the value of the owner record component.
TaskId	taskId()	Returns the value of the taskId record component.
final String	toString()	Returns a string representation of this record class.

Methods inherited from class Object

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

Constructor Details

TaskLease

public TaskLease(TaskId taskId,
 LeaseOwner owner,
 Instant leaseUntil,
 FencingToken fencingToken)

Creates validated lease fields.

Method Details

isLiveAt

public boolean isLiveAt(Instant now)

Returns whether the lease is valid at the supplied instant.

Parameters:

now - comparison instant

Returns:

true when not expired

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.

taskId

public TaskId taskId()

Returns the value of the taskId record component.

Returns:

the value of the taskId record component

owner

public LeaseOwner owner()

Returns the value of the owner record component.

Returns:

the value of the owner record component

leaseUntil

public Instant leaseUntil()

Returns the value of the leaseUntil record component.

Returns:

the value of the leaseUntil record component

fencingToken

public FencingToken fencingToken()

Returns the value of the fencingToken record component.

Returns:

the value of the fencingToken record component