equal
deleted
inserted
replaced
299 operatorNames.add(opName); |
299 operatorNames.add(opName); |
300 return opName; |
300 return opName; |
301 } |
301 } |
302 |
302 |
303 /** Enter a class into symbol table. |
303 /** Enter a class into symbol table. |
304 * @param The name of the class. |
304 * @param s The name of the class. |
305 */ |
305 */ |
306 private Type enterClass(String s) { |
306 private Type enterClass(String s) { |
307 return reader.enterClass(names.fromString(s)).type; |
307 return reader.enterClass(names.fromString(s)).type; |
308 } |
308 } |
309 |
309 |