public override string ReadToEnd()
{
if (base_stream == null)
throw new ObjectDisposedException ("StreamReader", "Cannot read from a closed StreamReader");
StringBuilder text = new StringBuilder ();
int size = decoded_buffer.Length;
char [] buffer = new char [size];
int len;
while ((len = Read (buffer, 0, size)) != 0)
text.Append (buffer, 0, len);
return text.ToString ();
}
}