001 /*
002 * Copyright 2010-2013 JetBrains s.r.o.
003 *
004 * Licensed under the Apache License, Version 2.0 (the "License");
005 * you may not use this file except in compliance with the License.
006 * You may obtain a copy of the License at
007 *
008 * http://www.apache.org/licenses/LICENSE-2.0
009 *
010 * Unless required by applicable law or agreed to in writing, software
011 * distributed under the License is distributed on an "AS IS" BASIS,
012 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
013 * See the License for the specific language governing permissions and
014 * limitations under the License.
015 */
016
017 package org.jetbrains.jet.codegen;
018
019 import org.jetbrains.annotations.NotNull;
020 import org.jetbrains.annotations.Nullable;
021 import org.jetbrains.asm4.MethodVisitor;
022 import org.jetbrains.asm4.Type;
023 import org.jetbrains.asm4.commons.InstructionAdapter;
024 import org.jetbrains.jet.codegen.context.CodegenContext;
025 import org.jetbrains.jet.codegen.state.GenerationState;
026 import org.jetbrains.jet.codegen.state.GenerationStateAware;
027 import org.jetbrains.jet.codegen.state.JetTypeMapperMode;
028 import org.jetbrains.jet.lang.descriptors.FunctionDescriptor;
029 import org.jetbrains.jet.lang.descriptors.NamespaceDescriptor;
030 import org.jetbrains.jet.lang.descriptors.SimpleFunctionDescriptor;
031 import org.jetbrains.jet.lang.psi.JetFile;
032 import org.jetbrains.jet.lang.resolve.BindingContext;
033 import org.jetbrains.jet.lang.resolve.DescriptorUtils;
034 import org.jetbrains.jet.lang.resolve.java.JvmClassName;
035 import org.jetbrains.jet.lang.resolve.java.PackageClassUtils;
036 import org.jetbrains.jet.lang.resolve.java.descriptor.ClassDescriptorFromJvmBytecode;
037 import org.jetbrains.jet.lang.resolve.java.sam.SingleAbstractMethodUtils;
038 import org.jetbrains.jet.lang.resolve.name.FqName;
039 import org.jetbrains.jet.lang.resolve.name.Name;
040 import org.jetbrains.jet.lang.types.JetType;
041
042 import static org.jetbrains.asm4.Opcodes.*;
043 import static org.jetbrains.jet.codegen.AsmUtil.NO_FLAG_PACKAGE_PRIVATE;
044 import static org.jetbrains.jet.lang.resolve.java.AsmTypeConstants.OBJECT_TYPE;
045
046 public class SamWrapperCodegen extends ParentCodegenAwareImpl {
047 private static final String FUNCTION_FIELD_NAME = "function";
048
049 @NotNull private final ClassDescriptorFromJvmBytecode samInterface;
050
051 public SamWrapperCodegen(
052 @NotNull GenerationState state,
053 @NotNull ClassDescriptorFromJvmBytecode samInterface,
054 @Nullable MemberCodegen parentCodegen
055 ) {
056 super(state, parentCodegen);
057 this.samInterface = samInterface;
058 }
059
060 public Type genWrapper(@NotNull JetFile file) {
061 // Name for generated class, in form of whatever$1
062 Type asmType = Type.getObjectType(getWrapperName(file));
063
064 // e.g. (T, T) -> Int
065 JetType functionType = samInterface.getFunctionTypeForSamInterface();
066 assert functionType != null : samInterface.toString();
067 // e.g. compare(T, T)
068 SimpleFunctionDescriptor interfaceFunction = SingleAbstractMethodUtils.getAbstractMethodOfSamInterface(samInterface);
069
070 ClassBuilder cv = state.getFactory().newVisitor(asmType, file);
071 cv.defineClass(file,
072 V1_6,
073 ACC_FINAL,
074 asmType.getInternalName(),
075 null,
076 OBJECT_TYPE.getInternalName(),
077 new String[]{ typeMapper.mapType(samInterface).getInternalName() }
078 );
079 cv.visitSource(file.getName(), null);
080
081 // e.g. ASM type for Function2
082 Type functionAsmType = state.getTypeMapper().mapType(functionType, JetTypeMapperMode.VALUE);
083
084 cv.newField(null,
085 ACC_SYNTHETIC | ACC_PRIVATE | ACC_FINAL,
086 FUNCTION_FIELD_NAME,
087 functionAsmType.getDescriptor(),
088 null,
089 null);
090
091 generateConstructor(asmType, functionAsmType, cv);
092 generateMethod(asmType, functionAsmType, cv, interfaceFunction, functionType);
093
094 cv.done();
095
096 return asmType;
097 }
098
099 private void generateConstructor(Type ownerType, Type functionType, ClassBuilder cv) {
100 MethodVisitor mv = cv.newMethod(null, NO_FLAG_PACKAGE_PRIVATE, "<init>", Type.getMethodDescriptor(Type.VOID_TYPE, functionType), null, null);
101
102 if (state.getClassBuilderMode() == ClassBuilderMode.FULL) {
103 mv.visitCode();
104 InstructionAdapter iv = new InstructionAdapter(mv);
105
106 // super constructor
107 iv.load(0, OBJECT_TYPE);
108 iv.invokespecial(OBJECT_TYPE.getInternalName(), "<init>", "()V");
109
110 // save parameter to field
111 iv.load(0, OBJECT_TYPE);
112 iv.load(1, functionType);
113 iv.putfield(ownerType.getInternalName(), FUNCTION_FIELD_NAME, functionType.getDescriptor());
114
115 iv.visitInsn(RETURN);
116 FunctionCodegen.endVisit(iv, "constructor of SAM wrapper", null);
117 }
118 }
119
120 private void generateMethod(
121 Type ownerType,
122 Type functionType,
123 ClassBuilder cv,
124 SimpleFunctionDescriptor interfaceFunction,
125 JetType functionJetType
126 ) {
127
128 // using static context to avoid creating ClassDescriptor and everything else
129 FunctionCodegen codegen = new FunctionCodegen(CodegenContext.STATIC, cv, state, getParentCodegen());
130
131 FunctionDescriptor invokeFunction = functionJetType.getMemberScope()
132 .getFunctions(Name.identifier("invoke")).iterator().next().getOriginal();
133 StackValue functionField = StackValue.field(functionType, ownerType, FUNCTION_FIELD_NAME, false);
134 codegen.genDelegate(interfaceFunction, invokeFunction, functionField);
135 }
136
137 private String getWrapperName(@NotNull JetFile containingFile) {
138 NamespaceDescriptor namespace = state.getBindingContext().get(BindingContext.FILE_TO_NAMESPACE, containingFile);
139 assert namespace != null : "couldn't find namespace for file: " + containingFile.getVirtualFile();
140 FqName fqName = DescriptorUtils.getFQName(namespace).toSafe();
141 String packageInternalName = JvmClassName.byFqNameWithoutInnerClasses(
142 PackageClassUtils.getPackageClassFqName(fqName)).getInternalName();
143 return packageInternalName + "$sam$" + samInterface.getName().asString() + "$" +
144 Integer.toHexString(CodegenUtil.getPathHashCode(containingFile) * 31 + DescriptorUtils.getFQName(samInterface).hashCode());
145 }
146 }