def recv_promise(self, from_uid, proposal_id, prev_accepted_id, prev_accepted_value): if prev_accepted_id is not None: prev_accepted_id = essential.ProposalID(prev_accepted_id.number, prev_accepted_id.uid) self.receivePromise( from_uid, essential.ProposalID(proposal_id.number, proposal_id.uid), prev_accepted_id, prev_accepted_value)
def recv_accept_request(self, from_uid, proposal_id, value): self.receiveAcceptRequest( from_uid, essential.ProposalID(proposal_id.number, proposal_id.uid), value)
def recv_prepare(self, from_uid, proposal_id): self.receivePrepare( from_uid, essential.ProposalID(proposal_id.number, proposal_id.uid))
def recv_accepted(self, from_uid, proposal_id, accepted_value): self.receiveAccepted( from_uid, essential.ProposalID(proposal_id.number, proposal_id.uid), accepted_value)
def JPID(pid): return essential.ProposalID(pid.number, pid.uid) if pid is not None else None