src/share/classes/com/sun/tools/javac/util/RichDiagnosticFormatter.java

changeset 1442
fcf89720ae71
parent 1415
01c9d4161882
child 1497
7aa2025bbb7b
child 1569
475eb15dfdad
equal deleted inserted replaced
1441:c78acf6c2f3e 1442:fcf89720ae71
247 CAPTURED("where.description.captured"), 247 CAPTURED("where.description.captured"),
248 /** where clause regarding an intersection type */ 248 /** where clause regarding an intersection type */
249 INTERSECTION("where.description.intersection"); 249 INTERSECTION("where.description.intersection");
250 250
251 /** resource key for this where clause kind */ 251 /** resource key for this where clause kind */
252 private String key; 252 private final String key;
253 253
254 WhereClauseKind(String key) { 254 WhereClauseKind(String key) {
255 this.key = key; 255 this.key = key;
256 } 256 }
257 257

mercurial