mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-31 15:53:38 +07:00
Review ID: IDEA-CR-63039 GitOrigin-RevId: 378ecb574a8228992f4cdfa398cc0cacb95e52dd
18 lines
306 B
Java
18 lines
306 B
Java
package org.eclipse.jdt.annotation;
|
|
|
|
import java.lang.annotation.*;
|
|
|
|
@interface NonNullByDefault {}
|
|
@Target(ElementType.TYPE_USE)
|
|
@interface NonNull {}
|
|
|
|
@NonNullByDefault
|
|
class X {
|
|
void test() {
|
|
<selection>Y.getFoo()</selection>;
|
|
}
|
|
}
|
|
|
|
class Y {
|
|
static @NonNull String getFoo() { return null; }
|
|
} |