org.jetbrains.kotlin.types
Class TypeIntersector

java.lang.Object
  org.jetbrains.kotlin.types.TypeIntersector

public class TypeIntersector
extends java.lang.Object

Constructor Summary

TypeIntersector(KotlinBuiltIns builtIns)

Method Summary

JetType	intersect(JetTypeChecker typeChecker, java.util.Set<JetType> types)
static JetType	intersectTypes(KotlinBuiltIns builtIns, JetTypeChecker typeChecker, java.util.Set<JetType> types)
boolean	isIntersectionEmpty(JetType typeA, JetType typeB)

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeIntersector

public TypeIntersector(@NotNull
                       KotlinBuiltIns builtIns)

Method Detail

isIntersectionEmpty

public boolean isIntersectionEmpty(@NotNull
                                   JetType typeA,
                                   @NotNull
                                   JetType typeB)

intersectTypes

@Nullable
public static JetType intersectTypes(@NotNull
                                              KotlinBuiltIns builtIns,
                                              @NotNull
                                              JetTypeChecker typeChecker,
                                              @NotNull
                                              java.util.Set<JetType> types)

intersect

@Nullable
public JetType intersect(@NotNull
                                  JetTypeChecker typeChecker,
                                  @NotNull
                                  java.util.Set<JetType> types)