mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-07-12 01:00:49 +07:00
91f7445298
GitOrigin-RevId: e836468e05db28157713e9edd3c70382f8ecdebc
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[]{});
|
|
}
|
|
} |