@Override public void readExternal(ObjectInput objectInput) throws IOException, ClassNotFoundException { this.fEvalFlags = objectInput.readShort(); int size; byte attributeFlags = objectInput.readByte(); if (attributeFlags != 0) { size = attributeFlags; int exprIDSize = objectInput.readByte(); for (int i = 0; i < exprIDSize; i++) { set(i, F.GLOBAL_IDS[objectInput.readShort()]); } for (int i = exprIDSize; i < size; i++) { set(i, (IExpr) objectInput.readObject()); } return; } size = objectInput.readInt(); for (int i = 0; i < size; i++) { set(i, (IExpr) objectInput.readObject()); } }