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    
017    package org.jetbrains.jet.lang.resolve.calls.context;
018    
019    import org.jetbrains.annotations.NotNull;
020    import org.jetbrains.annotations.Nullable;
021    import org.jetbrains.jet.lang.descriptors.CallableDescriptor;
022    import org.jetbrains.jet.lang.descriptors.FunctionDescriptor;
023    import org.jetbrains.jet.lang.descriptors.VariableDescriptor;
024    import org.jetbrains.jet.lang.psi.CallKey;
025    import org.jetbrains.jet.lang.psi.JetExpression;
026    import org.jetbrains.jet.lang.resolve.DelegatingBindingTrace;
027    import org.jetbrains.jet.lang.resolve.calls.model.ResolvedCallWithTrace;
028    import org.jetbrains.jet.lang.resolve.calls.results.OverloadResolutionResultsImpl;
029    
030    public interface ResolutionResultsCache {
031        class MemberType<D extends CallableDescriptor> {
032            public final String debugName;
033    
034            public MemberType(String name) {
035                debugName = name;
036            }
037    
038            @Override
039            public String toString() {
040                return debugName;
041            }
042        }
043        MemberType<FunctionDescriptor> FUNCTION_MEMBER_TYPE = new MemberType<FunctionDescriptor>("FUNCTION_MEMBER_TYPE");
044        MemberType<VariableDescriptor> PROPERTY_MEMBER_TYPE = new MemberType<VariableDescriptor>("PROPERTY_MEMBER_TYPE");
045    
046    
047        <D extends CallableDescriptor> void recordResolutionResults(@NotNull CallKey callKey, @NotNull MemberType<D> memberType, @NotNull OverloadResolutionResultsImpl<D> results);
048    
049        @Nullable
050        <D extends CallableDescriptor> OverloadResolutionResultsImpl<D> getResolutionResults(@NotNull CallKey callKey, @NotNull MemberType<D> memberType);
051    
052        void recordResolutionTrace(@NotNull CallKey callKey, @NotNull DelegatingBindingTrace delegatingTrace);
053    
054        @Nullable
055        DelegatingBindingTrace getResolutionTrace(@NotNull CallKey callKey);
056    
057        //For VariableAsFunctionCall deferredComputation is taken for its function call, but resolvedCall is the VariableAsFunctionCall itself.
058        <D extends CallableDescriptor> void recordDeferredComputationForCall(
059                @NotNull CallKey callKey,
060                @NotNull ResolvedCallWithTrace<D> resolvedCall,
061                @NotNull CallCandidateResolutionContext<D> deferredComputation
062        );
063    
064        @Nullable
065        CallCandidateResolutionContext<?> getDeferredComputation(@Nullable JetExpression expression);
066    
067        @Nullable
068        ResolvedCallWithTrace<?> getCallForArgument(@Nullable JetExpression expression);
069    }