Example #1
0
 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
     }
   }
 }
Example #2
0
 void clear() {
   lines.clear();
   symbols.popFrame();
   symbols.pushFrame();
 }
Example #3
0
 Defs(Context context, Symbols symbols) {
   super(context, "defs", 1);
   this.symbols = symbols;
   symbols.pushFrame();
   load();
 }