Files
2017-09-25 12:32:08 +03:00

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();
}
}