/// <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(); }