Package it.unitn.disi.ds1.qtop

Record Class Utils.Election

java.lang.Object

java.lang.Record

it.unitn.disi.ds1.qtop.Utils.Election

Record Components:

highestEpoch - highest epoch known

highestIteration - highest iteration known

bestCandidateId - node that have that EpochPair

All Implemented Interfaces:

Serializable

Enclosing class:

Utils

public static record Utils.Election(int highestEpoch, int highestIteration, int bestCandidateId)
extends Record
implements Serializable

Message to send election data

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
Election(int highestEpoch, int highestIteration, int bestCandidateId)	Creates an instance of a Election record class.

Method Summary

Modifier and Type	Method	Description
int	bestCandidateId()	Returns the value of the bestCandidateId record component.
final boolean	equals(Object o)	Indicates whether some other object is "equal to" this one.
final int	hashCode()	Returns a hash code value for this object.
int	highestEpoch()	Returns the value of the highestEpoch record component.
int	highestIteration()	Returns the value of the highestIteration record component.
boolean	isBetterThanLocalData(int nodeId, @NotNull Utils.EpochPair ep)	Check if the data received is better than the local data.
final String	toString()	Returns a string representation of this record class.

Methods inherited from class java.lang.Object

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

Constructor Details

Election

public Election(int highestEpoch,
 int highestIteration,
 int bestCandidateId)

Creates an instance of a Election record class.

Parameters:

highestEpoch - the value for the highestEpoch record component

highestIteration - the value for the highestIteration record component

bestCandidateId - the value for the bestCandidateId record component

Method Details

isBetterThanLocalData

public boolean isBetterThanLocalData(int nodeId,
 @NotNull
 @NotNull Utils.EpochPair ep)

Check if the data received is better than the local data.

Parameters:

nodeId - the id of the node that sent the data

ep - the EpochPair received

Returns:

true if the data received is greater than the local data

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 '=='.

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.

highestEpoch

public int highestEpoch()

Returns the value of the highestEpoch record component.

Returns:

the value of the highestEpoch record component

highestIteration

public int highestIteration()

Returns the value of the highestIteration record component.

Returns:

the value of the highestIteration record component

bestCandidateId

public int bestCandidateId()

Returns the value of the bestCandidateId record component.

Returns:

the value of the bestCandidateId record component