mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-30 21:57:41 +07:00
GitOrigin-RevId: 1b2c6f68d91e519736787f8cfbd9e8be57a7ead0
9 lines
279 B
Java
9 lines
279 B
Java
sealed interface GrandParent1 permits Parent, A {}
|
|
|
|
sealed class GrandParent2 permits Parent {}
|
|
|
|
sealed class <caret>Parent extends GrandParent2 implements GrandParent1 permits A, B {}
|
|
|
|
non-sealed class A extends Parent implements GrandParent1 {}
|
|
|
|
final class B extends Parent {} |