mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-20 20:20:56 +07:00
This commit reverts 65a557bb38f6ac03afa9aabaf02cb8d99fc68a91
3f5cfd958d9b6b54393c15983ac94f519c37fe61
GitOrigin-RevId: 8fb8ccbb17d0e217a83f265c185a943b0f5a7ed6
14 lines
233 B
Java
14 lines
233 B
Java
interface A {
|
|
void enableInspections(B... providers);
|
|
void enableInspections(Runnable r, String... inspections);
|
|
}
|
|
|
|
interface B {
|
|
Class[] get();
|
|
}
|
|
|
|
class C {
|
|
void foo(A a) {
|
|
a.enableInspections(() -> new Class[]{});
|
|
}
|
|
} |