JVM, JVM_IR: no nullability annotations on private and synthetic methods

NB it looks like it doesn't cover all cases, e.g., some synthetic
methods generated for suspend functions.
This commit is contained in:
Dmitry Petrov
2020-06-26 12:06:24 +03:00
parent 5684e694b5
commit 2137a4b1e5
31 changed files with 163 additions and 156 deletions
@@ -55,7 +55,7 @@ public final class Test {
public final class Z {
private final field x: int
private synthetic method <init>(p0: int): void
public synthetic final static @org.jetbrains.annotations.NotNull method box-impl(p0: int): Z
public synthetic final static method box-impl(p0: int): Z
public static method constructor-impl(p0: int): int
public method equals(p0: java.lang.Object): boolean
public static method equals-impl(p0: int, @org.jetbrains.annotations.Nullable p1: java.lang.Object): boolean
@@ -14,7 +14,7 @@ public final class Foo {
inner class Foo$Companion
static method <clinit>(): void
private synthetic method <init>(p0: int): void
public synthetic final static @org.jetbrains.annotations.NotNull method box-impl(p0: int): Foo
public synthetic final static method box-impl(p0: int): Foo
public static method constructor-impl(p0: int): int
public method equals(p0: java.lang.Object): boolean
public static method equals-impl(p0: int, @org.jetbrains.annotations.Nullable p1: java.lang.Object): boolean
@@ -2,7 +2,7 @@
public final class Foo {
private final field x: int
private synthetic method <init>(p0: int): void
public synthetic final static @org.jetbrains.annotations.NotNull method box-impl(p0: int): Foo
public synthetic final static method box-impl(p0: int): Foo
public static method constructor-impl(p0: int): int
public method equals(p0: java.lang.Object): boolean
public static method equals-impl(p0: int, @org.jetbrains.annotations.Nullable p1: java.lang.Object): boolean
@@ -2,7 +2,7 @@
public final class Test {
private final field x: int
private synthetic method <init>(p0: int): void
public synthetic final static @org.jetbrains.annotations.NotNull method box-impl(p0: int): Test
public synthetic final static method box-impl(p0: int): Test
public synthetic static method constructor-impl$default(p0: int, p1: int, p2: int, p3: int, p4: kotlin.jvm.internal.DefaultConstructorMarker): int
public synthetic static method constructor-impl$default(p0: int, p1: int, p2: kotlin.jvm.internal.DefaultConstructorMarker): int
public static method constructor-impl(p0: int): int
@@ -2,7 +2,7 @@
public final class Z {
private final field x: int
private synthetic method <init>(p0: int): void
public synthetic final static @org.jetbrains.annotations.NotNull method box-impl(p0: int): Z
public synthetic final static method box-impl(p0: int): Z
public static method constructor-impl(p0: int): int
public static method constructor-impl(p0: int, p1: int): int
public static method constructor-impl(p0: long): int
@@ -68,7 +68,7 @@ public abstract class TestSealed {
public final class Z {
private final field x: int
private synthetic method <init>(p0: int): void
public synthetic final static @org.jetbrains.annotations.NotNull method box-impl(p0: int): Z
public synthetic final static method box-impl(p0: int): Z
public static method constructor-impl(p0: int): int
public method equals(p0: java.lang.Object): boolean
public static method equals-impl(p0: int, @org.jetbrains.annotations.Nullable p1: java.lang.Object): boolean
@@ -2,7 +2,7 @@
public final class Z1 {
private final field x: int
private synthetic method <init>(p0: int): void
public synthetic final static @org.jetbrains.annotations.NotNull method box-impl(p0: int): Z1
public synthetic final static method box-impl(p0: int): Z1
public static method constructor-impl(p0: int): int
public method equals(p0: java.lang.Object): boolean
public static method equals-impl(p0: int, @org.jetbrains.annotations.Nullable p1: java.lang.Object): boolean
@@ -21,7 +21,7 @@ public final class Z2 {
private synthetic method <init>(p0: int): void
public final static method bar-E2ud15U(p0: int, p1: int): void
public final static method bar-cYvoCnY(p0: int, p1: int): void
public synthetic final static @org.jetbrains.annotations.NotNull method box-impl(p0: int): Z2
public synthetic final static method box-impl(p0: int): Z2
public static method constructor-impl(p0: int): int
public method equals(p0: java.lang.Object): boolean
public static method equals-impl(p0: int, @org.jetbrains.annotations.Nullable p1: java.lang.Object): boolean
@@ -49,7 +49,7 @@ public interface IFoo {
public final class Z {
private final field x: int
private synthetic method <init>(p0: int): void
public synthetic final static @org.jetbrains.annotations.NotNull method box-impl(p0: int): Z
public synthetic final static method box-impl(p0: int): Z
public static method constructor-impl(p0: int): int
public static method constructor-impl(p0: long): int
public method equals(p0: java.lang.Object): boolean
@@ -7,7 +7,7 @@ public interface A {
public final class Foo {
private final field x: long
private synthetic method <init>(p0: long): void
public synthetic final static @org.jetbrains.annotations.NotNull method box-impl(p0: long): Foo
public synthetic final static method box-impl(p0: long): Foo
public static method constructor-impl(p0: long): long
public method equals(p0: java.lang.Object): boolean
public static method equals-impl(p0: long, @org.jetbrains.annotations.Nullable p1: java.lang.Object): boolean
@@ -21,8 +21,8 @@ public final class NullabilityInExpansionKt {
@kotlin.Metadata
public final class Q1 {
private final field x: java.lang.Integer
private synthetic method <init>(@org.jetbrains.annotations.Nullable p0: java.lang.Integer): void
public synthetic final static @org.jetbrains.annotations.NotNull method box-impl(@org.jetbrains.annotations.Nullable p0: java.lang.Integer): Q1
private synthetic method <init>(p0: java.lang.Integer): void
public synthetic final static method box-impl(p0: java.lang.Integer): Q1
public static @org.jetbrains.annotations.NotNull method constructor-impl(@org.jetbrains.annotations.Nullable p0: java.lang.Integer): java.lang.Integer
public method equals(p0: java.lang.Object): boolean
public static method equals-impl(p0: java.lang.Integer, @org.jetbrains.annotations.Nullable p1: java.lang.Object): boolean
@@ -32,14 +32,14 @@ public final class Q1 {
public static method hashCode-impl(p0: java.lang.Integer): int
public method toString(): java.lang.String
public static @org.jetbrains.annotations.NotNull method toString-impl(p0: java.lang.Integer): java.lang.String
public synthetic final @org.jetbrains.annotations.Nullable method unbox-impl(): java.lang.Integer
public synthetic final method unbox-impl(): java.lang.Integer
}
@kotlin.Metadata
public final class Q2 {
private final field z: java.lang.Integer
private synthetic method <init>(@org.jetbrains.annotations.NotNull p0: java.lang.Integer): void
public synthetic final static @org.jetbrains.annotations.NotNull method box-impl(@org.jetbrains.annotations.NotNull p0: java.lang.Integer): Q2
private synthetic method <init>(p0: java.lang.Integer): void
public synthetic final static method box-impl(p0: java.lang.Integer): Q2
public static @org.jetbrains.annotations.NotNull method constructor-impl(@org.jetbrains.annotations.NotNull p0: java.lang.Integer): java.lang.Integer
public method equals(p0: java.lang.Object): boolean
public static method equals-impl(p0: java.lang.Integer, @org.jetbrains.annotations.Nullable p1: java.lang.Object): boolean
@@ -49,14 +49,14 @@ public final class Q2 {
public static method hashCode-impl(p0: java.lang.Integer): int
public method toString(): java.lang.String
public static @org.jetbrains.annotations.NotNull method toString-impl(p0: java.lang.Integer): java.lang.String
public synthetic final @org.jetbrains.annotations.NotNull method unbox-impl(): java.lang.Integer
public synthetic final method unbox-impl(): java.lang.Integer
}
@kotlin.Metadata
public final class QN {
private final field z: Q1
private synthetic method <init>(@org.jetbrains.annotations.Nullable p0: Q1): void
public synthetic final static @org.jetbrains.annotations.NotNull method box-impl(@org.jetbrains.annotations.Nullable p0: Q1): QN
private synthetic method <init>(p0: Q1): void
public synthetic final static method box-impl(p0: Q1): QN
public static @org.jetbrains.annotations.NotNull method constructor-impl(@org.jetbrains.annotations.Nullable p0: Q1): Q1
public method equals(p0: java.lang.Object): boolean
public static method equals-impl(p0: Q1, @org.jetbrains.annotations.Nullable p1: java.lang.Object): boolean
@@ -66,14 +66,14 @@ public final class QN {
public static method hashCode-impl(p0: Q1): int
public method toString(): java.lang.String
public static @org.jetbrains.annotations.NotNull method toString-impl(p0: Q1): java.lang.String
public synthetic final @org.jetbrains.annotations.Nullable method unbox-impl(): Q1
public synthetic final method unbox-impl(): Q1
}
@kotlin.Metadata
public final class S1 {
private final field x: java.lang.String
private synthetic method <init>(@org.jetbrains.annotations.NotNull p0: java.lang.String): void
public synthetic final static @org.jetbrains.annotations.NotNull method box-impl(@org.jetbrains.annotations.NotNull p0: java.lang.String): S1
private synthetic method <init>(p0: java.lang.String): void
public synthetic final static method box-impl(p0: java.lang.String): S1
public static @org.jetbrains.annotations.NotNull method constructor-impl(@org.jetbrains.annotations.NotNull p0: java.lang.String): java.lang.String
public method equals(p0: java.lang.Object): boolean
public static method equals-impl(p0: java.lang.String, @org.jetbrains.annotations.Nullable p1: java.lang.Object): boolean
@@ -83,14 +83,14 @@ public final class S1 {
public static method hashCode-impl(p0: java.lang.String): int
public method toString(): java.lang.String
public static @org.jetbrains.annotations.NotNull method toString-impl(p0: java.lang.String): java.lang.String
public synthetic final @org.jetbrains.annotations.NotNull method unbox-impl(): java.lang.String
public synthetic final method unbox-impl(): java.lang.String
}
@kotlin.Metadata
public final class S2 {
private final field z: java.lang.String
private synthetic method <init>(@org.jetbrains.annotations.NotNull p0: java.lang.String): void
public synthetic final static @org.jetbrains.annotations.NotNull method box-impl(@org.jetbrains.annotations.NotNull p0: java.lang.String): S2
private synthetic method <init>(p0: java.lang.String): void
public synthetic final static method box-impl(p0: java.lang.String): S2
public static @org.jetbrains.annotations.NotNull method constructor-impl(@org.jetbrains.annotations.NotNull p0: java.lang.String): java.lang.String
public method equals(p0: java.lang.Object): boolean
public static method equals-impl(p0: java.lang.String, @org.jetbrains.annotations.Nullable p1: java.lang.Object): boolean
@@ -100,14 +100,14 @@ public final class S2 {
public static method hashCode-impl(p0: java.lang.String): int
public method toString(): java.lang.String
public static @org.jetbrains.annotations.NotNull method toString-impl(p0: java.lang.String): java.lang.String
public synthetic final @org.jetbrains.annotations.NotNull method unbox-impl(): java.lang.String
public synthetic final method unbox-impl(): java.lang.String
}
@kotlin.Metadata
public final class SN {
private final field z: java.lang.String
private synthetic method <init>(@org.jetbrains.annotations.Nullable p0: java.lang.String): void
public synthetic final static @org.jetbrains.annotations.NotNull method box-impl(@org.jetbrains.annotations.Nullable p0: java.lang.String): SN
private synthetic method <init>(p0: java.lang.String): void
public synthetic final static method box-impl(p0: java.lang.String): SN
public static @org.jetbrains.annotations.NotNull method constructor-impl(@org.jetbrains.annotations.Nullable p0: java.lang.String): java.lang.String
public method equals(p0: java.lang.Object): boolean
public static method equals-impl(p0: java.lang.String, @org.jetbrains.annotations.Nullable p1: java.lang.Object): boolean
@@ -117,14 +117,14 @@ public final class SN {
public static method hashCode-impl(p0: java.lang.String): int
public method toString(): java.lang.String
public static @org.jetbrains.annotations.NotNull method toString-impl(p0: java.lang.String): java.lang.String
public synthetic final @org.jetbrains.annotations.Nullable method unbox-impl(): java.lang.String
public synthetic final method unbox-impl(): java.lang.String
}
@kotlin.Metadata
public final class SN2 {
private final field z: java.lang.String
private synthetic method <init>(@org.jetbrains.annotations.NotNull p0: java.lang.String): void
public synthetic final static @org.jetbrains.annotations.NotNull method box-impl(@org.jetbrains.annotations.NotNull p0: java.lang.String): SN2
private synthetic method <init>(p0: java.lang.String): void
public synthetic final static method box-impl(p0: java.lang.String): SN2
public static @org.jetbrains.annotations.NotNull method constructor-impl(@org.jetbrains.annotations.NotNull p0: java.lang.String): java.lang.String
public method equals(p0: java.lang.Object): boolean
public static method equals-impl(p0: java.lang.String, @org.jetbrains.annotations.Nullable p1: java.lang.Object): boolean
@@ -134,14 +134,14 @@ public final class SN2 {
public static method hashCode-impl(p0: java.lang.String): int
public method toString(): java.lang.String
public static @org.jetbrains.annotations.NotNull method toString-impl(p0: java.lang.String): java.lang.String
public synthetic final @org.jetbrains.annotations.NotNull method unbox-impl(): java.lang.String
public synthetic final method unbox-impl(): java.lang.String
}
@kotlin.Metadata
public final class W1 {
private final field x: java.lang.String
private synthetic method <init>(@org.jetbrains.annotations.Nullable p0: java.lang.String): void
public synthetic final static @org.jetbrains.annotations.NotNull method box-impl(@org.jetbrains.annotations.Nullable p0: java.lang.String): W1
private synthetic method <init>(p0: java.lang.String): void
public synthetic final static method box-impl(p0: java.lang.String): W1
public static @org.jetbrains.annotations.NotNull method constructor-impl(@org.jetbrains.annotations.Nullable p0: java.lang.String): java.lang.String
public method equals(p0: java.lang.Object): boolean
public static method equals-impl(p0: java.lang.String, @org.jetbrains.annotations.Nullable p1: java.lang.Object): boolean
@@ -151,14 +151,14 @@ public final class W1 {
public static method hashCode-impl(p0: java.lang.String): int
public method toString(): java.lang.String
public static @org.jetbrains.annotations.NotNull method toString-impl(p0: java.lang.String): java.lang.String
public synthetic final @org.jetbrains.annotations.Nullable method unbox-impl(): java.lang.String
public synthetic final method unbox-impl(): java.lang.String
}
@kotlin.Metadata
public final class W2 {
private final field z: java.lang.String
private synthetic method <init>(@org.jetbrains.annotations.NotNull p0: java.lang.String): void
public synthetic final static @org.jetbrains.annotations.NotNull method box-impl(@org.jetbrains.annotations.NotNull p0: java.lang.String): W2
private synthetic method <init>(p0: java.lang.String): void
public synthetic final static method box-impl(p0: java.lang.String): W2
public static @org.jetbrains.annotations.NotNull method constructor-impl(@org.jetbrains.annotations.NotNull p0: java.lang.String): java.lang.String
public method equals(p0: java.lang.Object): boolean
public static method equals-impl(p0: java.lang.String, @org.jetbrains.annotations.Nullable p1: java.lang.Object): boolean
@@ -168,14 +168,14 @@ public final class W2 {
public static method hashCode-impl(p0: java.lang.String): int
public method toString(): java.lang.String
public static @org.jetbrains.annotations.NotNull method toString-impl(p0: java.lang.String): java.lang.String
public synthetic final @org.jetbrains.annotations.NotNull method unbox-impl(): java.lang.String
public synthetic final method unbox-impl(): java.lang.String
}
@kotlin.Metadata
public final class WN {
private final field z: W1
private synthetic method <init>(@org.jetbrains.annotations.Nullable p0: W1): void
public synthetic final static @org.jetbrains.annotations.NotNull method box-impl(@org.jetbrains.annotations.Nullable p0: W1): WN
private synthetic method <init>(p0: W1): void
public synthetic final static method box-impl(p0: W1): WN
public static @org.jetbrains.annotations.NotNull method constructor-impl(@org.jetbrains.annotations.Nullable p0: W1): W1
public method equals(p0: java.lang.Object): boolean
public static method equals-impl(p0: W1, @org.jetbrains.annotations.Nullable p1: java.lang.Object): boolean
@@ -185,14 +185,14 @@ public final class WN {
public static method hashCode-impl(p0: W1): int
public method toString(): java.lang.String
public static @org.jetbrains.annotations.NotNull method toString-impl(p0: W1): java.lang.String
public synthetic final @org.jetbrains.annotations.Nullable method unbox-impl(): W1
public synthetic final method unbox-impl(): W1
}
@kotlin.Metadata
public final class Z1 {
private final field x: int
private synthetic method <init>(p0: int): void
public synthetic final static @org.jetbrains.annotations.NotNull method box-impl(p0: int): Z1
public synthetic final static method box-impl(p0: int): Z1
public static method constructor-impl(p0: int): int
public method equals(p0: java.lang.Object): boolean
public static method equals-impl(p0: int, @org.jetbrains.annotations.Nullable p1: java.lang.Object): boolean
@@ -209,7 +209,7 @@ public final class Z1 {
public final class Z2 {
private final field z: int
private synthetic method <init>(p0: int): void
public synthetic final static @org.jetbrains.annotations.NotNull method box-impl(p0: int): Z2
public synthetic final static method box-impl(p0: int): Z2
public static method constructor-impl(p0: int): int
public method equals(p0: java.lang.Object): boolean
public static method equals-impl(p0: int, @org.jetbrains.annotations.Nullable p1: java.lang.Object): boolean
@@ -225,8 +225,8 @@ public final class Z2 {
@kotlin.Metadata
public final class ZN {
private final field z: Z1
private synthetic method <init>(@org.jetbrains.annotations.Nullable p0: Z1): void
public synthetic final static @org.jetbrains.annotations.NotNull method box-impl(@org.jetbrains.annotations.Nullable p0: Z1): ZN
private synthetic method <init>(p0: Z1): void
public synthetic final static method box-impl(p0: Z1): ZN
public static @org.jetbrains.annotations.NotNull method constructor-impl(@org.jetbrains.annotations.Nullable p0: Z1): Z1
public method equals(p0: java.lang.Object): boolean
public static method equals-impl(p0: Z1, @org.jetbrains.annotations.Nullable p1: java.lang.Object): boolean
@@ -236,14 +236,14 @@ public final class ZN {
public static method hashCode-impl(p0: Z1): int
public method toString(): java.lang.String
public static @org.jetbrains.annotations.NotNull method toString-impl(p0: Z1): java.lang.String
public synthetic final @org.jetbrains.annotations.Nullable method unbox-impl(): Z1
public synthetic final method unbox-impl(): Z1
}
@kotlin.Metadata
public final class ZN2 {
private final field z: Z1
private synthetic method <init>(@org.jetbrains.annotations.NotNull p0: Z1): void
public synthetic final static @org.jetbrains.annotations.NotNull method box-impl(@org.jetbrains.annotations.NotNull p0: Z1): ZN2
private synthetic method <init>(p0: Z1): void
public synthetic final static method box-impl(p0: Z1): ZN2
public static @org.jetbrains.annotations.NotNull method constructor-impl(@org.jetbrains.annotations.NotNull p0: Z1): Z1
public method equals(p0: java.lang.Object): boolean
public static method equals-impl(p0: Z1, @org.jetbrains.annotations.Nullable p1: java.lang.Object): boolean
@@ -253,5 +253,5 @@ public final class ZN2 {
public static method hashCode-impl(p0: Z1): int
public method toString(): java.lang.String
public static @org.jetbrains.annotations.NotNull method toString-impl(p0: Z1): java.lang.String
public synthetic final @org.jetbrains.annotations.NotNull method unbox-impl(): Z1
public synthetic final method unbox-impl(): Z1
}
@@ -7,7 +7,7 @@ public interface IValue {
public final class TestInternal {
private final field value: int
private synthetic method <init>(p0: int): void
public synthetic final static @org.jetbrains.annotations.NotNull method box-impl(p0: int): TestInternal
public synthetic final static method box-impl(p0: int): TestInternal
public static method constructor-impl(p0: int): int
public method equals(p0: java.lang.Object): boolean
public static method equals-impl(p0: int, @org.jetbrains.annotations.Nullable p1: java.lang.Object): boolean
@@ -23,7 +23,7 @@ public final class TestInternal {
public final class TestOverriding {
private final field value: int
private synthetic method <init>(p0: int): void
public synthetic final static @org.jetbrains.annotations.NotNull method box-impl(p0: int): TestOverriding
public synthetic final static method box-impl(p0: int): TestOverriding
public static method constructor-impl(p0: int): int
public method equals(p0: java.lang.Object): boolean
public static method equals-impl(p0: int, @org.jetbrains.annotations.Nullable p1: java.lang.Object): boolean
@@ -40,7 +40,7 @@ public final class TestOverriding {
public final class TestPrivate {
private final field value: int
private synthetic method <init>(p0: int): void
public synthetic final static @org.jetbrains.annotations.NotNull method box-impl(p0: int): TestPrivate
public synthetic final static method box-impl(p0: int): TestPrivate
public static method constructor-impl(p0: int): int
public method equals(p0: java.lang.Object): boolean
public static method equals-impl(p0: int, @org.jetbrains.annotations.Nullable p1: java.lang.Object): boolean
@@ -56,7 +56,7 @@ public final class TestPrivate {
public final class TestPublic {
private final field value: int
private synthetic method <init>(p0: int): void
public synthetic final static @org.jetbrains.annotations.NotNull method box-impl(p0: int): TestPublic
public synthetic final static method box-impl(p0: int): TestPublic
public static method constructor-impl(p0: int): int
public method equals(p0: java.lang.Object): boolean
public static method equals-impl(p0: int, @org.jetbrains.annotations.Nullable p1: java.lang.Object): boolean
@@ -2,7 +2,7 @@
public final class Z {
private final field value: int
private synthetic @kotlin.PublishedApi method <init>(p0: int): void
public synthetic final static @org.jetbrains.annotations.NotNull method box-impl(p0: int): Z
public synthetic final static method box-impl(p0: int): Z
public static @kotlin.PublishedApi method constructor-impl(p0: int): int
public method equals(p0: java.lang.Object): boolean
public static method equals-impl(p0: int, @org.jetbrains.annotations.Nullable p1: java.lang.Object): boolean
@@ -2,7 +2,7 @@
public final class Foo {
private final field l: long
private synthetic method <init>(p0: long): void
public synthetic final static @org.jetbrains.annotations.NotNull method box-impl(p0: long): Foo
public synthetic final static method box-impl(p0: long): Foo
public static method constructor-impl(p0: long): long
public final static method empty-impl(p0: long): void
public method equals(p0: java.lang.Object): boolean