org.jetbrains.jet.lang.types
Class CommonSupertypes

java.lang.Object
  org.jetbrains.jet.lang.types.CommonSupertypes

public class CommonSupertypes
extends java.lang.Object

Constructor Summary

CommonSupertypes()

Method Summary

static JetType	commonSupertype(java.util.Collection<JetType> types)
static JetType	commonSupertypeForNonDenotableTypes(java.util.Collection<JetType> types)
static JetType	findCommonSupertype(java.util.Collection<JetType> types, int recursionDepth, int maxDepth)

Methods inherited from class java.lang.Object

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

Constructor Detail

CommonSupertypes

public CommonSupertypes()

Method Detail

commonSupertypeForNonDenotableTypes

@Nullable
public static JetType commonSupertypeForNonDenotableTypes(@NotNull
                                                                   java.util.Collection<JetType> types)

commonSupertype

@NotNull
public static JetType commonSupertype(@NotNull
                                              java.util.Collection<JetType> types)

findCommonSupertype

@NotNull
public static JetType findCommonSupertype(@NotNull
                                                  java.util.Collection<JetType> types,
                                                  int recursionDepth,
                                                  int maxDepth)