public int ReadInt32()
{
int i, j;
this.bufferedBits = 0;
i = this.InputStream.ReadByte();
i |= this.InputStream.ReadByte() << 8;
i |= this.InputStream.ReadByte() << 16;
j = this.InputStream.ReadByte();
if ((i < 0) || (j < 0))
{
throw new SWFModellerException(
SWFModellerError.ABCParsing,
"Unexpected end of stream");
}
this.Offset += 4;
return i | (j << 24);
}