org.jetbrains.jet.lang.types.checker

Class TypeCheckingProcedure

java.lang.Object

org.jetbrains.jet.lang.types.checker.TypeCheckingProcedure

public class TypeCheckingProcedure
extends java.lang.Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	TypeCheckingProcedure.EnrichedProjectionKind

Constructor Summary

Constructors

Constructor and Description
TypeCheckingProcedure(TypingConstraints constraints)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equalTypes(JetType type1, JetType type2)
static JetType	findCorrespondingSupertype(JetType subtype, JetType supertype)
static TypeCheckingProcedure.EnrichedProjectionKind	getEffectiveProjectionKind(TypeParameterDescriptor typeParameter, TypeProjection typeArgument)
static JetType	getInType(TypeParameterDescriptor parameter, TypeProjection argument)
static JetType	getOutType(TypeParameterDescriptor parameter, TypeProjection argument)
boolean	isSubtypeOf(JetType subtype, JetType supertype)

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeCheckingProcedure

public TypeCheckingProcedure(TypingConstraints constraints)

Method Detail

findCorrespondingSupertype

@Nullable
public static JetType findCorrespondingSupertype(@NotNull
                                          JetType subtype,
                                          @NotNull
                                          JetType supertype)

getOutType

public static JetType getOutType(TypeParameterDescriptor parameter,
                 TypeProjection argument)

getInType

public static JetType getInType(TypeParameterDescriptor parameter,
                TypeProjection argument)

equalTypes

public boolean equalTypes(@NotNull
                 JetType type1,
                 @NotNull
                 JetType type2)

getEffectiveProjectionKind

public static TypeCheckingProcedure.EnrichedProjectionKind getEffectiveProjectionKind(@NotNull
                                                                      TypeParameterDescriptor typeParameter,
                                                                      @NotNull
                                                                      TypeProjection typeArgument)

isSubtypeOf

public boolean isSubtypeOf(@NotNull
                  JetType subtype,
                  @NotNull
                  JetType supertype)