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