Generate @NotNull annotations on delegated functions

This commit is contained in:
Andrey Breslav
2014-05-25 12:32:03 +02:00
parent afca70eb41
commit 8e4954ab67
10 changed files with 137 additions and 61 deletions
@@ -0,0 +1,7 @@
public final class Derived implements kotlin.jvm.internal.KObject, Base {
@org.jetbrains.annotations.NotNull
public Derived(@org.jetbrains.annotations.NotNull @jet.runtime.typeinfo.JetValueParameter(name = "x") Base x) { /* compiled code */ }
@org.jetbrains.annotations.NotNull
public java.lang.String baz(@org.jetbrains.annotations.NotNull @jet.runtime.typeinfo.JetValueParameter(name = "s") java.lang.String s) { /* compiled code */ }
}