org.jetbrains.jet.lang.types
Class ErrorUtils

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

public class ErrorUtils
extends java.lang.Object

Nested Class Summary

static class	ErrorUtils.ErrorScope
static class	ErrorUtils.UninferredParameterType

Method Summary

static boolean	containsErrorType(FunctionDescriptor function)
static boolean	containsErrorType(JetType type)
static boolean	containsUninferredParameter(JetType type)
static JetScope	createErrorScope(java.lang.String debugMessage)
static JetScope	createErrorScope(java.lang.String debugMessage, boolean throwExceptions)
static JetType	createErrorType(java.lang.String debugMessage)
static TypeConstructor	createErrorTypeConstructor(java.lang.String debugMessage)
static TypeParameterDescriptor	createErrorTypeParameter(int index, java.lang.String debugMessage)
static JetType	createErrorTypeWithCustomDebugName(java.lang.String debugName)
static ErrorUtils.UninferredParameterType	createUninferredParameterType(TypeParameterDescriptor typeParameterDescriptor)
static ClassDescriptor	getErrorClass()
static ModuleDescriptor	getErrorModule()
static boolean	isError(DeclarationDescriptor candidate)
static boolean	isUninferredParameter(JetType type)

Methods inherited from class java.lang.Object

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

Method Detail

containsErrorType

public static boolean containsErrorType(@NotNull
                                        FunctionDescriptor function)

createErrorScope

@NotNull
public static JetScope createErrorScope(@NotNull
                                                java.lang.String debugMessage)

createErrorScope

@NotNull
public static JetScope createErrorScope(@NotNull
                                                java.lang.String debugMessage,
                                                boolean throwExceptions)

createErrorType

@NotNull
public static JetType createErrorType(@NotNull
                                              java.lang.String debugMessage)

createErrorTypeWithCustomDebugName

@NotNull
public static JetType createErrorTypeWithCustomDebugName(@NotNull
                                                                 java.lang.String debugName)

createErrorTypeConstructor

@NotNull
public static TypeConstructor createErrorTypeConstructor(@NotNull
                                                                 java.lang.String debugMessage)

getErrorClass

@NotNull
public static ClassDescriptor getErrorClass()

containsErrorType

public static boolean containsErrorType(@Nullable
                                        JetType type)

isError

public static boolean isError(@NotNull
                              DeclarationDescriptor candidate)

createErrorTypeParameter

@NotNull
public static TypeParameterDescriptor createErrorTypeParameter(int index,
                                                                       @NotNull
                                                                       java.lang.String debugMessage)

getErrorModule

@NotNull
public static ModuleDescriptor getErrorModule()

isUninferredParameter

public static boolean isUninferredParameter(@Nullable
                                            JetType type)

containsUninferredParameter

public static boolean containsUninferredParameter(@Nullable
                                                  JetType type)

createUninferredParameterType

public static ErrorUtils.UninferredParameterType createUninferredParameterType(@NotNull
                                                                               TypeParameterDescriptor typeParameterDescriptor)