org.checkerframework.qualframework.base

Class QualifiedTypeMirror.QualifiedExecutableType<Q>

java.lang.Object

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

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

Enclosing class:

QualifiedTypeMirror<Q>

public static final class QualifiedTypeMirror.QualifiedExecutableType<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
QualifiedExecutableType(ExtendedTypeMirror underlying, List<? extends QualifiedTypeMirror<Q>> parameterTypes, QualifiedTypeMirror<Q> receiverType, QualifiedTypeMirror<Q> returnType, List<? extends QualifiedTypeMirror<Q>> thrownTypes, List<? extends QualifiedTypeMirror.QualifiedParameterDeclaration<Q>> typeParameters)

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>>	getParameterTypes()
QualifiedTypeMirror<Q>	getReceiverType()
QualifiedTypeMirror<Q>	getReturnType()
List<? extends QualifiedTypeMirror<Q>>	getThrownTypes()
List<? extends QualifiedTypeMirror.QualifiedParameterDeclaration<Q>>	getTypeParameters()
ExtendedExecutableType	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

QualifiedExecutableType

public QualifiedExecutableType(ExtendedTypeMirror underlying,
                               List<? extends QualifiedTypeMirror<Q>> parameterTypes,
                               QualifiedTypeMirror<Q> receiverType,
                               QualifiedTypeMirror<Q> returnType,
                               List<? extends QualifiedTypeMirror<Q>> thrownTypes,
                               List<? extends QualifiedTypeMirror.QualifiedParameterDeclaration<Q>> typeParameters)

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

Description copied from class: QualifiedTypeMirror

Gets the underlying ExtendedTypeMirror.

Overrides:

getUnderlyingType in class QualifiedTypeMirror<Q>

getParameterTypes

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

getReceiverType

public QualifiedTypeMirror<Q> getReceiverType()

getReturnType

public QualifiedTypeMirror<Q> getReturnType()

getThrownTypes

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

getTypeParameters

public List<? extends QualifiedTypeMirror.QualifiedParameterDeclaration<Q>> getTypeParameters()

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>