public int CopyStored(StreamManipulator input, int len)
{
len = Math.Min(Math.Min(len, WINDOW_SIZE - window_filled), input.GetAvailableBytes());
int copied;
int tailLen = WINDOW_SIZE - window_end;
if (len > tailLen)
{
copied = input.CopyBytes(window, window_end, tailLen);
if (copied == tailLen)
{
copied += input.CopyBytes(window, 0, len - tailLen);
}
}
else
{
copied = input.CopyBytes(window, window_end, len);
}
window_end = (window_end + copied) & WINDOW_MASK;
window_filled += copied;
return(copied);
}
public int CopyStored(StreamManipulator input, int len)
{
len = Math.Min(Math.Min(len, WINDOW_SIZE - window_filled), input.AvailableBytes);
int copied;
int tailLen = WINDOW_SIZE - window_end;
if (len > tailLen) {
copied = input.CopyBytes(window, window_end, tailLen);
if (copied == tailLen) {
copied += input.CopyBytes(window, 0, len - tailLen);
}
} else {
copied = input.CopyBytes(window, window_end, len);
}
window_end = (window_end + copied) & WINDOW_MASK;
window_filled += copied;
return copied;
}
