org.jetbrains.kotlin.types
Class CommonSupertypes

java.lang.Object
  extended by org.jetbrains.kotlin.types.CommonSupertypes

public class CommonSupertypes
extends java.lang.Object


Constructor Summary
CommonSupertypes()
           
 
Method Summary
static KotlinType commonSupertype(java.util.Collection<KotlinType> types)
           
static KotlinType commonSupertypeForNonDenotableTypes(java.util.Collection<KotlinType> types)
           
static java.util.List<TypeConstructor> topologicallySortSuperclassesAndRecordAllInstances(KotlinType type, java.util.Map<TypeConstructor,java.util.Set<KotlinType>> constructorToAllInstances, java.util.Set<TypeConstructor> visited)
           
 
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 KotlinType commonSupertypeForNonDenotableTypes(@NotNull
                                                                      java.util.Collection<KotlinType> types)

commonSupertype

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

topologicallySortSuperclassesAndRecordAllInstances

@NotNull
public static java.util.List<TypeConstructor> topologicallySortSuperclassesAndRecordAllInstances(@NotNull
                                                                                                         KotlinType type,
                                                                                                         @NotNull
                                                                                                         java.util.Map<TypeConstructor,java.util.Set<KotlinType>> constructorToAllInstances,
                                                                                                         @NotNull
                                                                                                         java.util.Set<TypeConstructor> visited)