////////////////////////////////////////////////////////////////////////////////////////////////////
/// \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)
{
}
