---

MessageVerifier.h

/*
 * Copyright 2003 Michael A. Marsh, Cornell University. All rights reserved.
 * This software is released under the modified BSD license.
 * See the file LICENSE in the top-level directory for details.
 */
//
// $Id: MessageVerifier.h,v 1.3 2004/05/19 15:56:24 mmarsh Exp $
//
// $Log: MessageVerifier.h,v $
// Revision 1.3  2004/05/19 15:56:24  mmarsh
// Added copyright and license statements.
//
// Revision 1.2  2003/11/04 22:31:45  mmarsh
// *** empty log message ***
//
//

#ifndef __CODEX_APSS_MESSAGEVERIFIER_H__
#define __CODEX_APSS_MESSAGEVERIFIER_H__

#include "RoutedMessageHandler.h"
#include "CODEX_Server/ServerResponseHandler.h"

namespace CODEX_APSS
{
   class MessageVerifier : public RoutedMessageHandler
   {
      public :
         MessageVerifier( CODEX_Events::DeadPileType& deadPile,
                          CODEX_Events::QType& eventQueue,
                          RoutedMessageHandler* destination,
                          CODEX_Server::ServerResponseHandler* responder );

         virtual ~MessageVerifier();

         bool handler( RoutedMessageEvent< SignedInitMsg >& event );

         bool handler( RoutedMessageEvent< SignedEstablishMsg >& event );

         bool handler( RoutedMessageEvent< SignedComputeMsg >& event );

         bool handler( RoutedMessageEvent< SignedRecoverMsg >& event );

         bool handler( RoutedMessageEvent< SignedFinishedMsg >& event );

      private :
         RoutedMessageHandler*                 m_destination;
         CODEX_Server::ServerResponseHandler*  m_responder;
   };

}

#endif /* __CODEX_APSS_MESSAGEVERIFIER_H__ */

---