kotlin-analysis-api/testData/referenceElement.kt

/*
 * Copyright 2024 Google LLC
 * Copyright 2010-2024 JetBrains s.r.o. and Kotlin Programming Language contributors.
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 * http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

// WITH_RUNTIME
// TEST PROCESSOR: ReferenceElementProcessor
// EXPECTED:
// KSClassifierReferenceImpl: Qualifier of B is A
// EXPECT NEXT: KSClassifierReferenceImpl: Qualifier of B is A
// KSClassifierReferenceImpl: Qualifier of C<INVARIANT Int> is A<INVARIANT String>
// EXPECT NEXT: KSClassifierReferenceImpl: Qualifier of C<INVARIANT Int> is A<INVARIANT String>
// KSClassifierReferenceImpl: Qualifier of ExampleAnnotation<INVARIANT ExampleParameter> is null
// KSClassifierReferenceImpl: Qualifier of ExampleParameter is null
// KSClassifierReferenceImpl: Qualifier of Int is null
// EXPECT NEXT: KSClassifierReferenceImpl: Qualifier of Int is null
// KSClassifierReferenceImpl: Qualifier of String is null
// EXPECT NEXT: KSClassifierReferenceImpl: Qualifier of String is null
// KSClassifierReferenceDescriptorImpl: Qualifier of Int is null
// KSClassifierReferenceDescriptorImpl: Qualifier of String is null
// KSClassifierReferenceDescriptorImpl: Qualifier of Y is X
// KSClassifierReferenceDescriptorImpl: Qualifier of Z<INVARIANT Int> is X<INVARIANT String>
// KSDefNonNullReferenceImpl: Enclosed type of T
// EXPECT NEXT: KSDefNonNullReferenceImpl: Enclosed type of T
// KSClassifierReferenceJavaImpl: Qualifier of Any is null
// KSClassifierReferenceJavaImpl: Qualifier of Any is null
// KSClassifierReferenceJavaImpl: Qualifier of Any is null
// KSClassifierReferenceJavaImpl: Qualifier of Any is null
// KSClassifierReferenceJavaImpl: Qualifier of Any is null
// KSClassifierReferenceJavaImpl: Qualifier of Any is null
// KSClassifierReferenceJavaImpl: Qualifier of H is J<INVARIANT (String..String?)>
// EXPECT NEXT: KSClassifierReferenceJavaImpl: Qualifier of H is J<INVARIANT (String..String?)>
// KSClassifierReferenceJavaImpl: Qualifier of I is J
// EXPECT NEXT: KSClassifierReferenceJavaImpl: Qualifier of I is J
// KSClassifierReferenceJavaImpl: Qualifier of String is null
// EXPECT NEXT: KSClassifierReferenceJavaImpl: Qualifier of String is null
// END

// MODULE: lib
// FILE: lib.kt
class X<T1> {
    class Y
    inner class Z<T2>
}
annotation class ExampleAnnotation<T>

interface ExampleParameter

val z: X.Y = X.Y()
val w: X<String>.Z<Int> = X<String>().Z<Int>()

// MODULE: main(lib)
// FILE: reference.kt
@ExampleAnnotation<ExampleParameter>
class A<T1> {
    class B
    inner class C<T2>
}

class DefNonNull<T> {
    val u: T & Any
}

val x: A.B = A.B()
val y: A<String>.C<Int> = A<String>().C<Int>()

// FILE: J.java
class J<T> {
    class H {
    }

    static class I {
    }
}

class K {
    J<String>.H x = null;
    J.I z = null;
}