mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-22 14:50:53 +07:00
8 lines
171 B
Java
8 lines
171 B
Java
// "Seal class" "true"
|
|
|
|
public sealed class Main { }
|
|
|
|
non-sealed class Direct1 extends Main {}
|
|
non-sealed class Direct2 extends Main {}
|
|
|
|
class NonDirect extends Direct1 {} |