org.checkerframework.qualframework.base

Class QualifiedTypeMirror.QualifiedNullType<Q>

java.lang.Object

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

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

Enclosing class:

QualifiedTypeMirror<Q>

public static final class QualifiedTypeMirror.QualifiedNullType<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
QualifiedNullType(ExtendedTypeMirror underlying, Q qualifier)

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.
ExtendedNullType	getUnderlyingType() Gets the underlying ExtendedTypeMirror.
String	toString()

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

equals, getKind, getQualifier, hashCode

Methods inherited from class java.lang.Object

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

Constructor Detail

QualifiedNullType

public QualifiedNullType(ExtendedTypeMirror underlying,
                         Q qualifier)

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 ExtendedNullType getUnderlyingType()

Description copied from class: QualifiedTypeMirror

Gets the underlying ExtendedTypeMirror.

Overrides:

getUnderlyingType in class QualifiedTypeMirror<Q>

toString

public String toString()

Overrides:

toString in class Object