private void processHeader(SWFHeader header) {
document.setFrameRate(header.getFrameRate());
document.setFrameSize(header.getFrameSize());
document.setVersion(header.getVersion());
document.setFileLength(header.getFileLength());
document.setFrameCount(header.getFrameCount());
document.setCompressed(header.isCompressed());
for (SWFListener l : listeners) {
l.processHeader(header);
}
}
