InputStream is = new ByteArrayInputStream( rawdata );
Header header = new Header();
header.read(rawdata, CHECKSUM_SIZE);
- is.skip(header.getSize() + CHECKSUM_SIZE);
+ long len = is.skip(header.getSize() + CHECKSUM_SIZE);
+ assert(len == header.getSize() + CHECKSUM_SIZE);
InflaterInputStream inflater = new InflaterInputStream( is );
byte[] chunk = new byte[4096];
InputStream is = new ByteArrayInputStream( rawdata );
Header header = new Header();
header.read(rawdata, CHECKSUM_SIZE*uidInstanceCount);
- is.skip(header.getSize() + CHECKSUM_SIZE*uidInstanceCount);
+ long len = is.skip(header.getSize() + CHECKSUM_SIZE*uidInstanceCount);
+ assert(len == header.getSize() + CHECKSUM_SIZE*uidInstanceCount);
NativeHeader aldus = new NativeHeader(header.bounds);
aldus.write(out);
bytesLeft -= LittleEndianConsts.SHORT_SIZE;\r
\r
if (bytesLeft > 0) {\r
- leis.skip(bytesLeft);\r
+ long len = leis.skip(bytesLeft);\r
+ assert(len == bytesLeft);\r
}\r
}\r
}\r