mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-05-01 18:58:31 +07:00
4 lines
93 B
Java
4 lines
93 B
Java
// "Extend 'Parent'" "true"
|
|
sealed class Parent permits C<caret>hild {}
|
|
|
|
final class Child {} |