lib.easyjava.net.replication.multipaxos.message

Class ProposeDenial

java.lang.Object

lib.easyjava.net.replication.multipaxos.message.PaxosMessage

lib.easyjava.net.replication.multipaxos.message.ProposeDenial

All Implemented Interfaces:

java.io.Serializable, PaxosMessage.Denial, PaxosMessage.ProposeResponse

public class ProposeDenial
extends PaxosMessage
implements PaxosMessage.Denial, PaxosMessage.ProposeResponse

A denial of a proposal, voting that the proposing node not be elected leader.

Author:

Rob Rua (robrua@alumni.cmu.edu)

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class lib.easyjava.net.replication.multipaxos.message.PaxosMessage

PaxosMessage.Acceptance, PaxosMessage.AcceptResponse, PaxosMessage.Denial, PaxosMessage.ProposeResponse, PaxosMessage.Request

Field Summary

Fields

Modifier and Type	Field and Description
long	highestSeenProposalNumber

Fields inherited from class lib.easyjava.net.replication.multipaxos.message.PaxosMessage

commandSlot, proposalNumber, sourceNodeID

Constructor Summary

Constructors

Constructor and Description
ProposeDenial(int sourceNodeID, long commandSlot, long proposalNumber, long highestSeenProposalNumber)

Method Summary

Modifier and Type	Method and Description
java.lang.String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

highestSeenProposalNumber

public final long highestSeenProposalNumber

Constructor Detail

ProposeDenial

public ProposeDenial(int sourceNodeID,
                     long commandSlot,
                     long proposalNumber,
                     long highestSeenProposalNumber)

Parameters:

sourceNodeID - the ID of the node sending this denial

commandSlot - the command slot this is a denial for

proposalNumber - the proposal number this is a denial for

highestSeenProposalNumber - the highest proposal number that the source node has seen for this command slot

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class PaxosMessage