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

JVM: Generate generic signatures for delegate fields

Browse Source
This commit is contained in:
Steven Schäfer
2020-03-02 11:11:07 +01:00
committed by Alexander Udalov
parent 20ea77d55d
commit 34fb636904
5 changed files with 22 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/backend/src/org/jetbrains/kotlin/codegen/DelegationFieldsInfo.java
+15 -6
View File
@@ -8,6 +8,7 @@ package org.jetbrains.kotlin.codegen;
import org.jetbrains.annotations.NotNull;
import org.jetbrains.annotations.Nullable;
import org.jetbrains.kotlin.backend.common.CodegenUtil;
import org.jetbrains.kotlin.codegen.signature.BothSignatureWriter;
import org.jetbrains.kotlin.codegen.state.GenerationState;
import org.jetbrains.kotlin.codegen.state.KotlinTypeMapper;
import org.jetbrains.kotlin.descriptors.ClassDescriptor;
@@ -49,11 +50,17 @@ public class DelegationFieldsInfo {
public final Type type;
public final String name;
public final boolean generateField;
public final String genericSignature;
private Field(Type type, String name, boolean generateField) {
private Field(Type type, String name, boolean generateField, String genericSignature) {
this.type = type;
this.name = name;
this.generateField = generateField;
this.genericSignature = genericSignature;
}
private Field(Type type, String name, boolean generateField) {
this(type, name, generateField, null);
}
@NotNull
@@ -75,8 +82,8 @@ public class DelegationFieldsInfo {
new DelegationFieldsInfo.Field(typeMapper.mapType(propertyDescriptor), propertyDescriptor.getName().asString(), false));
}
private void addField(KtDelegatedSuperTypeEntry specifier, Type type, String name) {
fields.put(specifier, new DelegationFieldsInfo.Field(type, name, true));
private void addField(KtDelegatedSuperTypeEntry specifier, Type type, String name, String genericSignature) {
fields.put(specifier, new DelegationFieldsInfo.Field(type, name, true, genericSignature));
}
@NotNull
@@ -97,13 +104,15 @@ public class DelegationFieldsInfo {
else {
KotlinType expressionType = bindingContext.getType(expression);
ClassDescriptor superClass = JvmCodegenUtil.getSuperClass(specifier, state, bindingContext);
BothSignatureWriter sw = new BothSignatureWriter(BothSignatureWriter.Mode.TYPE);
Type asmType =
expressionType != null ? typeMapper.mapType(expressionType) :
superClass != null ? typeMapper.mapType(superClass) : null;
expressionType != null ? typeMapper.mapType(expressionType, sw) :
superClass != null ? typeMapper.mapType(superClass.getDefaultType(), sw) : null;
if (asmType == null) continue;
result.addField((KtDelegatedSuperTypeEntry) specifier, asmType, DELEGATE_SUPER_FIELD_PREFIX + n);
String genericSignature = sw.makeJavaGenericSignature();
result.addField((KtDelegatedSuperTypeEntry) specifier, asmType, DELEGATE_SUPER_FIELD_PREFIX + n, genericSignature);
}
n++;
}
compiler/backend/src/org/jetbrains/kotlin/codegen/ImplementationBodyCodegen.java
+1 -1
View File
@@ -1176,7 +1176,7 @@ public class ImplementationBodyCodegen extends ClassBodyCodegen {
if (!fieldInfo.generateField) return;
v.newField(JvmDeclarationOrigin.NO_ORIGIN, ACC_PRIVATE | ACC_FINAL | ACC_SYNTHETIC,
fieldInfo.name, fieldInfo.type.getDescriptor(), /*TODO*/null, null);
fieldInfo.name, fieldInfo.type.getDescriptor(), fieldInfo.genericSignature, null);
}
private void generateDelegates(