mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-26 03:51:12 +07:00
19 lines
533 B
Java
19 lines
533 B
Java
interface Editor {}
|
|
interface EditorEx extends Editor {
|
|
MarkupModelEx getMarkupModel();
|
|
}
|
|
interface MarkupModelEx {}
|
|
|
|
class Test {
|
|
void m(Editor editor) {
|
|
((EditorEx)editor).getMarkupModel();
|
|
((EditorEx)editor).getMarkupModel();
|
|
((EditorEx)editor).getMarkupModel();
|
|
((EditorEx)editor).getMarkupModel();
|
|
((EditorEx)editor).getMarkupModel();
|
|
((EditorEx)editor).getMarkupModel();
|
|
((EditorEx)editor).getMarkupModel();
|
|
((EditorEx)editor).getMarkupModel();
|
|
((EditorEx)editor).getMarkupModel();
|
|
}
|
|
} |