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
017package org.jetbrains.jet.lang.resolve.calls.inference;
018
019import org.jetbrains.annotations.NotNull;
020import org.jetbrains.annotations.Nullable;
021import org.jetbrains.jet.lang.descriptors.CallableDescriptor;
022import org.jetbrains.jet.lang.types.JetType;
023import org.jetbrains.jet.lang.types.TypeUtils;
024
025import java.util.List;
026
027public class InferenceErrorData {
028    @NotNull
029    public final CallableDescriptor descriptor;
030    @NotNull
031    public final ConstraintSystem constraintSystem;
032
033    private InferenceErrorData(@NotNull CallableDescriptor descriptor, @NotNull ConstraintSystem constraintSystem) {
034        this.descriptor = descriptor;
035        this.constraintSystem = constraintSystem;
036    }
037
038    public static class ExtendedInferenceErrorData extends InferenceErrorData {
039        @Nullable
040        public final JetType receiverArgumentType;
041        @NotNull
042        public final JetType expectedType;
043        @NotNull
044        public final List<JetType> valueArgumentsTypes;
045
046        private ExtendedInferenceErrorData(
047                @NotNull CallableDescriptor descriptor, @NotNull ConstraintSystem constraintSystem,
048                @NotNull List<JetType> valueArgumentsTypes, @Nullable JetType receiverArgumentType, @NotNull JetType expectedType
049        ) {
050            super(descriptor, constraintSystem);
051            this.receiverArgumentType = receiverArgumentType;
052            this.valueArgumentsTypes = valueArgumentsTypes;
053            this.expectedType = expectedType;
054        }
055    }
056
057    public static ExtendedInferenceErrorData create(@NotNull CallableDescriptor descriptor, @NotNull ConstraintSystem constraintSystem,
058            @NotNull List<JetType> valueArgumentsTypes, @Nullable JetType receiverArgumentType, @NotNull JetType expectedType) {
059        return new ExtendedInferenceErrorData(descriptor, constraintSystem, valueArgumentsTypes, receiverArgumentType, expectedType);
060    }
061
062    public static InferenceErrorData create(@NotNull CallableDescriptor descriptor, @NotNull ConstraintSystem constraintSystem) {
063        return new InferenceErrorData(descriptor, constraintSystem);
064    }
065}