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 |