}
public void readLiteralSection() throws IOException {
if (log.isLoggable(Level.FINE)) log.fine("readLiteralSection");
final byte[] buf = in.read_size_and_inflate();
final EInputStream is = new EInputStream(buf);
int nLiterals = is.read4BE();
if (log.isLoggable(Level.FINE)) log.fine("Number of literals: "+nLiterals);
literals = new EObject[nLiterals];
for (int i=0; i<nLiterals; i++) {
int lit_length = is.read4BE();
int pos_before_lit = is.getPos();
literals[i] = is.read_any();
if (log.isLoggable(Level.FINE)) log.fine("- #"+i+": "+literals[i]);
int pos_after_lit = is.getPos();
assert(pos_after_lit == pos_before_lit + lit_length);
}
}