001 /*
002 * Copyright 2010-2015 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.kotlin.resolve.calls.inference;
018
019 import org.jetbrains.annotations.NotNull;
020 import org.jetbrains.annotations.Nullable;
021 import org.jetbrains.kotlin.descriptors.CallableDescriptor;
022 import org.jetbrains.kotlin.types.KotlinType;
023
024 import java.util.List;
025
026 public class InferenceErrorData {
027 @NotNull
028 public final CallableDescriptor descriptor;
029 @NotNull
030 public final ConstraintSystem constraintSystem;
031 @Nullable
032 public final KotlinType receiverArgumentType;
033 @NotNull
034 public final KotlinType expectedType;
035 @NotNull
036 public final List<KotlinType> valueArgumentsTypes;
037
038
039 private InferenceErrorData(
040 @NotNull CallableDescriptor descriptor, @NotNull ConstraintSystem constraintSystem,
041 @NotNull List<KotlinType> valueArgumentsTypes, @Nullable KotlinType receiverArgumentType, @NotNull KotlinType expectedType
042 ) {
043 this.descriptor = descriptor;
044 this.constraintSystem = constraintSystem;
045 this.receiverArgumentType = receiverArgumentType;
046 this.valueArgumentsTypes = valueArgumentsTypes;
047 this.expectedType = expectedType;
048 }
049
050 @NotNull
051 public static InferenceErrorData create(@NotNull CallableDescriptor descriptor, @NotNull ConstraintSystem constraintSystem,
052 @NotNull List<KotlinType> valueArgumentsTypes, @Nullable KotlinType receiverArgumentType, @NotNull KotlinType expectedType) {
053 return new InferenceErrorData(descriptor, constraintSystem, valueArgumentsTypes, receiverArgumentType, expectedType);
054 }
055 }