Test for nullability annotations generalized and generated

This commit is contained in:
Andrey Breslav
2014-05-23 08:52:52 +02:00
parent 6617a884e4
commit afca70eb41
30 changed files with 228 additions and 116 deletions
@@ -0,0 +1,74 @@
public final class Class implements kotlin.jvm.internal.KObject {
@org.jetbrains.annotations.Nullable
private final java.lang.String nullableVal = "";
@org.jetbrains.annotations.Nullable
private java.lang.String nullableVar;
@org.jetbrains.annotations.NotNull
private final java.lang.String notNullVal = "";
@org.jetbrains.annotations.NotNull
private java.lang.String notNullVar;
@org.jetbrains.annotations.NotNull
public final java.lang.String notNull(@org.jetbrains.annotations.NotNull @jet.runtime.typeinfo.JetValueParameter(name = "a") java.lang.String a) { /* compiled code */ }
@org.jetbrains.annotations.Nullable
public final java.lang.String nullable(@org.jetbrains.annotations.Nullable @jet.runtime.typeinfo.JetValueParameter(name = "a", type = "?") java.lang.String a) { /* compiled code */ }
@org.jetbrains.annotations.NotNull
public final java.lang.String notNullWithNN() { /* compiled code */ }
@org.jetbrains.annotations.Nullable
@org.jetbrains.annotations.NotNull
public final java.lang.String notNullWithN() { /* compiled code */ }
@org.jetbrains.annotations.Nullable
public final java.lang.String nullableWithN() { /* compiled code */ }
@org.jetbrains.annotations.NotNull
@org.jetbrains.annotations.Nullable
public final java.lang.String nullableWithNN() { /* compiled code */ }
@org.jetbrains.annotations.Nullable
public final java.lang.String getNullableVal() { /* compiled code */ }
@org.jetbrains.annotations.Nullable
public final java.lang.String getNullableVar() { /* compiled code */ }
@org.jetbrains.annotations.NotNull
public final void setNullableVar(@org.jetbrains.annotations.Nullable @jet.runtime.typeinfo.JetValueParameter(name = "<set-?>", type = "?") java.lang.String p) { /* compiled code */ }
@org.jetbrains.annotations.NotNull
public final java.lang.String getNotNullVal() { /* compiled code */ }
@org.jetbrains.annotations.NotNull
public final java.lang.String getNotNullVar() { /* compiled code */ }
@org.jetbrains.annotations.NotNull
public final void setNotNullVar(@org.jetbrains.annotations.NotNull @jet.runtime.typeinfo.JetValueParameter(name = "<set-?>") java.lang.String p) { /* compiled code */ }
@org.jetbrains.annotations.Nullable
@org.jetbrains.annotations.NotNull
public final java.lang.String getNotNullValWithGet() { /* compiled code */ }
@org.jetbrains.annotations.Nullable
@org.jetbrains.annotations.NotNull
public final java.lang.String getNotNullVarWithGetSet() { /* compiled code */ }
@org.jetbrains.annotations.Nullable
@org.jetbrains.annotations.NotNull
public final void setNotNullVarWithGetSet(@org.jetbrains.annotations.NotNull @jet.runtime.typeinfo.JetValueParameter(name = "v") java.lang.String v) { /* compiled code */ }
@org.jetbrains.annotations.NotNull
@org.jetbrains.annotations.Nullable
public final java.lang.String getNullableValWithGet() { /* compiled code */ }
@org.jetbrains.annotations.NotNull
@org.jetbrains.annotations.Nullable
public final java.lang.String getNullableVarWithGetSet() { /* compiled code */ }
@org.jetbrains.annotations.NotNull
public final void setNullableVarWithGetSet(@org.jetbrains.annotations.Nullable @jet.runtime.typeinfo.JetValueParameter(name = "v", type = "?") java.lang.String v) { /* compiled code */ }
@org.jetbrains.annotations.NotNull
public Class() { /* compiled code */ }
}
@@ -0,0 +1,34 @@
// Class
import org.jetbrains.annotations.NotNull
import org.jetbrains.annotations.Nullable
class Class {
fun notNull(a: String): String = ""
fun nullable(a: String?): String? = ""
NotNull fun notNullWithNN(): String = ""
Nullable fun notNullWithN(): String = ""
Nullable fun nullableWithN(): String? = ""
NotNull fun nullableWithNN(): String? = ""
val nullableVal: String? = ""
var nullableVar: String? = ""
val notNullVal: String = ""
var notNullVar: String = ""
val notNullValWithGet: String
[Nullable] get() = ""
var notNullVarWithGetSet: String
[Nullable] get() = ""
[Nullable] set(v) {}
val nullableValWithGet: String?
[NotNull] get() = ""
var nullableVarWithGetSet: String?
[NotNull] get() = ""
[NotNull] set(v) {}
}
@@ -0,0 +1,18 @@
public final class ClassObjectField implements kotlin.jvm.internal.KObject {
@org.jetbrains.annotations.Nullable
public static final java.lang.String x = "";
private static final java.lang.String y = "";
public static final ClassObjectField.object object$;
@org.jetbrains.annotations.NotNull
public ClassObjectField() { /* compiled code */ }
public static final class object implements kotlin.jvm.internal.KObject {
@org.jetbrains.annotations.Nullable
public final java.lang.String getX() { /* compiled code */ }
private final java.lang.String getY() { /* compiled code */ }
private object() { /* compiled code */ }
}
}
@@ -0,0 +1,8 @@
// ClassObjectField
class ClassObjectField {
class object {
val x: String? = ""
private val y: String? = ""
}
}
@@ -0,0 +1,4 @@
public final class ClassWithConstructor implements kotlin.jvm.internal.KObject {
@org.jetbrains.annotations.NotNull
public ClassWithConstructor(@org.jetbrains.annotations.Nullable @jet.runtime.typeinfo.JetValueParameter(name = "nullable", type = "?") java.lang.String nullable, @org.jetbrains.annotations.NotNull @jet.runtime.typeinfo.JetValueParameter(name = "notNull") java.lang.String notNull) { /* compiled code */ }
}
@@ -0,0 +1,6 @@
// ClassWithConstructor
class ClassWithConstructor(
nullable: String?,
notNull: String
)
@@ -0,0 +1,15 @@
public final class ClassWithConstructorAndProperties implements kotlin.jvm.internal.KObject {
@org.jetbrains.annotations.Nullable
private final java.lang.String nullable;
@org.jetbrains.annotations.NotNull
private final java.lang.String notNull;
@org.jetbrains.annotations.Nullable
public final java.lang.String getNullable() { /* compiled code */ }
@org.jetbrains.annotations.NotNull
public final java.lang.String getNotNull() { /* compiled code */ }
@org.jetbrains.annotations.NotNull
public ClassWithConstructorAndProperties(@org.jetbrains.annotations.Nullable @jet.runtime.typeinfo.JetValueParameter(name = "nullable", type = "?") java.lang.String nullable, @org.jetbrains.annotations.NotNull @jet.runtime.typeinfo.JetValueParameter(name = "notNull") java.lang.String notNull) { /* compiled code */ }
}
@@ -0,0 +1,6 @@
// ClassWithConstructorAndProperties
class ClassWithConstructorAndProperties(
val nullable: String?,
val notNull: String
)
@@ -0,0 +1,12 @@
public interface Generic <N, NN> extends kotlin.jvm.internal.KObject {
N a(@jet.runtime.typeinfo.JetValueParameter(name = "n") N n);
@org.jetbrains.annotations.NotNull
NN b(@org.jetbrains.annotations.NotNull @jet.runtime.typeinfo.JetValueParameter(name = "nn") NN nn);
@org.jetbrains.annotations.Nullable
N a1(@org.jetbrains.annotations.Nullable @jet.runtime.typeinfo.JetValueParameter(name = "n", type = "?") N n);
@org.jetbrains.annotations.Nullable
NN b1(@org.jetbrains.annotations.Nullable @jet.runtime.typeinfo.JetValueParameter(name = "nn", type = "?") NN nn);
}
@@ -0,0 +1,9 @@
// Generic
trait Generic<N, NN: Any> {
fun a(n: N): N
fun b(nn: NN): NN
fun a1(n: N?): N?
fun b1(nn: NN?): NN?
}
@@ -0,0 +1,43 @@
public interface Primitives extends kotlin.jvm.internal.KObject {
int $$int /* Real name is 'int' */(@jet.runtime.typeinfo.JetValueParameter(name = "x") int x);
@org.jetbrains.annotations.Nullable
java.lang.Boolean getNullableBool();
@org.jetbrains.annotations.Nullable
java.lang.Byte getNullableByte();
@org.jetbrains.annotations.Nullable
java.lang.Short getNullableShort();
@org.jetbrains.annotations.Nullable
java.lang.Character getNullableChar();
@org.jetbrains.annotations.Nullable
java.lang.Integer getNullableInt();
@org.jetbrains.annotations.Nullable
java.lang.Long getNullableLong();
@org.jetbrains.annotations.Nullable
java.lang.Float getNullableFloat();
@org.jetbrains.annotations.Nullable
java.lang.Double getNullableDouble();
boolean getBool();
byte getByte();
short getShort();
char getChar();
int getInt();
long getLong();
float getFloat();
double getDouble();
}
@@ -0,0 +1,23 @@
// Primitives
trait Primitives {
fun int(x: Int): Int
val nullableBool: Boolean?
val nullableByte: Byte?
val nullableShort: Short?
val nullableChar: Char?
val nullableInt: Int?
val nullableLong: Long?
val nullableFloat: Float?
val nullableDouble: Double?
val bool: Boolean
val byte: Byte
val short: Short
val char: Char
val int: Int
val long: Long
val float: Float
val double: Double
}
@@ -0,0 +1,12 @@
public final class PrivateInClass implements kotlin.jvm.internal.KObject {
private final java.lang.String nn = "";
private final java.lang.String n = "";
private final java.lang.String getNn() { /* compiled code */ }
private final java.lang.String getN() { /* compiled code */ }
private final java.lang.String bar(@jet.runtime.typeinfo.JetValueParameter(name = "a") java.lang.String a, @jet.runtime.typeinfo.JetValueParameter(name = "b", type = "?") java.lang.String b) { /* compiled code */ }
private PrivateInClass(@jet.runtime.typeinfo.JetValueParameter(name = "s", type = "?") java.lang.String s) { /* compiled code */ }
}
@@ -0,0 +1,7 @@
// PrivateInClass
class PrivateInClass private (s: String?) {
private val nn: String = ""
private val n: String? = ""
private fun bar(a: String, b: String?): String? = null
}
@@ -0,0 +1,10 @@
public interface PrivateInTrait extends kotlin.jvm.internal.KObject {
@org.jetbrains.annotations.NotNull
java.lang.String getNn();
@org.jetbrains.annotations.Nullable
java.lang.String getN();
@org.jetbrains.annotations.Nullable
java.lang.String bar(@org.jetbrains.annotations.NotNull @jet.runtime.typeinfo.JetValueParameter(name = "a") java.lang.String a, @org.jetbrains.annotations.Nullable @jet.runtime.typeinfo.JetValueParameter(name = "b", type = "?") java.lang.String b);
}
@@ -0,0 +1,7 @@
// PrivateInTrait
trait PrivateInTrait {
private val nn: String
private val n: String?
private fun bar(a: String, b: String?): String?
}
@@ -0,0 +1,14 @@
public final class Synthetic implements kotlin.jvm.internal.KObject {
private final void foo() { /* compiled code */ }
@org.jetbrains.annotations.NotNull
public Synthetic() { /* compiled code */ }
public final class Inner implements kotlin.jvm.internal.KObject {
@org.jetbrains.annotations.NotNull
public final void test() { /* compiled code */ }
@org.jetbrains.annotations.NotNull
public Inner() { /* compiled code */ }
}
}
@@ -0,0 +1,11 @@
// Synthetic
class Synthetic {
inner class Inner {
fun test() {
foo()
}
}
private fun foo() {}
}
@@ -0,0 +1,39 @@
public interface Trait extends kotlin.jvm.internal.KObject {
@org.jetbrains.annotations.NotNull
java.lang.String notNull(@org.jetbrains.annotations.NotNull @jet.runtime.typeinfo.JetValueParameter(name = "a") java.lang.String a);
@org.jetbrains.annotations.Nullable
java.lang.String nullable(@org.jetbrains.annotations.Nullable @jet.runtime.typeinfo.JetValueParameter(name = "a", type = "?") java.lang.String a);
@org.jetbrains.annotations.NotNull
java.lang.String notNullWithNN();
@org.jetbrains.annotations.Nullable
@org.jetbrains.annotations.NotNull
java.lang.String notNullWithN();
@org.jetbrains.annotations.Nullable
java.lang.String nullableWithN();
@org.jetbrains.annotations.NotNull
@org.jetbrains.annotations.Nullable
java.lang.String nullableWithNN();
@org.jetbrains.annotations.Nullable
java.lang.String getNullableVal();
@org.jetbrains.annotations.Nullable
java.lang.String getNullableVar();
@org.jetbrains.annotations.NotNull
void setNullableVar(@org.jetbrains.annotations.Nullable @jet.runtime.typeinfo.JetValueParameter(name = "<set-?>", type = "?") java.lang.String p);
@org.jetbrains.annotations.NotNull
java.lang.String getNotNullVal();
@org.jetbrains.annotations.NotNull
java.lang.String getNotNullVar();
@org.jetbrains.annotations.NotNull
void setNotNullVar(@org.jetbrains.annotations.NotNull @jet.runtime.typeinfo.JetValueParameter(name = "<set-?>") java.lang.String p);
}
@@ -0,0 +1,20 @@
// Trait
import org.jetbrains.annotations.NotNull
import org.jetbrains.annotations.Nullable
trait Trait {
fun notNull(a: String): String
fun nullable(a: String?): String?
NotNull fun notNullWithNN(): String
Nullable fun notNullWithN(): String
Nullable fun nullableWithN(): String?
NotNull fun nullableWithNN(): String?
val nullableVal: String?
var nullableVar: String?
val notNullVal: String
var notNullVar: String
}
@@ -0,0 +1,18 @@
public interface TraitClassObjectField extends kotlin.jvm.internal.KObject {
TraitClassObjectField.object object$;
@org.jetbrains.annotations.Nullable
java.lang.String x = "";
static final class object implements kotlin.jvm.internal.KObject {
@org.jetbrains.annotations.Nullable
private final java.lang.String x = "";
private final java.lang.String y = "";
@org.jetbrains.annotations.Nullable
public final java.lang.String getX() { /* compiled code */ }
private final java.lang.String getY() { /* compiled code */ }
private object() { /* compiled code */ }
}
}
@@ -0,0 +1,8 @@
// TraitClassObjectField
trait TraitClassObjectField {
class object {
val x: String? = ""
private val y: String? = ""
}
}
@@ -0,0 +1,71 @@
public final class _DefaultPackage {
@org.jetbrains.annotations.NotNull
public static final java.lang.String getNotNullVal() { /* compiled code */ }
@org.jetbrains.annotations.Nullable
@org.jetbrains.annotations.NotNull
public static final java.lang.String getNotNullValWithGet() { /* compiled code */ }
@org.jetbrains.annotations.NotNull
public static final java.lang.String getNotNullVar() { /* compiled code */ }
@org.jetbrains.annotations.NotNull
public static final void setNotNullVar(@org.jetbrains.annotations.NotNull @jet.runtime.typeinfo.JetValueParameter(name = "<set-?>") java.lang.String p) { /* compiled code */ }
@org.jetbrains.annotations.Nullable
@org.jetbrains.annotations.NotNull
public static final java.lang.String getNotNullVarWithGetSet() { /* compiled code */ }
@org.jetbrains.annotations.Nullable
@org.jetbrains.annotations.NotNull
public static final void setNotNullVarWithGetSet(@org.jetbrains.annotations.NotNull @jet.runtime.typeinfo.JetValueParameter(name = "v") java.lang.String v) { /* compiled code */ }
@org.jetbrains.annotations.Nullable
public static final java.lang.String getNullableVal() { /* compiled code */ }
@org.jetbrains.annotations.NotNull
@org.jetbrains.annotations.Nullable
public static final java.lang.String getNullableValWithGet() { /* compiled code */ }
@org.jetbrains.annotations.Nullable
public static final java.lang.String getNullableVar() { /* compiled code */ }
@org.jetbrains.annotations.NotNull
public static final void setNullableVar(@org.jetbrains.annotations.Nullable @jet.runtime.typeinfo.JetValueParameter(name = "<set-?>", type = "?") java.lang.String p) { /* compiled code */ }
@org.jetbrains.annotations.NotNull
@org.jetbrains.annotations.Nullable
public static final java.lang.String getNullableVarWithGetSet() { /* compiled code */ }
@org.jetbrains.annotations.NotNull
public static final void setNullableVarWithGetSet(@org.jetbrains.annotations.Nullable @jet.runtime.typeinfo.JetValueParameter(name = "v", type = "?") java.lang.String v) { /* compiled code */ }
@org.jetbrains.annotations.Nullable
public static final java.lang.String getPrivateN() { /* compiled code */ }
@org.jetbrains.annotations.NotNull
public static final java.lang.String getPrivateNn() { /* compiled code */ }
@org.jetbrains.annotations.NotNull
public static final java.lang.String notNull(@org.jetbrains.annotations.NotNull @jet.runtime.typeinfo.JetValueParameter(name = "a") java.lang.String a) { /* compiled code */ }
@org.jetbrains.annotations.Nullable
@org.jetbrains.annotations.NotNull
public static final java.lang.String notNullWithN() { /* compiled code */ }
@org.jetbrains.annotations.NotNull
public static final java.lang.String notNullWithNN() { /* compiled code */ }
@org.jetbrains.annotations.Nullable
public static final java.lang.String nullable(@org.jetbrains.annotations.Nullable @jet.runtime.typeinfo.JetValueParameter(name = "a", type = "?") java.lang.String a) { /* compiled code */ }
@org.jetbrains.annotations.Nullable
public static final java.lang.String nullableWithN() { /* compiled code */ }
@org.jetbrains.annotations.NotNull
@org.jetbrains.annotations.Nullable
public static final java.lang.String nullableWithNN() { /* compiled code */ }
@org.jetbrains.annotations.Nullable
public static final java.lang.String privateFun(@org.jetbrains.annotations.NotNull @jet.runtime.typeinfo.JetValueParameter(name = "a") java.lang.String a, @org.jetbrains.annotations.Nullable @jet.runtime.typeinfo.JetValueParameter(name = "b", type = "?") java.lang.String b) { /* compiled code */ }
}
@@ -0,0 +1,36 @@
// _DefaultPackage
import org.jetbrains.annotations.NotNull
import org.jetbrains.annotations.Nullable
fun notNull(a: String): String = ""
fun nullable(a: String?): String? = ""
NotNull fun notNullWithNN(): String = ""
Nullable fun notNullWithN(): String = ""
Nullable fun nullableWithN(): String? = ""
NotNull fun nullableWithNN(): String? = ""
val nullableVal: String? = ""
var nullableVar: String? = ""
val notNullVal: String = ""
var notNullVar: String = ""
val notNullValWithGet: String
[Nullable] get() = ""
var notNullVarWithGetSet: String
[Nullable] get() = ""
[Nullable] set(v) {}
val nullableValWithGet: String?
[NotNull] get() = ""
var nullableVarWithGetSet: String?
[NotNull] get() = ""
[NotNull] set(v) {}
private val privateNn: String = ""
private val privateN: String? = ""
private fun privateFun(a: String, b: String?): String? = null