Properly handle @NotNull for arrays

This commit is contained in:
Andrey Breslav
2013-10-30 15:57:30 +04:00
parent 3f3030ff26
commit 31d4993406
8 changed files with 50 additions and 2 deletions

View File

@@ -0,0 +1,8 @@
package test;
import org.jetbrains.annotations.NotNull;
public class NotNullIntArray {
@NotNull
public int[] hi() { return null; }
}

View File

@@ -0,0 +1,5 @@
package test
public open class NotNullIntArray() : java.lang.Object() {
public open fun hi(): IntArray = throw Exception()
}

View File

@@ -0,0 +1,6 @@
package test
public open class NotNullIntArray : java.lang.Object {
public constructor NotNullIntArray()
public open fun hi(): jet.IntArray
}

View File

@@ -0,0 +1,8 @@
package test;
import org.jetbrains.annotations.NotNull;
public class NotNullObjectArray {
@NotNull
public Object[] hi() { return null; }
}

View File

@@ -0,0 +1,5 @@
package test
public open class NotNullObjectArray() : java.lang.Object() {
public open fun hi(): Array<Any> = throw Exception()
}

View File

@@ -0,0 +1,6 @@
package test
public open class NotNullObjectArray : java.lang.Object {
public constructor NotNullObjectArray()
public open fun hi(): jet.Array<jet.Any>
}