| changeset 59285 | 7799a51dbe30 |
| parent 59021 | cfc7bb9a5a92 |
| 59284:88502b1cf76f | 59285:7799a51dbe30 |
|---|---|
52 public Feature feature(); |
52 public Feature feature(); |
53 |
53 |
54 public boolean essentialAPI() default false; |
54 public boolean essentialAPI() default false; |
55 |
55 |
56 public enum Feature { |
56 public enum Feature { |
57 TEXT_BLOCKS; |
57 PATTERN_MATCHING_IN_INSTANCEOF, |
58 TEXT_BLOCKS, |
|
59 ; |
|
58 } |
60 } |
59 } |
61 } |