org.jetbrains.kotlin.types.expressions
Class ControlStructureTypingUtils

java.lang.Object
  org.jetbrains.kotlin.types.expressions.ControlStructureTypingUtils

public class ControlStructureTypingUtils
extends java.lang.Object

Nested Class Summary

static class

ControlStructureTypingUtils.ResolveConstruct

Constructor Summary

ControlStructureTypingUtils(CallResolver callResolver, DataFlowAnalyzer dataFlowAnalyzer, ModuleDescriptor moduleDescriptor)

Method Summary

static MutableDataFlowInfoForArguments	createDataFlowInfoForArgumentsForIfCall(Call callForIf, DataFlowInfo conditionInfo, DataFlowInfo thenInfo, DataFlowInfo elseInfo)
static MutableDataFlowInfoForArguments	createDataFlowInfoForArgumentsOfWhenCall(Call callForWhen, DataFlowInfo subjectDataFlowInfo, java.util.List<DataFlowInfo> entryDataFlowInfos)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ControlStructureTypingUtils

public ControlStructureTypingUtils(@NotNull
                                   CallResolver callResolver,
                                   @NotNull
                                   DataFlowAnalyzer dataFlowAnalyzer,
                                   @NotNull
                                   ModuleDescriptor moduleDescriptor)

Method Detail

createDataFlowInfoForArgumentsForIfCall

public static MutableDataFlowInfoForArguments createDataFlowInfoForArgumentsForIfCall(@NotNull
                                                                                      Call callForIf,
                                                                                      @NotNull
                                                                                      DataFlowInfo conditionInfo,
                                                                                      @NotNull
                                                                                      DataFlowInfo thenInfo,
                                                                                      @NotNull
                                                                                      DataFlowInfo elseInfo)

createDataFlowInfoForArgumentsOfWhenCall

public static MutableDataFlowInfoForArguments createDataFlowInfoForArgumentsOfWhenCall(@NotNull
                                                                                       Call callForWhen,
                                                                                       @NotNull
                                                                                       DataFlowInfo subjectDataFlowInfo,
                                                                                       @NotNull
                                                                                       java.util.List<DataFlowInfo> entryDataFlowInfos)