blob: d03b58947f4294e08d15b1405e7c589a2de75378 [file]
FILE fqName:<root> fileName:/test.kt
CLASS CLASS name:Inv modality:FINAL visibility:public superTypes:[kotlin.Any]
thisReceiver: VALUE_PARAMETER INSTANCE_RECEIVER kind:DispatchReceiver name:<this> type:<root>.Inv<T of <root>.Inv>
TYPE_PARAMETER name:T index:0 variance: superTypes:[kotlin.Any?] reified:false
PROPERTY name:x visibility:public modality:FINAL [val]
FIELD PROPERTY_BACKING_FIELD name:x type:T of <root>.Inv visibility:private [final]
EXPRESSION_BODY
GET_VAR 'x: T of <root>.Inv declared in <root>.Inv.<init>' type=T of <root>.Inv origin=INITIALIZE_PROPERTY_FROM_PARAMETER
FUN DEFAULT_PROPERTY_ACCESSOR name:<get-x> visibility:public modality:FINAL returnType:T of <root>.Inv
VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:<root>.Inv<T of <root>.Inv>
correspondingProperty: PROPERTY name:x visibility:public modality:FINAL [val]
BLOCK_BODY
RETURN type=kotlin.Nothing from='public final fun <get-x> (): T of <root>.Inv declared in <root>.Inv'
GET_FIELD 'FIELD PROPERTY_BACKING_FIELD name:x type:T of <root>.Inv visibility:private [final]' type=T of <root>.Inv origin=null
receiver: GET_VAR '<this>: <root>.Inv<T of <root>.Inv> declared in <root>.Inv.<get-x>' type=<root>.Inv<T of <root>.Inv> origin=null
CONSTRUCTOR visibility:public returnType:<root>.Inv<T of <root>.Inv> [primary]
VALUE_PARAMETER kind:Regular name:x index:0 type:T of <root>.Inv
BLOCK_BODY
DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () declared in kotlin.Any'
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:Inv modality:FINAL visibility:public superTypes:[kotlin.Any]' type=kotlin.Unit
FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN returnType:kotlin.Boolean [fake_override,operator]
VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:kotlin.Any
VALUE_PARAMETER kind:Regular name:other index:1 type:kotlin.Any?
overridden:
public open fun equals (other: kotlin.Any?): kotlin.Boolean declared in kotlin.Any
FUN FAKE_OVERRIDE name:hashCode visibility:public modality:OPEN returnType:kotlin.Int [fake_override]
VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:kotlin.Any
overridden:
public open fun hashCode (): kotlin.Int declared in kotlin.Any
FUN FAKE_OVERRIDE name:toString visibility:public modality:OPEN returnType:kotlin.String [fake_override]
VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:kotlin.Any
overridden:
public open fun toString (): kotlin.String declared in kotlin.Any
CLASS CLASS name:Test_1 modality:FINAL visibility:public superTypes:[<root>.JavaClass1<TT of <root>.Test_1>]
thisReceiver: VALUE_PARAMETER INSTANCE_RECEIVER kind:DispatchReceiver name:<this> type:<root>.Test_1<TT of <root>.Test_1>
TYPE_PARAMETER name:TT index:0 variance: superTypes:[kotlin.Any?] reified:false
PROPERTY name:x visibility:public modality:FINAL [val]
FIELD PROPERTY_BACKING_FIELD name:x type:TT of <root>.Test_1 visibility:private [final]
EXPRESSION_BODY
GET_VAR 'x: TT of <root>.Test_1 declared in <root>.Test_1.<init>' type=TT of <root>.Test_1 origin=INITIALIZE_PROPERTY_FROM_PARAMETER
FUN DEFAULT_PROPERTY_ACCESSOR name:<get-x> visibility:public modality:FINAL returnType:TT of <root>.Test_1
VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:<root>.Test_1<TT of <root>.Test_1>
correspondingProperty: PROPERTY name:x visibility:public modality:FINAL [val]
BLOCK_BODY
RETURN type=kotlin.Nothing from='public final fun <get-x> (): TT of <root>.Test_1 declared in <root>.Test_1'
GET_FIELD 'FIELD PROPERTY_BACKING_FIELD name:x type:TT of <root>.Test_1 visibility:private [final]' type=TT of <root>.Test_1 origin=null
receiver: GET_VAR '<this>: <root>.Test_1<TT of <root>.Test_1> declared in <root>.Test_1.<get-x>' type=<root>.Test_1<TT of <root>.Test_1> origin=null
CONSTRUCTOR visibility:public returnType:<root>.Test_1<TT of <root>.Test_1> [primary]
VALUE_PARAMETER kind:Regular name:x index:0 type:TT of <root>.Test_1
BLOCK_BODY
DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () declared in <root>.JavaClass1'
TYPE_ARG T: TT of <root>.Test_1
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:Test_1 modality:FINAL visibility:public superTypes:[<root>.JavaClass1<TT of <root>.Test_1>]' type=kotlin.Unit
FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN returnType:kotlin.Boolean [fake_override,operator]
VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:kotlin.Any
VALUE_PARAMETER kind:Regular name:other index:1 type:kotlin.Any?
overridden:
public open fun equals (other: kotlin.Any?): kotlin.Boolean declared in <root>.JavaClass1
FUN FAKE_OVERRIDE name:hashCode visibility:public modality:OPEN returnType:kotlin.Int [fake_override]
VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:kotlin.Any
overridden:
public open fun hashCode (): kotlin.Int declared in <root>.JavaClass1
FUN FAKE_OVERRIDE name:toString visibility:public modality:OPEN returnType:kotlin.String [fake_override]
VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:kotlin.Any
overridden:
public open fun toString (): kotlin.String declared in <root>.JavaClass1
FUN name:test visibility:public modality:FINAL returnType:kotlin.Unit
VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:<root>.Test_1<TT of <root>.Test_1>
VALUE_PARAMETER kind:Regular name:b index:1 type:<root>.JavaClass1.B<TT of <root>.Test_1>
BLOCK_BODY
CALL 'public open fun output (x: @[EnhancedNullability] T of <root>.JavaClass1): kotlin.Unit declared in <root>.JavaClass1.B' type=kotlin.Unit origin=null
ARG <this>: GET_VAR 'b: <root>.JavaClass1.B<TT of <root>.Test_1> declared in <root>.Test_1.test' type=<root>.JavaClass1.B<TT of <root>.Test_1> origin=null
ARG x: CALL 'public final fun <get-x> (): TT of <root>.Test_1 declared in <root>.Test_1' type=TT of <root>.Test_1 origin=GET_PROPERTY
ARG <this>: GET_VAR '<this>: <root>.Test_1<TT of <root>.Test_1> declared in <root>.Test_1.test' type=<root>.Test_1<TT of <root>.Test_1> origin=IMPLICIT_ARGUMENT
CLASS CLASS name:Test_2 modality:FINAL visibility:public superTypes:[<root>.JavaClass2<TT of <root>.Test_2, <root>.Inv<TT of <root>.Test_2>>]
thisReceiver: VALUE_PARAMETER INSTANCE_RECEIVER kind:DispatchReceiver name:<this> type:<root>.Test_2<TT of <root>.Test_2>
TYPE_PARAMETER name:TT index:0 variance: superTypes:[kotlin.Any?] reified:false
CONSTRUCTOR visibility:public returnType:<root>.Test_2<TT of <root>.Test_2> [primary]
BLOCK_BODY
DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () declared in <root>.JavaClass2'
TYPE_ARG T: TT of <root>.Test_2
TYPE_ARG R: <root>.Inv<TT of <root>.Test_2>
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:Test_2 modality:FINAL visibility:public superTypes:[<root>.JavaClass2<TT of <root>.Test_2, <root>.Inv<TT of <root>.Test_2>>]' type=kotlin.Unit
FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN returnType:kotlin.Boolean [fake_override,operator]
VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:kotlin.Any
VALUE_PARAMETER kind:Regular name:other index:1 type:kotlin.Any?
overridden:
public open fun equals (other: kotlin.Any?): kotlin.Boolean declared in <root>.JavaClass2
FUN FAKE_OVERRIDE name:hashCode visibility:public modality:OPEN returnType:kotlin.Int [fake_override]
VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:kotlin.Any
overridden:
public open fun hashCode (): kotlin.Int declared in <root>.JavaClass2
FUN FAKE_OVERRIDE name:toString visibility:public modality:OPEN returnType:kotlin.String [fake_override]
VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:kotlin.Any
overridden:
public open fun toString (): kotlin.String declared in <root>.JavaClass2
FUN name:process visibility:public modality:FINAL returnType:kotlin.Unit
VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:<root>.Test_2<TT of <root>.Test_2>
VALUE_PARAMETER kind:Regular name:b index:1 type:<root>.JavaClass2.B<TT of <root>.Test_2, <root>.Inv<TT of <root>.Test_2>>
BLOCK_BODY
CALL 'public abstract fun output (output: @[EnhancedNullability] R of <root>.JavaClass2): kotlin.Unit declared in <root>.JavaClass2.B' type=kotlin.Unit origin=null
ARG <this>: GET_VAR 'b: <root>.JavaClass2.B<TT of <root>.Test_2, <root>.Inv<TT of <root>.Test_2>> declared in <root>.Test_2.process' type=<root>.JavaClass2.B<TT of <root>.Test_2, <root>.Inv<TT of <root>.Test_2>> origin=null
ARG output: CONSTRUCTOR_CALL 'public constructor <init> (x: T of <root>.Inv) declared in <root>.Inv' type=<root>.Inv<TT of <root>.Test_2> origin=null
TYPE_ARG (of class) T: TT of <root>.Test_2
ARG x: CALL 'public abstract fun element (): @[EnhancedNullability] T of <root>.JavaClass2 declared in <root>.JavaClass2.B' type=@[EnhancedNullability] TT of <root>.Test_2 origin=null
ARG <this>: GET_VAR 'b: <root>.JavaClass2.B<TT of <root>.Test_2, <root>.Inv<TT of <root>.Test_2>> declared in <root>.Test_2.process' type=<root>.JavaClass2.B<TT of <root>.Test_2, <root>.Inv<TT of <root>.Test_2>> origin=null
FUN name:test_3 visibility:public modality:FINAL returnType:kotlin.Unit
TYPE_PARAMETER name:R index:0 variance: superTypes:[kotlin.Any?] reified:false
VALUE_PARAMETER kind:Regular name:jb index:0 type:<root>.JavaClass1.B<R of <root>.test_3>
VALUE_PARAMETER kind:Regular name:r index:1 type:R of <root>.test_3
BLOCK_BODY
CALL 'public open fun output (x: @[EnhancedNullability] T of <root>.JavaClass1): kotlin.Unit declared in <root>.JavaClass1.B' type=kotlin.Unit origin=null
ARG <this>: GET_VAR 'jb: <root>.JavaClass1.B<R of <root>.test_3> declared in <root>.test_3' type=<root>.JavaClass1.B<R of <root>.test_3> origin=null
ARG x: GET_VAR 'r: R of <root>.test_3 declared in <root>.test_3' type=R of <root>.test_3 origin=null