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.model;
018    
019    import org.jetbrains.annotations.NotNull;
020    import org.jetbrains.kotlin.psi.ValueArgument;
021    import org.jetbrains.kotlin.resolve.calls.smartcasts.DataFlowInfo;
022    
023    public interface MutableDataFlowInfoForArguments extends DataFlowInfoForArguments {
024    
025        void setInitialDataFlowInfo(@NotNull DataFlowInfo dataFlowInfo);
026    
027        void updateInfo(@NotNull ValueArgument valueArgument, @NotNull DataFlowInfo dataFlowInfo);
028    
029        class WithoutArgumentsCheck implements MutableDataFlowInfoForArguments {
030            private DataFlowInfo dataFlowInfo;
031    
032            @Override
033            public void setInitialDataFlowInfo(@NotNull DataFlowInfo dataFlowInfo) {
034                this.dataFlowInfo = dataFlowInfo;
035            }
036    
037            @Override
038            public void updateInfo(@NotNull ValueArgument valueArgument, @NotNull DataFlowInfo dataFlowInfo) {
039                throw new IllegalStateException();
040            }
041    
042            @NotNull
043            @Override
044            public DataFlowInfo getInfo(@NotNull ValueArgument valueArgument) {
045                throw new IllegalStateException();
046            }
047    
048            @NotNull
049            @Override
050            public DataFlowInfo getResultInfo() {
051                return dataFlowInfo;
052            }
053        };
054    }