Example #1
0
        /// <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();
        }
Example #2
0
        /// <summary>
        /// Contract specification.
        /// </summary>
        /// <param name="message">Must not be null.</param>
        void IMidiMessageSender.Send(MidiLongMessage message)
        {
            Contract.Requires(message != null);

            throw new NotImplementedException();
        }