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 thenInfo, DataFlowInfo elseInfo)

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 thenInfo,
                                                                                      @NotNull
                                                                                      DataFlowInfo elseInfo)