public class PartitionInfo
extends java.lang.Object
Constructor and Description |
---|
PartitionInfo(PartitionId partitionId,
long term,
java.util.List<java.lang.String> members,
java.lang.String leader)
Class constructor.
|
Modifier and Type | Method and Description |
---|---|
PartitionId |
id()
Returns the partition ID.
|
java.lang.String |
leader()
Returns the partition leader.
|
java.util.List<java.lang.String> |
members()
Returns the list of partition members.
|
long |
term()
Returns the term number.
|
public PartitionInfo(PartitionId partitionId, long term, java.util.List<java.lang.String> members, java.lang.String leader)
partitionId
- partition identifierterm
- term numbermembers
- partition membersleader
- leader namepublic PartitionId id()
public long term()
public java.util.List<java.lang.String> members()
public java.lang.String leader()