void doRead(DataInputStream is) throws IOException {
int size = is.readInt();
for (int i = 0; i < size; ++i) {
String line = is.readUTF();
lines.add(line);
try {
symbols.define(symbols.compileWithName(line));
} catch (SyntaxException e) {
// ignore
}
}
}
void clear() {
lines.clear();
symbols.popFrame();
symbols.pushFrame();
}
Defs(Context context, Symbols symbols) {
super(context, "defs", 1);
this.symbols = symbols;
symbols.pushFrame();
load();
}