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