mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
[java] define "permits list" element kind (IDEA-350501)
GitOrigin-RevId: bd1126512effdbf9e202d7cb68c5ab15ad78d761
This commit is contained in:
committed by
intellij-monorepo-bot
parent
0accf501fe
commit
e39319e784
@@ -47,6 +47,7 @@ element.unknown=element
|
||||
element.variable=variable
|
||||
element.throws.list=throws list
|
||||
element.extends.list=extends list
|
||||
element.permits.list=permits list
|
||||
element.type.arguments=type arguments
|
||||
element.type.semicolon=semicolon
|
||||
element.receiver.parameter=receiver parameter
|
||||
|
||||
@@ -35,6 +35,7 @@ public enum JavaElementKind {
|
||||
PACKAGE_STATEMENT("element.package.statement"),
|
||||
PARAMETER("element.parameter"),
|
||||
PATTERN_VARIABLE("element.pattern_variable"),
|
||||
PERMITS_LIST("element.permits.list"),
|
||||
RECEIVER_PARAMETER("element.receiver.parameter"),
|
||||
RECORD("element.record"),
|
||||
RECORD_COMPONENT("element.record_component"),
|
||||
@@ -144,9 +145,12 @@ public enum JavaElementKind {
|
||||
if (role == PsiReferenceList.Role.THROWS_LIST) {
|
||||
return THROWS_LIST;
|
||||
}
|
||||
if (role == PsiReferenceList.Role.EXTENDS_LIST) {
|
||||
else if (role == PsiReferenceList.Role.EXTENDS_LIST) {
|
||||
return EXTENDS_LIST;
|
||||
}
|
||||
else if (role == PsiReferenceList.Role.PERMITS_LIST) {
|
||||
return PERMITS_LIST;
|
||||
}
|
||||
}
|
||||
if (element instanceof PsiAnnotation) {
|
||||
return ANNOTATION;
|
||||
|
||||
Reference in New Issue
Block a user