/// <summary>
/// Contract specification.
/// </summary>
/// <param name="message">Must not be null.</param>
/// <param name="timestamp">No contract.</param>
void IMidiMessageReceiver.LongMessage(MidiLongMessage message, long timestamp)
{
Contract.Requires(message != null);
throw new NotImplementedException();
}
/// <summary>
/// Contract specification.
/// </summary>
/// <param name="message">Must not be null.</param>
void IMidiMessageSender.Send(MidiLongMessage message)
{
Contract.Requires(message != null);
throw new NotImplementedException();
}