001    /*
002     * Copyright 2010-2014 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.intrinsics;
018    
019    import com.intellij.psi.PsiElement;
020    import org.jetbrains.annotations.NotNull;
021    import org.jetbrains.annotations.Nullable;
022    import org.jetbrains.jet.codegen.ExpressionCodegen;
023    import org.jetbrains.jet.codegen.StackValue;
024    import org.jetbrains.jet.lang.psi.JetElement;
025    import org.jetbrains.jet.lang.psi.JetExpression;
026    import org.jetbrains.jet.lang.psi.ValueArgument;
027    import org.jetbrains.jet.lang.resolve.calls.model.ExpressionValueArgument;
028    import org.jetbrains.jet.lang.resolve.calls.model.ResolvedCall;
029    import org.jetbrains.jet.lang.resolve.calls.model.ResolvedValueArgument;
030    import org.jetbrains.org.objectweb.asm.Opcodes;
031    import org.jetbrains.org.objectweb.asm.Type;
032    import org.jetbrains.org.objectweb.asm.commons.InstructionAdapter;
033    
034    import java.util.List;
035    
036    import static org.jetbrains.jet.lang.resolve.calls.callUtil.CallUtilPackage.getResolvedCallWithAssert;
037    import static org.jetbrains.jet.lang.resolve.java.AsmTypeConstants.OBJECT_TYPE;
038    
039    public class MonitorInstruction extends IntrinsicMethod {
040    
041        public static final MonitorInstruction MONITOR_ENTER = new MonitorInstruction(Opcodes.MONITORENTER);
042        public static final MonitorInstruction MONITOR_EXIT = new MonitorInstruction(Opcodes.MONITOREXIT);
043    
044        private final int opcode;
045    
046        private MonitorInstruction(int opcode) {
047            this.opcode = opcode;
048        }
049    
050        @NotNull
051        @Override
052        protected Type generateImpl(
053                @NotNull ExpressionCodegen codegen,
054                @NotNull InstructionAdapter v,
055                @NotNull Type returnType,
056                @Nullable PsiElement element,
057                @Nullable List<JetExpression> arguments,
058                @Nullable StackValue receiver
059        ) {
060            assert element != null : "Element should not be null";
061    
062            ResolvedCall<?> resolvedCall = getResolvedCallWithAssert((JetElement) element, codegen.getBindingContext());
063    
064            List<ResolvedValueArgument> resolvedArguments = resolvedCall.getValueArgumentsByIndex();
065            assert resolvedArguments != null && resolvedArguments.size() == 1 :
066                    "Monitor instruction (" + opcode + ") should have exactly 1 argument: " + resolvedArguments;
067    
068            ResolvedValueArgument argument = resolvedArguments.get(0);
069            assert argument instanceof ExpressionValueArgument :
070                    "Monitor instruction (" + opcode + ") should have expression value argument: " + argument;
071    
072            ValueArgument valueArgument = ((ExpressionValueArgument) argument).getValueArgument();
073            assert valueArgument != null : "Unresolved value argument: " + argument;
074            codegen.gen(valueArgument.getArgumentExpression(), OBJECT_TYPE);
075    
076            v.visitInsn(opcode);
077            return Type.VOID_TYPE;
078        }
079    }