Deprecated API

Contents

• Deprecated Classes
• Deprecated Methods

Deprecated Classes

Class and Description
org.checkerframework.framework.source.Result use DiagMessage or List<DiagMessage> instead

Deprecated Methods

Method and Description
org.checkerframework.javacutil.AnnotationUtils.annotationOrdering() Use the method reference AnnotationUtils::compareAnnotationMirrors instead
org.checkerframework.framework.source.Result.failure(String, Object...) use a DiagMessage instead, or call reportError or reportWarning directly
org.checkerframework.framework.type.QualifierHierarchy.getTypeQualifiers() use AnnotatedTypeFactory.getSupportedTypeQualifierNames() or AnnotatedTypeFactory.getSupportedTypeQualifiers() instead
org.checkerframework.framework.util.MultiGraphQualifierHierarchy.getTypeQualifiers()
org.checkerframework.framework.util.AnnotatedTypes.hasTypeQualifierElementTypes(ElementType[], Class<?>) use AnnotationUtils.hasTypeQualifierElementTypes(ElementType[], Class).
org.checkerframework.framework.util.AnnotatedTypes.isTypeAnnotation(AnnotationMirror, Class<?>) Use AnnotationUtils.hasTypeQualifierElementTypes(ElementType[], Class).
org.checkerframework.framework.source.SourceChecker.report(Result, Object) use SourceChecker.reportError(java.lang.Object, java.lang.String, java.lang.Object...) or SourceChecker.reportWarning(java.lang.Object, java.lang.String, java.lang.Object...) instead
org.checkerframework.framework.source.Result.warning(String, Object...) use a DiagMessage instead