public void CopyHeaderFrom(System.ServiceModel.Channels.MessageHeaders collection, int headerIndex)
 {
     Contract.Requires(collection != null);
     Contract.Requires(0 <= headerIndex);
     Contract.Requires(headerIndex < collection.Count);
     Contract.Requires(collection.MessageVersion == this.MessageVersion);
 }
 public void CopyHeadersFrom(System.ServiceModel.Channels.MessageHeaders collection)
 {
     Contract.Requires(collection != null);
     Contract.Requires(collection.MessageVersion == this.MessageVersion);
 }
 public MessageHeaders(System.ServiceModel.Channels.MessageHeaders collection)
 {
     Contract.Requires(collection != null);
 }