org.checkerframework.qualframework.util

Interface ExtendedErrorType

All Superinterfaces:

AnnotatedConstruct, ExtendedDeclaredType, ExtendedReferenceType, ExtendedTypeMirror

public interface ExtendedErrorType
extends ExtendedDeclaredType

ExtendedTypeMirror variant for ErrorType.

Method Summary

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

asElement, getEnclosingType, getTypeArguments

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

accept, getKind, getOriginalType, isDeclaration

Methods inherited from interface javax.lang.model.AnnotatedConstruct

getAnnotation, getAnnotationMirrors, getAnnotationsByType