Class PartitionInfo


  • public class PartitionInfo
    extends java.lang.Object
    Contains information about a database partition.
    • Constructor Summary

      Constructors 
      Constructor Description
      PartitionInfo​(PartitionId partitionId, long term, java.util.List<java.lang.String> members, java.lang.String leader)
      Class constructor.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method 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.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • PartitionInfo

        public PartitionInfo​(PartitionId partitionId,
                             long term,
                             java.util.List<java.lang.String> members,
                             java.lang.String leader)
        Class constructor.
        Parameters:
        partitionId - partition identifier
        term - term number
        members - partition members
        leader - leader name
    • Method Detail

      • id

        public PartitionId id()
        Returns the partition ID.
        Returns:
        partition ID
      • term

        public long term()
        Returns the term number.
        Returns:
        term number
      • members

        public java.util.List<java.lang.String> members()
        Returns the list of partition members.
        Returns:
        partition members
      • leader

        public java.lang.String leader()
        Returns the partition leader.
        Returns:
        partition leader