public static final class ClusterEvent.RoleLeaderChanged extends java.lang.Object implements ClusterEvent.ClusterDomainEvent, scala.Product, scala.Serializable
Constructor and Description |
---|
RoleLeaderChanged(java.lang.String role,
scala.Option<Address> leader) |
Modifier and Type | Method and Description |
---|---|
Address |
getLeader()
Java API
|
scala.Option<Address> |
leader() |
java.lang.String |
role() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public RoleLeaderChanged(java.lang.String role, scala.Option<Address> leader)