org.checkerframework.qualframework.util

Interface ExtendedNoType

All Superinterfaces:

AnnotatedConstruct, ExtendedTypeMirror

All Known Implementing Classes:

WrappedAnnotatedTypeMirror.WrappedAnnotatedNoType

public interface ExtendedNoType
extends ExtendedTypeMirror

ExtendedTypeMirror variant for NoType.

Method Summary

Methods inherited from interface org.checkerframework.qualframework.util.ExtendedTypeMirror

accept, getKind, getOriginalType, isDeclaration

Methods inherited from interface javax.lang.model.AnnotatedConstruct

getAnnotation, getAnnotationMirrors, getAnnotationsByType