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