private void ReadFully(byte[] b, int o, int len)
{
do
{
int read = this.InputStream.Read(b, o, len);
if (read == -1 || (read == 0 && this.InputStream.Position >= this.InputStream.Length))
{
throw new SWFModellerException(
SWFModellerError.ABCParsing,
"EOF in byte block");
}
len -= read;
o += read;
}
while (len > 0);
}