lib.easyjava.net.replication.multipaxos.message

Class AcceptDenial

java.lang.Object

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

lib.easyjava.net.replication.multipaxos.message.AcceptDenial

All Implemented Interfaces:

java.io.Serializable, PaxosMessage.AcceptResponse, PaxosMessage.Denial

public class AcceptDenial
extends PaxosMessage
implements PaxosMessage.Denial, PaxosMessage.AcceptResponse

A negative response to an accept request, voting that the proposed value not be accepted by the cluster.

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
AcceptDenial(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

AcceptDenial

public AcceptDenial(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 the denying node has seen so far in this command slot

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class PaxosMessage