checkers.types
Class AnnotatedTypeMirror.AnnotatedNoType

java.lang.Object
  checkers.types.AnnotatedTypeMirror
      checkers.types.AnnotatedTypeMirror.AnnotatedNoType

Enclosing class:

AnnotatedTypeMirror

public static class AnnotatedTypeMirror.AnnotatedNoType
extends AnnotatedTypeMirror

A pseudo-type used where no actual type is appropriate. The kinds of NoType are:

• VOID - corresponds to the keyword void.
• PACKAGE - the pseudo-type of a package element.
• NONE - used in other cases where no actual type is appropriate; for example, the superclass of java.lang.Object.

Nested Class Summary

Modifier and Type	Class and Description

Nested classes/interfaces inherited from class checkers.types.AnnotatedTypeMirror

AnnotatedTypeMirror.AnnotatedArrayType, AnnotatedTypeMirror.AnnotatedDeclaredType, AnnotatedTypeMirror.AnnotatedExecutableType, AnnotatedTypeMirror.AnnotatedNoType, AnnotatedTypeMirror.AnnotatedNullType, AnnotatedTypeMirror.AnnotatedPrimitiveType, AnnotatedTypeMirror.AnnotatedReferenceType, AnnotatedTypeMirror.AnnotatedTypeVariable, AnnotatedTypeMirror.AnnotatedWildcardType

Field Summary

Modifier and Type	Field and Description

Fields inherited from class checkers.types.AnnotatedTypeMirror

annotationFactory, annotations, element, enclosingType, env, typeFactory

Method Summary

Modifier and Type	Method and Description
<R,P> R	accept(AnnotatedTypeVisitor<R,P> v, P p) Applies a visitor to this type.
AnnotatedTypeMirror.AnnotatedNoType	getCopy(boolean annotation) Returns a shallow copy of this type.
NoType	getUnderlyingType() Returns the underlying unannotated Java type wrapped with this
AnnotatedTypeMirror	substitute(Map<? extends AnnotatedTypeMirror,? extends AnnotatedTypeMirror> mappings) Sub

Methods inherited from class checkers.types.AnnotatedTypeMirror

addAnnotation, addAnnotation, addAnnotations, clearAnnotations, copyFields, createType, createTypeOfObject, directSuperTypes, directSuperTypes, equals, formatAnnotationString, getAnnotation, getAnnotation, getAnnotation, getAnnotations, getElement, getEnclosingType, getErased, getKind, hasAnnotation, hasAnnotation, hashCode, isAnnotated, removeAnnotation, removeAnnotation, removeAnnotations, toString

Methods inherited from class java.lang.Object

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

Method Detail

accept

public <R,P> R accept(AnnotatedTypeVisitor<R,P> v,
                      P p)

Description copied from class: AnnotatedTypeMirror

Applies a visitor to this type.

Specified by:

accept in class AnnotatedTypeMirror

Type Parameters:

R - the return type of the visitor's methods

P - the type of the additional parameter to the visitor's methods

Parameters:

v - the visitor operating on this type

p - additional parameter to the visitor

Returns:

a visitor-specified result

getUnderlyingType

public NoType getUnderlyingType()

Description copied from class: AnnotatedTypeMirror

Returns the underlying unannotated Java type wrapped with this

Overrides:

getUnderlyingType in class AnnotatedTypeMirror

Returns:

the underlying type

getCopy

public AnnotatedTypeMirror.AnnotatedNoType getCopy(boolean annotation)

Description copied from class: AnnotatedTypeMirror

Returns a shallow copy of this type.

Specified by:

getCopy in class AnnotatedTypeMirror

Parameters:

annotation - whether copy should have annotations

substitute

public AnnotatedTypeMirror substitute(Map<? extends AnnotatedTypeMirror,? extends AnnotatedTypeMirror> mappings)

Description copied from class: AnnotatedTypeMirror

Sub

Overrides:

substitute in class AnnotatedTypeMirror