168 public final Name T; |
168 public final Name T; |
169 public final Name deprecated; |
169 public final Name deprecated; |
170 public final Name ex; |
170 public final Name ex; |
171 public final Name package_info; |
171 public final Name package_info; |
172 |
172 |
|
173 //lambda-related |
|
174 public final Name lambda; |
|
175 public final Name metaFactory; |
|
176 |
173 public final Name.Table table; |
177 public final Name.Table table; |
174 |
178 |
175 public Names(Context context) { |
179 public Names(Context context) { |
176 Options options = Options.instance(context); |
180 Options options = Options.instance(context); |
177 table = createTable(options); |
181 table = createTable(options); |
296 // other identifiers |
300 // other identifiers |
297 T = fromString("T"); |
301 T = fromString("T"); |
298 deprecated = fromString("deprecated"); |
302 deprecated = fromString("deprecated"); |
299 ex = fromString("ex"); |
303 ex = fromString("ex"); |
300 package_info = fromString("package-info"); |
304 package_info = fromString("package-info"); |
|
305 |
|
306 //lambda-related |
|
307 lambda = fromString("lambda"); |
|
308 metaFactory = fromString("metaFactory"); |
301 } |
309 } |
302 |
310 |
303 protected Name.Table createTable(Options options) { |
311 protected Name.Table createTable(Options options) { |
304 boolean useUnsharedTable = options.isSet("useUnsharedTable"); |
312 boolean useUnsharedTable = options.isSet("useUnsharedTable"); |
305 if (useUnsharedTable) |
313 if (useUnsharedTable) |