Type Enhancement for Java fields and constructors supported as well

This commit is contained in:
Andrey Breslav
2015-05-05 18:51:35 +03:00
committed by Denis Zharkov
parent 8c78739983
commit 694af022c8
12 changed files with 113 additions and 14 deletions
@@ -2,5 +2,5 @@ package test
public open class NotNullField {
public constructor NotNullField()
org.jetbrains.annotations.NotNull() public final var hi: kotlin.String!
org.jetbrains.annotations.NotNull() public final var hi: kotlin.String
}
@@ -0,0 +1,10 @@
package test;
import org.jetbrains.annotations.NotNull;
import java.lang.String;
public class ConstructorWithAnnotations {
public ConstructorWithAnnotations(Runnable r, @NotNull String s) {
}
}
@@ -0,0 +1,6 @@
package test
public open class ConstructorWithAnnotations {
public /*synthesized*/ constructor ConstructorWithAnnotations(/*0*/ p0: (() -> kotlin.Unit)!, /*1*/ org.jetbrains.annotations.NotNull() p1: kotlin.String)
public constructor ConstructorWithAnnotations(/*0*/ p0: java.lang.Runnable!, /*1*/ org.jetbrains.annotations.NotNull() p1: kotlin.String)
}