| public final class Derived /* Derived*/ implements Base { | |
| @org.jetbrains.annotations.NotNull() | |
| public java.lang.String baz(@org.jetbrains.annotations.NotNull() java.lang.String);// baz(java.lang.String) | |
| public Derived(@org.jetbrains.annotations.NotNull() Base);// .ctor(Base) | |
| } |