private void readInput()
{
int n;
//int b;
int k;
if (complete)
{
throw new System.ArgumentException("Already reached EOF");
}
long available;
available = is_Renamed.Length - is_Renamed.Position;
n = (int) available; /* how much can we read without blocking? */
if (n == 0)
n = 1; /* read at least one byte (even if it blocks) */
while (len + n > buf.Length)
{
/* Ensure buffer size */
growBuffer();
}
/* Read the data. Loop to be sure that we do read 'n' bytes */
do
{
// CONVERSION PROBLEM? OPTIMIZE!!!
k = is_Renamed.Read(buf, len, n);
if (k > 0)
{
/* Some data was read */
len += k;
n -= k;
}
}
while (n > 0 && k > 0);
if (k <= 0)
{
/* we reached EOF */
complete = true;
is_Renamed.Dispose();
is_Renamed = null;
}
}
