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