mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-18 20:41:22 +07:00
annotation type: error for duplicated methods (IDEA-128675)
This commit is contained in:
@@ -0,0 +1,4 @@
|
||||
@interface Example {
|
||||
<error descr="'myMethod()' is already defined in 'Example'">public String myMethod()</error>;
|
||||
<error descr="'myMethod()' is already defined in 'Example'">public int myMethod()</error>;
|
||||
}
|
||||
Reference in New Issue
Block a user