org.checkerframework.qualframework.base

Class QualifiedTypeMirror.QualifiedUnionType<Q>

java.lang.Object

org.checkerframework.qualframework.base.QualifiedTypeMirror<Q>

org.checkerframework.qualframework.base.QualifiedTypeMirror.QualifiedUnionType<Q>

Enclosing class:

QualifiedTypeMirror<Q>

public static final class QualifiedTypeMirror.QualifiedUnionType<Q>
extends QualifiedTypeMirror<Q>

Nested Class Summary

Nested classes/interfaces inherited from class org.checkerframework.qualframework.base.QualifiedTypeMirror

QualifiedTypeMirror.QualifiedArrayType<Q>, QualifiedTypeMirror.QualifiedDeclaredType<Q>, QualifiedTypeMirror.QualifiedExecutableType<Q>, QualifiedTypeMirror.QualifiedIntersectionType<Q>, QualifiedTypeMirror.QualifiedNoType<Q>, QualifiedTypeMirror.QualifiedNullType<Q>, QualifiedTypeMirror.QualifiedParameterDeclaration<Q>, QualifiedTypeMirror.QualifiedPrimitiveType<Q>, QualifiedTypeMirror.QualifiedTypeDeclaration<Q>, QualifiedTypeMirror.QualifiedTypeVariable<Q>, QualifiedTypeMirror.QualifiedUnionType<Q>, QualifiedTypeMirror.QualifiedWildcardType<Q>

Constructor Summary

Constructors

Constructor and Description
QualifiedUnionType(ExtendedTypeMirror underlying, Q qualifier, List<? extends QualifiedTypeMirror<Q>> alternatives)

Method Summary

Modifier and Type	Method and Description
<R,P> R	accept(QualifiedTypeVisitor<Q,R,P> visitor, P p) Applies a QualifiedTypeVisitor to this qualified type.
boolean	equals(Object obj)
List<? extends QualifiedTypeMirror<Q>>	getAlternatives()
ExtendedUnionType	getUnderlyingType() Gets the underlying ExtendedTypeMirror.
int	hashCode()
String	toString()

Methods inherited from class org.checkerframework.qualframework.base.QualifiedTypeMirror

getKind, getQualifier

Methods inherited from class java.lang.Object

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

Constructor Detail

QualifiedUnionType

public QualifiedUnionType(ExtendedTypeMirror underlying,
                          Q qualifier,
                          List<? extends QualifiedTypeMirror<Q>> alternatives)

Method Detail

accept

public <R,P> R accept(QualifiedTypeVisitor<Q,R,P> visitor,
                      P p)

Description copied from class: QualifiedTypeMirror

Applies a QualifiedTypeVisitor to this qualified type.

Specified by:

accept in class QualifiedTypeMirror<Q>

getUnderlyingType

public ExtendedUnionType getUnderlyingType()

Description copied from class: QualifiedTypeMirror

Gets the underlying ExtendedTypeMirror.

Overrides:

getUnderlyingType in class QualifiedTypeMirror<Q>

getAlternatives

public List<? extends QualifiedTypeMirror<Q>> getAlternatives()

toString

public String toString()

Overrides:

toString in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class QualifiedTypeMirror<Q>

hashCode

public int hashCode()

Overrides:

hashCode in class QualifiedTypeMirror<Q>