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()