org.jetbrains.kotlin.types
Class ErrorUtils.FunctionPlaceholderTypeConstructor

java.lang.Object
  org.jetbrains.kotlin.types.ErrorUtils.FunctionPlaceholderTypeConstructor

All Implemented Interfaces:

Annotated, TypeConstructor

Enclosing class:

ErrorUtils

public static class ErrorUtils.FunctionPlaceholderTypeConstructor
extends java.lang.Object
implements TypeConstructor

Method Summary

Annotations	getAnnotations()
java.util.List<JetType>	getArgumentTypes()
ClassifierDescriptor	getDeclarationDescriptor()
java.util.List<TypeParameterDescriptor>	getParameters()
java.util.Collection<JetType>	getSupertypes()
boolean	hasDeclaredArguments()
boolean	isDenotable() If the type is non-denotable, it can't be written in code directly, it only can appear internally inside a type checker.
boolean	isFinal() Cannot have subtypes.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Method Detail

getArgumentTypes

@NotNull
public java.util.List<JetType> getArgumentTypes()

hasDeclaredArguments

public boolean hasDeclaredArguments()

getParameters

@NotNull
public java.util.List<TypeParameterDescriptor> getParameters()

Specified by:

getParameters in interface TypeConstructor

getSupertypes

@NotNull
public java.util.Collection<JetType> getSupertypes()

Specified by:

getSupertypes in interface TypeConstructor

isFinal

public boolean isFinal()

Description copied from interface: TypeConstructor

Cannot have subtypes.

Specified by:

isFinal in interface TypeConstructor

isDenotable

public boolean isDenotable()

Description copied from interface: TypeConstructor

If the type is non-denotable, it can't be written in code directly, it only can appear internally inside a type checker. Examples: intersection type or number value type.

Specified by:

isDenotable in interface TypeConstructor

getDeclarationDescriptor

@Nullable
public ClassifierDescriptor getDeclarationDescriptor()

Specified by:

getDeclarationDescriptor in interface TypeConstructor

getAnnotations

@NotNull
public Annotations getAnnotations()

Specified by:

getAnnotations in interface Annotated

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object