Class PartitionInfo


  • public class PartitionInfo
    extends Object
    Contains information about a database partition.
    • Constructor Detail

      • PartitionInfo

        public PartitionInfo​(PartitionId partitionId,
                             long term,
                             List<String> members,
                             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 List<String> members()
        Returns the list of partition members.
        Returns:
        partition members
      • leader

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