//////////////////////////////////////////////////////////////////////////////////////////////////// /// \fn public EchoMessage(EchoNetwork network, object messageType, EchoChannel channel, string messageName, int round = 0, int logicalClock = 0): base(network, messageType, channel, messageName, round, logicalClock) /// /// \brief Constructor. /// /// \par Description. /// Construct a message from header parameters. /// /// \par Algorithm. /// /// \par Usage Notes. /// /// \author Ilanh /// \date 14/03/2017 /// /// \param network (EchoNetwork) - The network. /// \param messageType (dynamic) - Type of the message. /// \param channel (EchoChannel) - The channel. /// \param messageName (string) - Name of the message. /// \param round (Optional) (int) - The round. /// \param logicalClock (Optional) (int) - The logical clock. /// //////////////////////////////////////////////////////////////////////////////////////////////////// public EchoMessage(EchoNetwork network, object messageType, EchoChannel channel, string messageName, int round = 0, int logicalClock = 0) : base(network, messageType, channel, messageName, round, logicalClock) { }
//////////////////////////////////////////////////////////////////////////////////////////////////// /// \fn public EchoMessage(EchoMessage sourceMessage, EchoChannel sendingChannel): base(sourceMessage, sendingChannel) /// /// \brief Constructor. /// /// \par Description. /// A message that is duplicated to the source except for the channel parameters. /// /// \par Algorithm. /// /// \par Usage Notes. /// This constructor is useful when you want to forward a message to other channels /// /// \author Ilanh /// \date 14/03/2017 /// /// \param sourceMessage (EchoMessage) - Message describing the source. /// \param sendingChannel (EchoChannel) - The sending channel. //////////////////////////////////////////////////////////////////////////////////////////////////// public EchoMessage(EchoNetwork network, EchoMessage sourceMessage, EchoChannel sendingChannel) : base(network, sourceMessage, sendingChannel) { }