mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-05-05 04:40:28 +07:00
annotation interfaces: highlight methods which override public/protected methods of Object/Annotation (9.6.1. Annotation Type Elements)
This commit is contained in:
@@ -0,0 +1,9 @@
|
||||
@interface A1 {
|
||||
String <error descr="@interface member clashes with 'toString()' in java.lang.Object">toString</error>();
|
||||
Class <error descr="@interface member clashes with 'annotationType()' in java.lang.annotation.Annotation">annotationType</error>();
|
||||
int value();
|
||||
boolean equals();
|
||||
<error descr="Invalid type for annotation member">void</error> <error descr="@interface member clashes with 'finalize()' in java.lang.Object">finalize</error>();
|
||||
<error descr="Invalid type for annotation member">void</error> registerNatives();
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user