/*
 * RandomCounter.idl
 *
 * Created on 18th June 2002
 */


#ifndef MESSAGE_RANDOM_COUNTER
#define MESSAGE_RANDOM_COUNTER

#include "GroupMembershipService.idl"
#include "GroupMembershipNamingService.idl"

module senseiTests
{

  module randomCounter
  {

    module corba
    {

      //External definition
      interface RandomCounterServer : sensei::middleware::gmns::ReplicatedServer
      {
        long getNumber();
      };

      //Internal definition
      valuetype RandomCounterMessage : sensei::middleware::gms::Message
      {
        public long randomNumber;
        public long messageId;
      };

    };
  };
};

#endif