protected void ReadContents()
{
// read GIF file content blocks
bool done = false;
while (!done) {
int code = inp.ReadByte();
switch (code) {
case 0x2C: // image separator
ReadImage();
break;
case 0x21: // extension
code = inp.ReadByte();
switch (code) {
case 0xf9: // graphics control extension
ReadGraphicControlExt();
break;
case 0xff: // application extension
ReadBlock();
Skip(); // don't care
break;
default: // uninteresting extension
Skip();
break;
}
break;
default:
done = true;
break;
}
}
}