MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

[java] JavaFeature.ASSERTIONS: fix message

Browse Source 
GitOrigin-RevId: da0d1c46b9b85eeed5b3ef8d717901de3f150cd3
This commit is contained in:
Tagir Valeev
2024-02-15 17:28:31 +00:00
committed by intellij-monorepo-bot
parent 92ac3066cb
commit f598e81a95
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/java-frontback-psi-api/src/com/intellij/pom/java/JavaFeature.java
+1 -1
View File
@@ -13,7 +13,7 @@ import java.util.Set;
* whether a particular features is available in a given context
*/
public enum JavaFeature {
ASSERTIONS(LanguageLevel.JDK_1_4, "feature.generics"),
ASSERTIONS(LanguageLevel.JDK_1_4, "feature.assertions"),
ENUMS(LanguageLevel.JDK_1_5, "feature.enums"),
GENERICS(LanguageLevel.JDK_1_5, "feature.generics"),
ANNOTATIONS(LanguageLevel.JDK_1_5, "feature.annotations"),
java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting/OverrideAtLanguageLevel5.java
+2 -2
View File
@@ -2,11 +2,11 @@ interface I {
void f();
}
interface II extends I {
<error descr="@Override is not allowed when implementing interface method">@Override</error>
<error descr="@Override in interfaces are not supported at language level '5'">@Override</error>
void f();
}
class C implements I {
<error descr="@Override is not allowed when implementing interface method">@Override</error>
<error descr="@Override in interfaces are not supported at language level '5'">@Override</error>
public void f() {
}