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.model;
018
019import org.jetbrains.annotations.NotNull;
020import org.jetbrains.jet.lang.descriptors.CallableDescriptor;
021import org.jetbrains.jet.lang.resolve.DelegatingBindingTrace;
022import org.jetbrains.jet.lang.resolve.calls.results.ResolutionStatus;
023
024public interface ResolvedCallWithTrace<D extends CallableDescriptor> extends ResolvedCall<D>  {
025
026    @NotNull
027    ResolutionStatus getStatus();
028
029    /**
030     * Resolved call can have incomplete type parameters
031     * if ResolutionStatus is INCOMPLETE_TYPE_INFERENCE (might be completed successfully)
032     * or OTHER_ERROR (cannot be completed successfully, but if there's only one candidate, should be completed anyway).
033     * @return true if resolved call has unknown type parameters (inference is incomplete)
034     */
035    boolean hasIncompleteTypeParameters();
036
037    boolean isDirty();
038
039    DelegatingBindingTrace getTrace();
040
041    /**
042     * //todo get rid of Impl class in the interface
043     * If the call has incomplete type parameters, it should be completed after resolution process is finished.
044     * Returns this for normal call and function call for VariableAsFunctionCall.
045     */
046    @NotNull
047    ResolvedCallImpl<D> getCallToCompleteTypeArgumentInference();
048}