Deprecated API

Contents

• Deprecated Classes
• Deprecated Annotation Types
• Deprecated Methods

Deprecated Classes

Class and Description
org.checkerframework.framework.util.GraphQualifierHierarchy See notes in MultiGraphQualifierHierarchy about how to convert existing subclasses to the new classes.
org.checkerframework.framework.util.MultiGraphQualifierHierarchy Use ElementQualifierHierarchy, MostlyNoElementQualifierHierarchy, or NoElementQualifierHierarchy instead. This class will be removed in a future release. Here are instructions on how to convert from a subclass of MultiGraphQualifierHierarchy to the new implementations: If the subclass implements isSubtype and calls super when annotations do not have elements, then use the following instructions to convert to MostlyNoElementQualifierHierarchy. Change extends MultiGraphQualifierHierarchy to extends MostlyNoElementQualifierHierarchy. Create a constructor matching super. Implement isSubtypeWithElements, leastUpperBoundWithElements, and greatestLowerBoundWithElements. You may be able to reuse parts of your current implementation of isSubtype, leastUpperBound, and greatestLowerBound. If the subclass implements isSubtype and does not call super in that implementation, then use the following instructions to convert to a subclass of ElementQualifierHierarchy. Change extends MultiGraphQualifierHierarchy to extends ElementQualifierHierarchy. Create a constructor matching super. Implement MultiGraphQualifierHierarchy.leastUpperBound(AnnotationMirror, AnnotationMirror) and MultiGraphQualifierHierarchy.greatestLowerBound(AnnotationMirror, AnnotationMirror) if missing. (In the past, it was very easy to forget to implement these, now they are abstract methods.) If you wish to continue to use a subclass of MultiGraphQualifierHierarchy or GraphQualifierHierarchy, you may do so by adding the following to AnnotatedTypeFactory. (It's better to convert to one of the new classes because MultiGraphQualifierHierarchy and GraphQualifierHierarchy are buggy and no longer supported.) If any qualifier has an annotation element without a default value, you will need to convert to one of the new subclasses. If you do not, then MultiGraphQualifierHierarchy will throw an exception with a message like "AnnotationBuilder.fromName: no value for element value() of checkers.inference.qual.VarAnnot". @Override @SuppressWarnings("deprecation") public QualifierHierarchy createQualifierHierarchy() { return org.checkerframework.framework.util.MultiGraphQualifierHierarchy .createMultiGraphQualifierHierarchy(this); } @Override @SuppressWarnings("deprecation") public QualifierHierarchy createQualifierHierarchyWithMultiGraphFactory( org.checkerframework.framework.util.MultiGraphQualifierHierarchy.MultiGraphFactory factory) { return new YourSubclassQualifierHierarchy(factory); }
org.checkerframework.framework.util.MultiGraphQualifierHierarchy.MultiGraphFactory Use ElementQualifierHierarchy instead.
org.checkerframework.javacutil.PluginUtil Renamed to SystemUtil and deleted some unused methods.

Deprecated Annotation Types

Annotation Type and Description
org.checkerframework.framework.source.SuppressWarningsKeys Use SuppressWarningsPrefix instead.

Deprecated Methods

Method and Description
org.checkerframework.framework.type.AnnotatedTypeFactory.addAliasedAnnotation(Class<?>, AnnotationMirror) use addAliasedTypeAnnotation
org.checkerframework.framework.type.AnnotatedTypeFactory.addAliasedAnnotation(Class<?>, Class<?>, boolean, String...) use addAliasedTypeAnnotation
org.checkerframework.framework.type.AnnotatedTypeFactory.addAliasedAnnotation(String, AnnotationMirror) use addAliasedTypeAnnotation
org.checkerframework.javacutil.ElementUtils.classElementKinds() use ElementUtils.typeElementKinds()
org.checkerframework.checker.formatter.FormatUtil.conversionCharFromFormat(String) This method is public only for testing. Use private method #conversionCharFromFormat(Matcher).
org.checkerframework.framework.util.MultiGraphQualifierHierarchy.createMultiGraphQualifierHierarchy(AnnotatedTypeFactory) Use ElementQualifierHierarchy instead.
org.checkerframework.framework.type.AnnotatedTypeFactory.createQualifierHierarchyWithMultiGraphFactory(MultiGraphQualifierHierarchy.MultiGraphFactory) Use either ElementQualifierHierarchy, NoElementQualifierHierarchy, or MostlyNoElementQualifierHierarchy instead. This method will be removed in a future release.
org.checkerframework.dataflow.cfg.block.RegularBlock.getContents() use Block.getNodes() instead
org.checkerframework.framework.flow.CFAbstractTransfer.getValueWithSameAnnotations(TypeMirror, V) use CFAbstractTransfer.getWidenedValue(javax.lang.model.type.TypeMirror, V) or CFAbstractTransfer.getNarrowedValue(javax.lang.model.type.TypeMirror, V)
org.checkerframework.framework.type.QualifierHierarchy.greatestLowerBound(AnnotatedTypeMirror, AnnotatedTypeMirror, AnnotationMirror, AnnotationMirror) Without the bounds of the type variable, it is not possible to correctly compute the relationship between "no qualifier" and a qualifier
org.checkerframework.framework.type.QualifierHierarchy.greatestLowerBounds(AnnotatedTypeMirror, AnnotatedTypeMirror, Collection<? extends AnnotationMirror>, Collection<AnnotationMirror>) Without the bounds of the type variable, it is not possible to correctly compute the relationship between "no qualifier" and a qualifier
org.checkerframework.framework.type.QualifierHierarchy.greatestLowerBoundsTypeVariable(Collection<? extends AnnotationMirror>, Collection<? extends AnnotationMirror>) Without the bounds of the type variable, it is not possible to correctly compute the relationship between "no qualifier" and a qualifier
org.checkerframework.framework.type.QualifierHierarchy.greatestLowerBoundTypeVariable(AnnotationMirror, AnnotationMirror) Without the bounds of the type variable, it is not possible to correctly compute the relationship between "no qualifier" and a qualifier
org.checkerframework.javacutil.ElementUtils.isClassElement(Element) use ElementUtils.isTypeElement(javax.lang.model.element.Element)
org.checkerframework.framework.type.QualifierHierarchy.isSubtype(AnnotatedTypeMirror, AnnotatedTypeMirror, AnnotationMirror, AnnotationMirror) Without the bounds of the type variable, it is not possible to correctly compute the subtype relationship between "no qualifier" and a qualifier. Use TypeHierarchy.isSubtype(AnnotatedTypeMirror, AnnotatedTypeMirror).
org.checkerframework.framework.type.QualifierHierarchy.isSubtype(AnnotatedTypeMirror, AnnotatedTypeMirror, Collection<? extends AnnotationMirror>, Collection<AnnotationMirror>) Without the bounds of the type variable, it is not possible to correctly compute the subtype relationship between "no qualifier" and a qualifier. Use TypeHierarchy.isSubtype(AnnotatedTypeMirror, AnnotatedTypeMirror).
org.checkerframework.framework.type.QualifierHierarchy.isSubtypeTypeVariable(AnnotationMirror, AnnotationMirror) Without the bounds of the type variable, it is not possible to correctly compute the subtype relationship between "no qualifier" and a qualifier. Use TypeHierarchy.isSubtype(AnnotatedTypeMirror, AnnotatedTypeMirror).
org.checkerframework.framework.type.QualifierHierarchy.isSubtypeTypeVariable(Collection<? extends AnnotationMirror>, Collection<? extends AnnotationMirror>) Without the bounds of the type variable, it is not possible to correctly compute the subtype relationship between "no qualifier" and a qualifier. Use TypeHierarchy.isSubtype(AnnotatedTypeMirror, AnnotatedTypeMirror).
org.checkerframework.javacutil.SystemUtil.join(CharSequence, Iterable<?>) use StringsPlume.join
org.checkerframework.javacutil.SystemUtil.join(CharSequence, T[]) use StringsPlume.join
org.checkerframework.javacutil.SystemUtil.joinLines(Iterable<? extends Object>) use StringsPlume.joinLines
org.checkerframework.javacutil.SystemUtil.joinLines(T...) use StringsPlume.joinLines
org.checkerframework.framework.type.QualifierHierarchy.leastUpperBound(AnnotatedTypeMirror, AnnotatedTypeMirror, AnnotationMirror, AnnotationMirror) Without the bounds of the type variable, it is not possible to correctly compute the relationship between "no qualifier" and a qualifier. Use AnnotatedTypes.leastUpperBound(AnnotatedTypeFactory, AnnotatedTypeMirror, AnnotatedTypeMirror).
org.checkerframework.framework.type.QualifierHierarchy.leastUpperBounds(AnnotatedTypeMirror, AnnotatedTypeMirror, Collection<? extends AnnotationMirror>, Collection<AnnotationMirror>) Without the bounds of the type variable, it is not possible to correctly compute the relationship between "no qualifier" and a qualifier. Use AnnotatedTypes.leastUpperBound(AnnotatedTypeFactory, AnnotatedTypeMirror, AnnotatedTypeMirror).
org.checkerframework.framework.type.QualifierHierarchy.leastUpperBoundsTypeVariable(Collection<? extends AnnotationMirror>, Collection<? extends AnnotationMirror>) Without the bounds of the type variable, it is not possible to correctly compute the relationship between "no qualifier" and a qualifier. Use AnnotatedTypes.leastUpperBound(AnnotatedTypeFactory, AnnotatedTypeMirror, AnnotatedTypeMirror).
org.checkerframework.framework.type.QualifierHierarchy.leastUpperBoundTypeVariable(AnnotationMirror, AnnotationMirror) Without the bounds of the type variable, it is not possible to correctly compute the relationship between "no qualifier" and a qualifier. Use AnnotatedTypes.leastUpperBound(AnnotatedTypeFactory, AnnotatedTypeMirror, AnnotatedTypeMirror).