org.jetbrains.kotlin.types
Class IntersectionTypeConstructor

java.lang.Object
  org.jetbrains.kotlin.descriptors.annotations.AnnotatedImpl
      org.jetbrains.kotlin.types.IntersectionTypeConstructor

All Implemented Interfaces:

Annotated, TypeConstructor

public class IntersectionTypeConstructor
extends AnnotatedImpl
implements TypeConstructor

Constructor Summary

IntersectionTypeConstructor(Annotations annotations, java.util.Collection<JetType> typesToIntersect)

Method Summary

boolean	equals(java.lang.Object o)
ClassifierDescriptor	getDeclarationDescriptor()
java.util.List<TypeParameterDescriptor>	getParameters()
java.util.Collection<JetType>	getSupertypes()
int	hashCode()
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 org.jetbrains.kotlin.descriptors.annotations.AnnotatedImpl

getAnnotations

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.jetbrains.kotlin.descriptors.annotations.Annotated

getAnnotations

Constructor Detail

IntersectionTypeConstructor

public IntersectionTypeConstructor(Annotations annotations,
                                   java.util.Collection<JetType> typesToIntersect)

Method Detail

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

public ClassifierDescriptor getDeclarationDescriptor()

Specified by:

getDeclarationDescriptor in interface TypeConstructor

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object