azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Specify jspecify mode explicitly for warnings in tests

Browse Source
This commit is contained in:
Victor Petukhov
2021-07-05 16:18:02 +03:00
parent 74aa8e7497
commit 6cfb1f40d6
34 changed files with 48 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/WildcardsWithDefault.fir.txt
Vendored
+2 -2
View File
@@ -2,8 +2,8 @@ package
public fun main(/*0*/ aNotNullNotNullNotNull: A<kotlin.Any, kotlin.Any, kotlin.Any>, /*1*/ aNotNullNotNullNull: A<kotlin.Any, kotlin.Any, kotlin.Any?>, /*2*/ aNotNullNullNotNull: A<kotlin.Any, kotlin.Any?, kotlin.Any>, /*3*/ aNotNullNullNull: A<kotlin.Any, kotlin.Any?, kotlin.Any?>, /*4*/ b: WildcardsWithDefault): kotlin.Unit public fun main(/*0*/ aNotNullNotNullNotNull: A<kotlin.Any, kotlin.Any, kotlin.Any>, /*1*/ aNotNullNotNullNull: A<kotlin.Any, kotlin.Any, kotlin.Any?>, /*2*/ aNotNullNullNotNull: A<kotlin.Any, kotlin.Any?, kotlin.Any>, /*3*/ aNotNullNullNull: A<kotlin.Any, kotlin.Any?, kotlin.Any?>, /*4*/ b: WildcardsWithDefault): kotlin.Unit
public open class A</*0*/ T : kotlin.Any!, /*1*/ E, /*2*/ F : @org.jspecify.nullness.NullnessUnspecified kotlin.Any!> { public open class A</*0*/ T : kotlin.Any!, /*1*/ E : @org.jspecify.nullness.Nullable kotlin.Any!, /*2*/ F : @org.jspecify.nullness.NullnessUnspecified kotlin.Any!> {
public constructor A</*0*/ T : kotlin.Any!, /*1*/ E, /*2*/ F : @org.jspecify.nullness.NullnessUnspecified kotlin.Any!>() public constructor A</*0*/ T : kotlin.Any!, /*1*/ E : @org.jspecify.nullness.Nullable kotlin.Any!, /*2*/ F : @org.jspecify.nullness.NullnessUnspecified kotlin.Any!>()
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/WildcardsWithDefault.txt
Vendored
+2 -2
View File
@@ -2,8 +2,8 @@ package
public fun main(/*0*/ aNotNullNotNullNotNull: A<kotlin.Any, kotlin.Any, kotlin.Any>, /*1*/ aNotNullNotNullNull: A<kotlin.Any, kotlin.Any, kotlin.Any?>, /*2*/ aNotNullNullNotNull: A<kotlin.Any, kotlin.Any?, kotlin.Any>, /*3*/ aNotNullNullNull: A<kotlin.Any, kotlin.Any?, kotlin.Any?>, /*4*/ b: WildcardsWithDefault): kotlin.Unit public fun main(/*0*/ aNotNullNotNullNotNull: A<kotlin.Any, kotlin.Any, kotlin.Any>, /*1*/ aNotNullNotNullNull: A<kotlin.Any, kotlin.Any, kotlin.Any?>, /*2*/ aNotNullNullNotNull: A<kotlin.Any, kotlin.Any?, kotlin.Any>, /*3*/ aNotNullNullNull: A<kotlin.Any, kotlin.Any?, kotlin.Any?>, /*4*/ b: WildcardsWithDefault): kotlin.Unit
public open class A</*0*/ T : kotlin.Any!, /*1*/ E, /*2*/ F : @org.jspecify.nullness.NullnessUnspecified kotlin.Any!> { public open class A</*0*/ T : kotlin.Any!, /*1*/ E : @org.jspecify.nullness.Nullable kotlin.Any!, /*2*/ F : @org.jspecify.nullness.NullnessUnspecified kotlin.Any!> {
public constructor A</*0*/ T : kotlin.Any!, /*1*/ E, /*2*/ F : @org.jspecify.nullness.NullnessUnspecified kotlin.Any!>() public constructor A</*0*/ T : kotlin.Any!, /*1*/ E : @org.jspecify.nullness.Nullable kotlin.Any!, /*2*/ F : @org.jspecify.nullness.NullnessUnspecified kotlin.Any!>()
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/AnnotatedBoundsOfWildcard.fir.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// JSPECIFY_STATE: warn
// MUTE_FOR_PSI_CLASS_FILES_READING // MUTE_FOR_PSI_CLASS_FILES_READING
// FILE: AnnotatedBoundsOfWildcard.java // FILE: AnnotatedBoundsOfWildcard.java
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/AnnotatedBoundsOfWildcard.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// JSPECIFY_STATE: warn
// MUTE_FOR_PSI_CLASS_FILES_READING // MUTE_FOR_PSI_CLASS_FILES_READING
// FILE: AnnotatedBoundsOfWildcard.java // FILE: AnnotatedBoundsOfWildcard.java
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/Defaults.fir.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// JSPECIFY_STATE: warn
// FILE: Defaults.java // FILE: Defaults.java
import org.jspecify.nullness.*; import org.jspecify.nullness.*;
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/Defaults.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// JSPECIFY_STATE: warn
// FILE: Defaults.java // FILE: Defaults.java
import org.jspecify.nullness.*; import org.jspecify.nullness.*;
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/IgnoreAnnotations.fir.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// JSPECIFY_STATE: warn
// FILE: IgnoreAnnotations.java // FILE: IgnoreAnnotations.java
import org.jspecify.nullness.*; import org.jspecify.nullness.*;
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/IgnoreAnnotations.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// JSPECIFY_STATE: warn
// FILE: IgnoreAnnotations.java // FILE: IgnoreAnnotations.java
import org.jspecify.nullness.*; import org.jspecify.nullness.*;
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/NonPlatformTypeParameter.fir.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// JSPECIFY_STATE: warn
// !LANGUAGE: +ProhibitUsingNullableTypeParameterAgainstNotNullAnnotated // !LANGUAGE: +ProhibitUsingNullableTypeParameterAgainstNotNullAnnotated
// MUTE_FOR_PSI_CLASS_FILES_READING // MUTE_FOR_PSI_CLASS_FILES_READING
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/NonPlatformTypeParameter.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// JSPECIFY_STATE: warn
// !LANGUAGE: +ProhibitUsingNullableTypeParameterAgainstNotNullAnnotated // !LANGUAGE: +ProhibitUsingNullableTypeParameterAgainstNotNullAnnotated
// MUTE_FOR_PSI_CLASS_FILES_READING // MUTE_FOR_PSI_CLASS_FILES_READING
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/NullnessUnspecifiedTypeParameter.fir.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// JSPECIFY_STATE: warn
// FILE: NullnessUnspecifiedTypeParameter.java // FILE: NullnessUnspecifiedTypeParameter.java
import org.jspecify.nullness.*; import org.jspecify.nullness.*;
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/NullnessUnspecifiedTypeParameter.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// JSPECIFY_STATE: warn
// FILE: NullnessUnspecifiedTypeParameter.java // FILE: NullnessUnspecifiedTypeParameter.java
import org.jspecify.nullness.*; import org.jspecify.nullness.*;
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/SelfType.fir.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// JSPECIFY_STATE: warn
// MUTE_FOR_PSI_CLASS_FILES_READING // MUTE_FOR_PSI_CLASS_FILES_READING
// FILE: SelfType.java // FILE: SelfType.java
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/SelfType.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// JSPECIFY_STATE: warn
// MUTE_FOR_PSI_CLASS_FILES_READING // MUTE_FOR_PSI_CLASS_FILES_READING
// FILE: SelfType.java // FILE: SelfType.java
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/Simple.fir.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// JSPECIFY_STATE: warn
// FILE: Simple.java // FILE: Simple.java
import org.jspecify.nullness.*; import org.jspecify.nullness.*;
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/Simple.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// JSPECIFY_STATE: warn
// FILE: Simple.java // FILE: Simple.java
import org.jspecify.nullness.*; import org.jspecify.nullness.*;
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/TypeArgumentsFromParameterBounds.fir.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// JSPECIFY_STATE: warn
// MUTE_FOR_PSI_CLASS_FILES_READING // MUTE_FOR_PSI_CLASS_FILES_READING
// FILE: TypeArgumentsFromParameterBounds.java // FILE: TypeArgumentsFromParameterBounds.java
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/TypeArgumentsFromParameterBounds.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// JSPECIFY_STATE: warn
// MUTE_FOR_PSI_CLASS_FILES_READING // MUTE_FOR_PSI_CLASS_FILES_READING
// FILE: TypeArgumentsFromParameterBounds.java // FILE: TypeArgumentsFromParameterBounds.java
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/TypeParameterBounds.fir.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// JSPECIFY_STATE: warn
// FILE: A.java // FILE: A.java
import org.jspecify.nullness.*; import org.jspecify.nullness.*;
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/TypeParameterBounds.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// JSPECIFY_STATE: warn
// FILE: A.java // FILE: A.java
import org.jspecify.nullness.*; import org.jspecify.nullness.*;
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/WildcardsWithDefault.fir.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// JSPECIFY_STATE: warn
// MUTE_FOR_PSI_CLASS_FILES_READING // MUTE_FOR_PSI_CLASS_FILES_READING
// FILE: WildcardsWithDefault.java // FILE: WildcardsWithDefault.java
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/WildcardsWithDefault.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// JSPECIFY_STATE: warn
// MUTE_FOR_PSI_CLASS_FILES_READING // MUTE_FOR_PSI_CLASS_FILES_READING
// FILE: WildcardsWithDefault.java // FILE: WildcardsWithDefault.java
compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/basic.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// JSPECIFY_STATE: warn
// ALLOW_KOTLIN_PACKAGE // ALLOW_KOTLIN_PACKAGE
// FILE: sandbox/module-info.java // FILE: sandbox/module-info.java
compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/composeWithClassDefaultAnnotation.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// JSPECIFY_STATE: warn
// ALLOW_KOTLIN_PACKAGE // ALLOW_KOTLIN_PACKAGE
// FILE: sandbox/test/module-info.java // FILE: sandbox/test/module-info.java
compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/composeWithPackageDefaultAnnotation.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// JSPECIFY_STATE: warn
// ALLOW_KOTLIN_PACKAGE // ALLOW_KOTLIN_PACKAGE
// FILE: sandbox/module-info.java // FILE: sandbox/module-info.java
compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/dependentModulesNoNullMarked.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// JSPECIFY_STATE: warn
// ALLOW_KOTLIN_PACKAGE // ALLOW_KOTLIN_PACKAGE
// MODULE: module1 // MODULE: module1
compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/dependentModulesNullMarked.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// JSPECIFY_STATE: warn
// ALLOW_KOTLIN_PACKAGE // ALLOW_KOTLIN_PACKAGE
// MODULE: module1 // MODULE: module1
compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/dontPropagateModuleAnnotationToAnotherModuleWithSamePackage.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// JSPECIFY_STATE: warn
// ALLOW_KOTLIN_PACKAGE // ALLOW_KOTLIN_PACKAGE
// MODULE: sandbox // MODULE: sandbox
compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/dotNamedModule.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// JSPECIFY_STATE: warn
// ALLOW_KOTLIN_PACKAGE // ALLOW_KOTLIN_PACKAGE
// FILE: my.sand.box/module-info.java // FILE: my.sand.box/module-info.java
compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/inheritanceAcrossModules.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// JSPECIFY_STATE: warn
// ALLOW_KOTLIN_PACKAGE // ALLOW_KOTLIN_PACKAGE
// MODULE: module1 // MODULE: module1
compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/nestedClasses.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// JSPECIFY_STATE: warn
// ALLOW_KOTLIN_PACKAGE // ALLOW_KOTLIN_PACKAGE
// FILE: sandbox/module-info.java // FILE: sandbox/module-info.java
compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/overrideAtDeclarationLevel.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// JSPECIFY_STATE: warn
// ALLOW_KOTLIN_PACKAGE // ALLOW_KOTLIN_PACKAGE
// FILE: sandbox/test/module-info.java // FILE: sandbox/test/module-info.java
compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/severalModulesDifferentPackages.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// JSPECIFY_STATE: warn
// ALLOW_KOTLIN_PACKAGE // ALLOW_KOTLIN_PACKAGE
// MODULE: module1 // MODULE: module1
compiler/testData/diagnostics/foreignAnnotationsTests/tests/multiple.txt
Vendored
+13 -1
View File
@@ -3,7 +3,7 @@ package
public fun main1(/*0*/ a: A1<kotlin.String>, /*1*/ a1: A1<kotlin.String?>): kotlin.Unit public fun main1(/*0*/ a: A1<kotlin.String>, /*1*/ a1: A1<kotlin.String?>): kotlin.Unit
public fun main2(/*0*/ a: A2<kotlin.String>, /*1*/ a1: A2<kotlin.String?>): kotlin.Unit public fun main2(/*0*/ a: A2<kotlin.String>, /*1*/ a1: A2<kotlin.String?>): kotlin.Unit
public fun main3(/*0*/ a: A3<kotlin.String>, /*1*/ a1: A3<kotlin.String?>): kotlin.Unit public fun main3(/*0*/ a: A3<kotlin.String>, /*1*/ a1: A3<kotlin.String?>): kotlin.Unit
public fun main4(/*0*/ a: [ERROR : A4<String>]<kotlin.String>, /*1*/ a1: [ERROR : A4<String?>]<kotlin.String?>): kotlin.Unit public fun main4(/*0*/ a: A4<kotlin.String>, /*1*/ a1: A4<kotlin.String?>): kotlin.Unit
public open class A1</*0*/ T : kotlin.Any!> { public open class A1</*0*/ T : kotlin.Any!> {
public constructor A1</*0*/ T : kotlin.Any!>() public constructor A1</*0*/ T : kotlin.Any!>()
@@ -37,3 +37,15 @@ public open class A3</*0*/ T : kotlin.Any!> {
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
} }
public open class A4</*0*/ T : kotlin.Any!> {
public constructor A4</*0*/ T : kotlin.Any!>()
@com.android.annotations.Nullable public final var field: kotlin.String!
@com.android.annotations.NonNull public open fun bar(): kotlin.String!
@com.android.annotations.Nullable public open fun baz(/*0*/ @com.android.annotations.NonNull x: T!): T!
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
@com.android.annotations.Nullable public open fun foo(/*0*/ @com.android.annotations.NonNull x: kotlin.String!, /*1*/ @com.android.annotations.Nullable y: kotlin.CharSequence!): kotlin.String!
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}