org.jetbrains.jet.lang.types
Class IntersectionTypeConstructor

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

All Implemented Interfaces:

Annotated, TypeConstructor

public class IntersectionTypeConstructor
extends AnnotatedImpl
implements TypeConstructor

Constructor Summary

IntersectionTypeConstructor(java.util.List<AnnotationDescriptor> 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	isSealed()
java.lang.String	toString()

Methods inherited from class org.jetbrains.jet.lang.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.jet.lang.descriptors.annotations.Annotated

getAnnotations

Constructor Detail

IntersectionTypeConstructor

public IntersectionTypeConstructor(java.util.List<AnnotationDescriptor> 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

isSealed

public boolean isSealed()

Specified by:

isSealed 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