public static int Write(GzipWriter /*!*/ self, [NotNull] MutableString /*!*/ val)
{
var stream = self.GetStream();
// TODO: this can be optimized (add MutableString.WriteTo(Stream))
var buffer = val.ToByteArray();
stream.Write(buffer, 0, buffer.Length);
return(buffer.Length);
}
public static int Write(GzipWriter/*!*/ self, [NotNull]MutableString/*!*/ val)
{
var stream = self.GetStream();
// TODO: this can be optimized (add MutableString.WriteTo(Stream))
var buffer = val.ToByteArray();
stream.Write(buffer, 0, buffer.Length);
return buffer.Length;
}