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