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.results;
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.resolve.calls.model.ResolvedCall;
023
024 import java.util.Collection;
025
026 public interface OverloadResolutionResults<D extends CallableDescriptor> {
027 enum Code {
028 SUCCESS(true),
029 NAME_NOT_FOUND(false),
030 SINGLE_CANDIDATE_ARGUMENT_MISMATCH(false),
031 AMBIGUITY(false),
032 MANY_FAILED_CANDIDATES(false),
033 CANDIDATES_WITH_WRONG_RECEIVER(false),
034 INCOMPLETE_TYPE_INFERENCE(false);
035
036 private final boolean success;
037
038 Code(boolean success) {
039 this.success = success;
040 }
041
042 boolean isSuccess() {
043 return success;
044 }
045 }
046
047 /* All candidates are collected only if ResolutionContext.collectAllCandidates is set to true */
048 @Nullable
049 Collection<ResolvedCall<D>> getAllCandidates();
050
051 @NotNull
052 Collection<? extends ResolvedCall<D>> getResultingCalls();
053
054 @NotNull
055 ResolvedCall<D> getResultingCall();
056
057 @NotNull
058 D getResultingDescriptor();
059
060 @NotNull
061 Code getResultCode();
062
063 boolean isSuccess();
064
065 boolean isSingleResult();
066
067 boolean isNothing();
068
069 boolean isAmbiguity();
070
071 boolean isIncomplete();
072 }