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

[IR] Fix translation of synthetic generic java properties

Browse Source 
- Compute substituted accessor descriptor to avoid unbound type parameters
This commit is contained in:
Roman Artemev
2020-03-26 18:04:35 +03:00
committed by romanart
parent 4bebfd33b9
commit 6e01ec8dd3
17 changed files with 306 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/fir/fir2ir/tests/org/jetbrains/kotlin/codegen/ir/FirBlackBoxCodegenTestGenerated.java
Generated
+10
View File
@@ -13665,6 +13665,11 @@ public class FirBlackBoxCodegenTestGenerated extends AbstractFirBlackBoxCodegenT
runTest("compiler/testData/codegen/box/ir/fileClassInitializers.kt");
}
@TestMetadata("genericCompanion.kt")
public void testGenericCompanion() throws Exception {
runTest("compiler/testData/codegen/box/ir/genericCompanion.kt");
}
@TestMetadata("kt25405.kt")
public void testKt25405() throws Exception {
runTest("compiler/testData/codegen/box/ir/kt25405.kt");
@@ -18395,6 +18400,11 @@ public class FirBlackBoxCodegenTestGenerated extends AbstractFirBlackBoxCodegenT
runTest("compiler/testData/codegen/box/properties/initOrderMultiModule.kt");
}
@TestMetadata("javaGenericSynthProperty.kt")
public void testJavaGenericSynthProperty() throws Exception {
runTest("compiler/testData/codegen/box/properties/javaGenericSynthProperty.kt");
}
@TestMetadata("javaPropertyBoxedGetter.kt")
public void testJavaPropertyBoxedGetter() throws Exception {
runTest("compiler/testData/codegen/box/properties/javaPropertyBoxedGetter.kt");
compiler/fir/fir2ir/tests/org/jetbrains/kotlin/fir/Fir2IrTextTestGenerated.java
Generated
+5
View File
@@ -997,6 +997,11 @@ public class Fir2IrTextTestGenerated extends AbstractFir2IrTextTest {
runTest("compiler/testData/ir/irText/expressions/interfaceThisRef.kt");
}
@TestMetadata("javaSyntheticGenericPropretyAccess.kt")
public void testJavaSyntheticGenericPropretyAccess() throws Exception {
runTest("compiler/testData/ir/irText/expressions/javaSyntheticGenericPropretyAccess.kt");
}
@TestMetadata("javaSyntheticPropertyAccess.kt")
public void testJavaSyntheticPropertyAccess() throws Exception {
runTest("compiler/testData/ir/irText/expressions/javaSyntheticPropertyAccess.kt");
compiler/ir/ir.psi2ir/src/org/jetbrains/kotlin/psi2ir/generators/AssignmentGenerator.kt
+2 -2
View File
@@ -330,9 +330,9 @@ class AssignmentGenerator(statementGenerator: StatementGenerator) : StatementGen
ktExpression.startOffsetSkippingComments, ktExpression.endOffset, origin,
propertyIrType,
getterSymbol,
getterDescriptor,
getterDescriptor?.let { computeSubstitutedSyntheticAccessor(unwrappedPropertyDescriptor, it) },
setterSymbol,
setterDescriptor,
setterDescriptor?.let { computeSubstitutedSyntheticAccessor(unwrappedPropertyDescriptor, it) },
typeArgumentsList,
propertyReceiver,
superQualifierSymbol
compiler/ir/ir.psi2ir/src/org/jetbrains/kotlin/psi2ir/generators/CallGenerator.kt
+2 -2
View File
@@ -35,7 +35,7 @@ import org.jetbrains.kotlin.resolve.calls.model.ResolvedValueArgument
import org.jetbrains.kotlin.resolve.calls.tasks.isDynamic
import org.jetbrains.kotlin.resolve.calls.util.FakeCallableDescriptorForObject
import org.jetbrains.kotlin.resolve.descriptorUtil.classValueType
import org.jetbrains.kotlin.types.KotlinType
import org.jetbrains.kotlin.types.*
import java.util.*
class CallGenerator(statementGenerator: StatementGenerator) : StatementGeneratorExtension(statementGenerator) {
@@ -211,7 +211,7 @@ class CallGenerator(statementGenerator: StatementGenerator) : StatementGenerator
IrStatementOrigin.GET_PROPERTY,
superQualifierSymbol
).apply {
context.callToSubstitutedDescriptorMap[this] = getMethodDescriptor
context.callToSubstitutedDescriptorMap[this] = computeSubstitutedSyntheticAccessor(descriptor, getMethodDescriptor)
putTypeArguments(call.typeArguments) { it.toIrType() }
dispatchReceiver = dispatchReceiverValue?.load()
extensionReceiver = extensionReceiverValue?.load()
compiler/ir/ir.psi2ir/src/org/jetbrains/kotlin/psi2ir/intermediate/IrUtils.kt
+54 -2
View File
@@ -16,10 +16,13 @@
package org.jetbrains.kotlin.psi2ir.intermediate
import org.jetbrains.kotlin.descriptors.CallableMemberDescriptor
import org.jetbrains.kotlin.descriptors.*
import org.jetbrains.kotlin.ir.declarations.IrVariable
import org.jetbrains.kotlin.ir.expressions.IrExpression
import org.jetbrains.kotlin.ir.expressions.impl.IrGetValueImpl
import org.jetbrains.kotlin.ir.expressions.typeParametersCount
import org.jetbrains.kotlin.types.TypeConstructor
import org.jetbrains.kotlin.types.TypeSubstitutor
fun IrVariable.defaultLoad(): IrExpression =
IrGetValueImpl(startOffset, endOffset, type, symbol)
@@ -47,4 +50,53 @@ fun CallReceiver.adjustForCallee(callee: CallableMemberDescriptor): CallReceiver
}
withDispatchAndExtensionReceivers(newDispatchReceiverValue, newExtensionReceiverValue)
}
}
}
fun computeSubstitutedSyntheticAccessor(propertyDescriptor: PropertyDescriptor, accessorFunctionDescriptor: FunctionDescriptor): FunctionDescriptor {
if (propertyDescriptor.original == propertyDescriptor) return accessorFunctionDescriptor
// Compute substituted accessor descriptor in case of Synthetic Java property `Java: getFoo() -> Kotlin: foo`
if (propertyDescriptor !is SyntheticPropertyDescriptor) return accessorFunctionDescriptor
if (propertyDescriptor.extensionReceiverParameter == null || propertyDescriptor.dispatchReceiverParameter != null) {
return accessorFunctionDescriptor
}
if (accessorFunctionDescriptor !is SimpleFunctionDescriptor) return accessorFunctionDescriptor
/**
* Consider java class like
* O.java
* class O<T1> {
* class I<T2> {
* public String getFoo() { ... }
* }
* }
*
* k.kt
* fun f(i: O<String>.I<Int>) = i.foo
*
*
* for that case front end creates synthetic property foo
* private val <T1', T2'> O<T1'>.I<T2'>.foo get() = this.getFoo()
*
* So to get substituted descriptor for getFoo() we need to extract substitution from extension receiver type.
* To do so map Tx parameters onto Tx' arguments like
* T1' -> String
* T2' -> Int
* into
* T1 -> String
* T2 -> Int
*/
val classDescriptor = accessorFunctionDescriptor.containingDeclaration as ClassDescriptor
val collectedTypeParameters = classDescriptor.typeConstructor.parameters.map { it.typeConstructor }
assert(collectedTypeParameters.size == propertyDescriptor.typeParametersCount)
val typeArguments = propertyDescriptor.extensionReceiverParameter!!.type.arguments
assert(typeArguments.size == collectedTypeParameters.size)
val typeSubstitutor = TypeSubstitutor.create(collectedTypeParameters.zip(typeArguments).toMap())
return accessorFunctionDescriptor.substitute(typeSubstitutor) ?: error("Cannot substitute descriptor for $accessorFunctionDescriptor")
}
compiler/testData/codegen/box/ir/genericCompanion.kt
Vendored
+22
View File
@@ -0,0 +1,22 @@
// MODULE: lib
// FILE: lib.kt
class C<T> {
fun foo(): String = "OK"
companion object {
fun bar(): C<*> = C<String>()
}
}
// MODULE: main(lib)
// FILE: main.kt
fun box(): String {
return C.bar().foo()
}
compiler/testData/codegen/box/properties/javaGenericSynthProperty.kt
Vendored
+88
View File
@@ -0,0 +1,88 @@
// TARGET_BACKEND: JVM
// FILE: Box.java
class Box<B> {
public B f;
public Box(B b) {
this.f = b;
}
}
// FILE: JOuter.java
public class JOuter<O1, O2> {
public O1 o1;
public O2 o2;
public JOuter(O1 a1, O2 a2) {
this.o1 = a1;
this.o2 = a2;
}
public JInner<Box<O1>, ?> instance(O1 s1, O2 s2) {
return new JInner<Box<O1>, O2>(new Box(s1), s2);
}
public JStatic<?, Box<O2>> staticInstance() {
return new JStatic<O1, Box<O2>>(o1, new Box(o2));
}
public class JInner<I1, I2> {
public I1 i1;
public I2 i2;
public JInner(I1 a1, I2 a2) {
this.i1 = a1;
this.i2 = a2;
}
public String getFoo() {
String s1 = (String)o1;
String s2 = ((Box<String>)i1).f;
return s1 + s2;
}
public String getBar() {
String s1 = (String)o2;
String s2 = (String)i2;
return s1 + s2;
}
}
public static class JStatic<S1, S2> {
public S1 ss1;
public S2 ss2;
public JStatic(S1 a1, S2 a2) {
this.ss1 = a1;
this.ss2 = a2;
}
public String getQux() {
String s1 = (String)ss1;
String s2 = ((Box<String>)ss2).f;
return s1 + s2;
}
}
}
// FILE: kotlin.kt
fun box(): String {
val o = JOuter<String, String>("1", "2")
val r1 = o.instance("3", "4").foo
if (r1 != "13") return "FAIL1: $r1"
val r2 = o.instance("5", "6").bar
if (r2 != "26") return "FAIL2: $r2"
val r3 = o.staticInstance().qux
if (r3 != "12") return "FAIL3: $r3"
return "OK"
}
compiler/testData/ir/irText/expressions/javaSyntheticGenericPropertyAccess.fir.txt
Vendored
+23
View File
@@ -0,0 +1,23 @@
FILE fqName:<root> fileName:/javaSyntheticGenericPropertyAccess.kt
FUN name:test visibility:public modality:FINAL <F> (j:<root>.J<F of <root>.test>) returnType:kotlin.Unit
TYPE_PARAMETER name:F index:0 variance: superTypes:[kotlin.Any?]
VALUE_PARAMETER name:j index:0 type:<root>.J<F of <root>.test>
BLOCK_BODY
CALL 'public open fun <get-foo> (): kotlin.Int declared in <root>.J' type=kotlin.Int origin=GET_PROPERTY
$this: GET_VAR 'j: <root>.J<F of <root>.test> declared in <root>.test' type=<root>.J<F of <root>.test> origin=null
CALL 'public open fun <set-foo> (x: kotlin.Int): kotlin.Unit declared in <root>.J' type=kotlin.Unit origin=EQ
$this: GET_VAR 'j: <root>.J<F of <root>.test> declared in <root>.test' type=<root>.J<F of <root>.test> origin=null
x: CONST Int type=kotlin.Int value=1
VAR IR_TEMPORARY_VARIABLE name:tmp_0 type:kotlin.Int [val]
CALL 'public open fun <get-foo> (): kotlin.Int declared in <root>.J' type=kotlin.Int origin=GET_PROPERTY
$this: GET_VAR 'j: <root>.J<F of <root>.test> declared in <root>.test' type=<root>.J<F of <root>.test> origin=null
CALL 'public open fun <set-foo> (x: kotlin.Int): kotlin.Unit declared in <root>.J' type=kotlin.Unit origin=EQ
$this: GET_VAR 'j: <root>.J<F of <root>.test> declared in <root>.test' type=<root>.J<F of <root>.test> origin=null
x: CALL 'public final fun inc (): kotlin.Int [operator] declared in kotlin.Int' type=kotlin.Int origin=null
$this: GET_VAR 'val tmp_0: kotlin.Int [val] declared in <root>.test' type=kotlin.Int origin=null
GET_VAR 'val tmp_0: kotlin.Int [val] declared in <root>.test' type=kotlin.Int origin=null
CALL 'public open fun <set-foo> (x: kotlin.Int): kotlin.Unit declared in <root>.J' type=kotlin.Unit origin=EQ
x: CALL 'public final fun plus (other: kotlin.Int): kotlin.Int [operator] declared in kotlin.Int' type=kotlin.Int origin=null
$this: CALL 'public open fun <get-foo> (): kotlin.Int declared in <root>.J' type=kotlin.Int origin=GET_PROPERTY
$this: GET_VAR 'j: <root>.J<F of <root>.test> declared in <root>.test' type=<root>.J<F of <root>.test> origin=null
other: CONST Int type=kotlin.Int value=1
compiler/testData/ir/irText/expressions/javaSyntheticGenericPropertyAccess.txt
Vendored
+39
View File
@@ -0,0 +1,39 @@
FILE fqName:<root> fileName:/javaSyntheticGenericPropertyAccess.kt
FUN name:test visibility:public modality:FINAL <F> (j:<root>.J<F of <root>.test>) returnType:kotlin.Unit
TYPE_PARAMETER name:F index:0 variance: superTypes:[kotlin.Any?]
VALUE_PARAMETER name:j index:0 type:<root>.J<F of <root>.test>
BLOCK_BODY
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
CALL 'public open fun getFoo (): kotlin.Int declared in <root>.J' type=kotlin.Int origin=GET_PROPERTY
<1>: F of <root>.test
$this: GET_VAR 'j: <root>.J<F of <root>.test> declared in <root>.test' type=<root>.J<F of <root>.test> origin=null
CALL 'public open fun setFoo (x: kotlin.Int): kotlin.Unit declared in <root>.J' type=kotlin.Unit origin=EQ
<1>: F of <root>.test
$this: GET_VAR 'j: <root>.J<F of <root>.test> declared in <root>.test' type=<root>.J<F of <root>.test> origin=null
x: CONST Int type=kotlin.Int value=1
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
BLOCK type=kotlin.Int origin=POSTFIX_INCR
VAR IR_TEMPORARY_VARIABLE name:tmp_0 type:<root>.J<F of <root>.test> [val]
GET_VAR 'j: <root>.J<F of <root>.test> declared in <root>.test' type=<root>.J<F of <root>.test> origin=null
BLOCK type=kotlin.Int origin=POSTFIX_INCR
VAR IR_TEMPORARY_VARIABLE name:tmp_1 type:kotlin.Int [val]
CALL 'public open fun getFoo (): kotlin.Int declared in <root>.J' type=kotlin.Int origin=POSTFIX_INCR
<1>: F of <root>.test
$this: GET_VAR 'val tmp_0: <root>.J<F of <root>.test> [val] declared in <root>.test' type=<root>.J<F of <root>.test> origin=null
CALL 'public open fun setFoo (x: kotlin.Int): kotlin.Unit declared in <root>.J' type=kotlin.Unit origin=POSTFIX_INCR
<1>: F of <root>.test
$this: GET_VAR 'val tmp_0: <root>.J<F of <root>.test> [val] declared in <root>.test' type=<root>.J<F of <root>.test> origin=null
x: CALL 'public final fun inc (): kotlin.Int [operator] declared in kotlin.Int' type=kotlin.Int origin=POSTFIX_INCR
$this: GET_VAR 'val tmp_1: kotlin.Int [val] declared in <root>.test' type=kotlin.Int origin=null
GET_VAR 'val tmp_1: kotlin.Int [val] declared in <root>.test' type=kotlin.Int origin=null
BLOCK type=kotlin.Unit origin=PLUSEQ
VAR IR_TEMPORARY_VARIABLE name:tmp_2 type:<root>.J<F of <root>.test> [val]
GET_VAR 'j: <root>.J<F of <root>.test> declared in <root>.test' type=<root>.J<F of <root>.test> origin=null
CALL 'public open fun setFoo (x: kotlin.Int): kotlin.Unit declared in <root>.J' type=kotlin.Unit origin=PLUSEQ
<1>: F of <root>.test
$this: GET_VAR 'val tmp_2: <root>.J<F of <root>.test> [val] declared in <root>.test' type=<root>.J<F of <root>.test> origin=null
x: CALL 'public final fun plus (other: kotlin.Int): kotlin.Int [operator] declared in kotlin.Int' type=kotlin.Int origin=PLUSEQ
$this: CALL 'public open fun getFoo (): kotlin.Int declared in <root>.J' type=kotlin.Int origin=PLUSEQ
<1>: F of <root>.test
$this: GET_VAR 'val tmp_2: <root>.J<F of <root>.test> [val] declared in <root>.test' type=<root>.J<F of <root>.test> origin=null
other: CONST Int type=kotlin.Int value=1
compiler/testData/ir/irText/expressions/javaSyntheticGenericPropretyAccess.kt
Vendored
+15
View File
@@ -0,0 +1,15 @@
// FILE: javaSyntheticGenericPropertyAccess.kt
fun <F> test(j: J<F>) {
j.foo
j.foo = 1
j.foo++
j.foo += 1
}
// FILE: J.java
public class J<T> {
private int foo = 42;
public int getFoo() { return foo; }
public void setFoo(int x) {}
}
compiler/testData/ir/irText/stubs/jdkClassSyntheticProperty.txt
Vendored
+1 -2
View File
@@ -7,5 +7,4 @@ FILE fqName:<root> fileName:/jdkClassSyntheticProperty.kt
RETURN type=kotlin.Nothing from='public final fun <get-test> (): kotlin.Array<out java.lang.reflect.Field?>? declared in <root>'
CALL 'public open fun getDeclaredFields (): kotlin.Array<out java.lang.reflect.Field?>? declared in java.lang.Class' type=kotlin.Array<out java.lang.reflect.Field?>? origin=GET_PROPERTY
<1>: kotlin.Any?
$this: TYPE_OP type=java.lang.Class<T of java.lang.Class> origin=IMPLICIT_CAST typeOperand=java.lang.Class<T of java.lang.Class>
GET_VAR '<this>: java.lang.Class<*> declared in <root>.<get-test>' type=java.lang.Class<*> origin=null
$this: GET_VAR '<this>: java.lang.Class<*> declared in <root>.<get-test>' type=java.lang.Class<*> origin=null
compiler/tests/org/jetbrains/kotlin/codegen/BlackBoxCodegenTestGenerated.java
Generated
+10
View File
@@ -14815,6 +14815,11 @@ public class BlackBoxCodegenTestGenerated extends AbstractBlackBoxCodegenTest {
runTest("compiler/testData/codegen/box/ir/fileClassInitializers.kt");
}
@TestMetadata("genericCompanion.kt")
public void testGenericCompanion() throws Exception {
runTest("compiler/testData/codegen/box/ir/genericCompanion.kt");
}
@TestMetadata("kt25405.kt")
public void testKt25405() throws Exception {
runTest("compiler/testData/codegen/box/ir/kt25405.kt");
@@ -19916,6 +19921,11 @@ public class BlackBoxCodegenTestGenerated extends AbstractBlackBoxCodegenTest {
runTest("compiler/testData/codegen/box/properties/initOrderMultiModule.kt");
}
@TestMetadata("javaGenericSynthProperty.kt")
public void testJavaGenericSynthProperty() throws Exception {
runTest("compiler/testData/codegen/box/properties/javaGenericSynthProperty.kt");
}
@TestMetadata("javaPropertyBoxedGetter.kt")
public void testJavaPropertyBoxedGetter() throws Exception {
runTest("compiler/testData/codegen/box/properties/javaPropertyBoxedGetter.kt");
compiler/tests/org/jetbrains/kotlin/codegen/LightAnalysisModeTestGenerated.java
Generated
+10
View File
@@ -14815,6 +14815,11 @@ public class LightAnalysisModeTestGenerated extends AbstractLightAnalysisModeTes
runTest("compiler/testData/codegen/box/ir/fileClassInitializers.kt");
}
@TestMetadata("genericCompanion.kt")
public void testGenericCompanion() throws Exception {
runTest("compiler/testData/codegen/box/ir/genericCompanion.kt");
}
@TestMetadata("kt25405.kt")
public void testKt25405() throws Exception {
runTest("compiler/testData/codegen/box/ir/kt25405.kt");
@@ -19921,6 +19926,11 @@ public class LightAnalysisModeTestGenerated extends AbstractLightAnalysisModeTes
runTest("compiler/testData/codegen/box/properties/initOrderMultiModule.kt");
}
@TestMetadata("javaGenericSynthProperty.kt")
public void testJavaGenericSynthProperty() throws Exception {
runTest("compiler/testData/codegen/box/properties/javaGenericSynthProperty.kt");
}
@TestMetadata("javaPropertyBoxedGetter.kt")
public void testJavaPropertyBoxedGetter() throws Exception {
runTest("compiler/testData/codegen/box/properties/javaPropertyBoxedGetter.kt");
compiler/tests/org/jetbrains/kotlin/codegen/ir/IrBlackBoxCodegenTestGenerated.java
Generated
+10
View File
@@ -13665,6 +13665,11 @@ public class IrBlackBoxCodegenTestGenerated extends AbstractIrBlackBoxCodegenTes
runTest("compiler/testData/codegen/box/ir/fileClassInitializers.kt");
}
@TestMetadata("genericCompanion.kt")
public void testGenericCompanion() throws Exception {
runTest("compiler/testData/codegen/box/ir/genericCompanion.kt");
}
@TestMetadata("kt25405.kt")
public void testKt25405() throws Exception {
runTest("compiler/testData/codegen/box/ir/kt25405.kt");
@@ -18395,6 +18400,11 @@ public class IrBlackBoxCodegenTestGenerated extends AbstractIrBlackBoxCodegenTes
runTest("compiler/testData/codegen/box/properties/initOrderMultiModule.kt");
}
@TestMetadata("javaGenericSynthProperty.kt")
public void testJavaGenericSynthProperty() throws Exception {
runTest("compiler/testData/codegen/box/properties/javaGenericSynthProperty.kt");
}
@TestMetadata("javaPropertyBoxedGetter.kt")
public void testJavaPropertyBoxedGetter() throws Exception {
runTest("compiler/testData/codegen/box/properties/javaPropertyBoxedGetter.kt");
compiler/tests/org/jetbrains/kotlin/ir/IrTextTestCaseGenerated.java
Generated
+5
View File
@@ -996,6 +996,11 @@ public class IrTextTestCaseGenerated extends AbstractIrTextTestCase {
runTest("compiler/testData/ir/irText/expressions/interfaceThisRef.kt");
}
@TestMetadata("javaSyntheticGenericPropretyAccess.kt")
public void testJavaSyntheticGenericPropretyAccess() throws Exception {
runTest("compiler/testData/ir/irText/expressions/javaSyntheticGenericPropretyAccess.kt");
}
@TestMetadata("javaSyntheticPropertyAccess.kt")
public void testJavaSyntheticPropertyAccess() throws Exception {
runTest("compiler/testData/ir/irText/expressions/javaSyntheticPropertyAccess.kt");
js/js.tests/test/org/jetbrains/kotlin/js/test/ir/semantics/IrJsCodegenBoxTestGenerated.java
Generated
+5
View File
@@ -11810,6 +11810,11 @@ public class IrJsCodegenBoxTestGenerated extends AbstractIrJsCodegenBoxTest {
runTest("compiler/testData/codegen/box/ir/fileClassInitializers.kt");
}
@TestMetadata("genericCompanion.kt")
public void testGenericCompanion() throws Exception {
runTest("compiler/testData/codegen/box/ir/genericCompanion.kt");
}
@TestMetadata("kt25405.kt")
public void testKt25405() throws Exception {
runTest("compiler/testData/codegen/box/ir/kt25405.kt");
js/js.tests/test/org/jetbrains/kotlin/js/test/semantics/JsCodegenBoxTestGenerated.java
Generated
+5
View File
@@ -11875,6 +11875,11 @@ public class JsCodegenBoxTestGenerated extends AbstractJsCodegenBoxTest {
runTest("compiler/testData/codegen/box/ir/fileClassInitializers.kt");
}
@TestMetadata("genericCompanion.kt")
public void testGenericCompanion() throws Exception {
runTest("compiler/testData/codegen/box/ir/genericCompanion.kt");
}
@TestMetadata("kt25405.kt")
public void testKt25405() throws Exception {
runTest("compiler/testData/codegen/box/ir/kt25405.kt");