mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-03 16:47:50 +07:00
GitOrigin-RevId: c550eb6ab73f35138a4aeb60b3ad5b4c5a0d71b3
7 lines
110 B
Java
7 lines
110 B
Java
sealed class Parent permits <caret> {}
|
|
|
|
final class Foo extends Parent {}
|
|
|
|
final class Bar extends Parent {}
|
|
|