| // Test annotation on Enum.name() | |
| // Test case for Issue 1402: | |
| // https://github.com/typetools/checker-framework/issues/1402 | |
| public enum Issue1402EnumName { | |
| TEST_ONE("abc"), | |
| TEST_TWO("def"); | |
| private final String newName; | |
| Issue1402EnumName(String customData) { | |
| this.newName = name(); | |
| } | |
| } |