Deprecated API

Contents

• Classes
• Methods
• Constructors

Deprecated Classes

Class	Description
org.checkerframework.dataflow.cfg.node.StringConcatenateAssignmentNode	StringConcatenateAssignmentNode is no longer used in CFGs. Instead, an assignment and a concatenation node are generated.

Deprecated Methods

Method	Description
org.checkerframework.checker.formatter.util.FormatUtil.conversionCharFromFormat(String)	This method is public only for testing. Use private method #conversionCharFromFormat(Matcher).
org.checkerframework.common.value.ValueTransfer.visitStringConcatenateAssignment(StringConcatenateAssignmentNode, TransferInput<CFValue, CFStore>)
org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor.visitStringConcatenateAssignment(StringConcatenateAssignmentNode, P)
org.checkerframework.dataflow.cfg.node.NodeVisitor.visitStringConcatenateAssignment(StringConcatenateAssignmentNode, P)
org.checkerframework.dataflow.cfg.UnderlyingAST.CFGLambda.getMethod()	use #getEnclosingMethod()
org.checkerframework.dataflow.cfg.UnderlyingAST.CFGLambda.getMethodName()	use #getEnclosingMethodName()
org.checkerframework.dataflow.util.PurityUtils.isSideEffectFree(AnnotationProvider, MethodTree)	use AnnotationProvider.isSideEffectFree(javax.lang.model.element.ExecutableElement)
org.checkerframework.framework.flow.CFAbstractStore.isSideEffectFree(AnnotatedTypeFactory, ExecutableElement)	use AnnotationProvider.isSideEffectFree(javax.lang.model.element.ExecutableElement)
org.checkerframework.framework.flow.CFAbstractTransfer.visitStringConcatenateAssignment(StringConcatenateAssignmentNode, TransferInput<V, S>)
org.checkerframework.framework.type.AnnotatedTypeFactory.addAliasedAnnotation(String, AnnotationMirror)	use AnnotatedTypeFactory.addAliasedTypeAnnotation(java.lang.Class<?>, javax.lang.model.element.AnnotationMirror)
org.checkerframework.framework.type.AnnotatedTypeFactory.addAliasedAnnotation(Class<?>, Class<?>, boolean, String...)	use addAliasedTypeAnnotation
org.checkerframework.framework.type.AnnotatedTypeFactory.addAliasedAnnotation(Class<?>, AnnotationMirror)	use addAliasedTypeAnnotation
org.checkerframework.framework.type.AnnotatedTypeFactory.binaryTreeArgTypes(AnnotatedTypeMirror, AnnotatedTypeMirror)	use AnnotatedTypeFactory.binaryTreeArgTypes(BinaryTree) or AnnotatedTypeFactory.compoundAssignmentTreeArgTypes(CompoundAssignmentTree)
org.checkerframework.framework.type.AnnotatedTypeFactory.fromNewClass(NewClassTree)	Use AnnotatedTypeFactory.getExplicitNewClassAnnos(NewClassTree), AnnotatedTypeFactory.getExplicitNewClassClassTypeArgs(NewClassTree), or AnnotatedTypeFactory.getAnnotatedType(ClassTree) instead.
org.checkerframework.framework.type.AnnotatedTypeFactory.getCurrentClassTree(Tree)	Use TreePathUtil.enclosingClass(getPath(tree)) instead.
org.checkerframework.framework.type.AnnotatedTypeFactory.getCurrentMethodReceiver(Tree)	Use AnnotatedTypeFactory.getSelfType(Tree) instead
org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedDeclaredType.setWasRaw()	Use AnnotatedTypeMirror.AnnotatedDeclaredType.setIsUnderlyingTypeRaw() instead
org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedDeclaredType.wasRaw()	Use AnnotatedTypeMirror.AnnotatedDeclaredType.isUnderlyingTypeRaw() instead
org.checkerframework.framework.type.AnnotatedTypeReplacer.replace(AnnotatedTypeMirror, AnnotatedTypeMirror)	use AnnotatedTypeFactory.replaceAnnotations(AnnotatedTypeMirror, AnnotatedTypeMirror) instead.
org.checkerframework.framework.type.AnnotatedTypeReplacer.replace(AnnotatedTypeMirror, AnnotatedTypeMirror, AnnotationMirror)	use AnnotatedTypeFactory.replaceAnnotations(AnnotatedTypeMirror, AnnotatedTypeMirror, AnnotationMirror) instead.
org.checkerframework.framework.type.typeannotator.DefaultQualifierForUseTypeAnnotator.supportedAnnosFromAnnotationMirror(AnnotationMirror)	use DefaultQualifierForUseTypeAnnotator.supportedAnnosFromAnnotationMirror(List)
org.checkerframework.framework.util.AnnotatedTypes.expandVarArgsParameters(AnnotatedTypeFactory, AnnotatedTypeMirror.AnnotatedExecutableType, List<? extends ExpressionTree>)	Use AnnotatedTypes.adaptParameters(AnnotatedTypeFactory, AnnotatedTypeMirror.AnnotatedExecutableType, List) instead
org.checkerframework.framework.util.AnnotatedTypes.getAnnotatedTypes(AnnotatedTypeFactory, List<AnnotatedTypeMirror>, List<? extends ExpressionTree>)	use CollectionsPlume.mapList(atypeFactory::getAnnotatedType, trees) instead.
org.checkerframework.framework.util.AnnotatedTypes.isExplicitlyExtendsBounded(AnnotatedTypeMirror.AnnotatedWildcardType)	Use AnnotatedTypes.hasExplicitExtendsBound(AnnotatedTypeMirror).
org.checkerframework.framework.util.AnnotatedTypes.isExplicitlySuperBounded(AnnotatedTypeMirror.AnnotatedWildcardType)	Use AnnotatedTypes.hasExplicitSuperBound(AnnotatedTypeMirror)
org.checkerframework.javacutil.AnnotationUtils.areSameByClass(AnnotationMirror, Class<? extends Annotation>)	use AnnotatedTypeFactory#areSameByClass or AnnotationUtils.areSameByName(javax.lang.model.element.AnnotationMirror, javax.lang.model.element.AnnotationMirror)
org.checkerframework.javacutil.AnnotationUtils.getElementValue(AnnotationMirror, CharSequence, Class<T>, boolean)	use AnnotationUtils.getElementValue(AnnotationMirror, ExecutableElement, Class) or AnnotationUtils.getElementValue(AnnotationMirror, ExecutableElement, Class, Object)
org.checkerframework.javacutil.AnnotationUtils.getElementValueArray(AnnotationMirror, CharSequence, Class<T>, boolean)	use #getElementValueArray(AnnotationMirror, ExecutableElement, Class) or #getElementValueArray(AnnotationMirror, ExecutableElement, Class, Object)
org.checkerframework.javacutil.AnnotationUtils.getElementValueClassName(AnnotationMirror, CharSequence, boolean)	use an ExecutableElement
org.checkerframework.javacutil.AnnotationUtils.getElementValueClassNames(AnnotationMirror, CharSequence, boolean)	use AnnotationUtils.getElementValueClassNames(AnnotationMirror,ExecutableElement)
org.checkerframework.javacutil.AnnotationUtils.getElementValueEnum(AnnotationMirror, CharSequence, Class<T>, boolean)	use AnnotationUtils.getElementValueEnum(AnnotationMirror, ExecutableElement, Class) or AnnotationUtils.getElementValueEnum(AnnotationMirror, ExecutableElement, Class, Enum)
org.checkerframework.javacutil.AnnotationUtils.getElementValueEnumArray(AnnotationMirror, CharSequence, Class<T>, boolean)	use AnnotationUtils.getElementValueEnumArray(AnnotationMirror, ExecutableElement, Class) or AnnotationUtils.getElementValueEnumArray(AnnotationMirror, ExecutableElement, Class, Enum[])
org.checkerframework.javacutil.AnnotationUtils.getElementValuesWithDefaults(AnnotationMirror)	use a method that takes an ExecutableElement
org.checkerframework.javacutil.AnnotationUtils.hasElementValue(AnnotationMirror, CharSequence)	use a method that takes an ExecutableElement
org.checkerframework.javacutil.ElementUtils.classElementKinds()	use ElementUtils.typeElementKinds()
org.checkerframework.javacutil.ElementUtils.enclosingClass(Element)	use ElementUtils.enclosingTypeElement(javax.lang.model.element.Element)
org.checkerframework.javacutil.ElementUtils.isClassElement(Element)	use ElementUtils.isTypeElement(javax.lang.model.element.Element)
org.checkerframework.javacutil.SystemUtil.addWithoutDuplicates(List<T>, List<? extends T>)	use CollectionsPlume.adjoinAll
org.checkerframework.javacutil.SystemUtil.concatenate(T[], T...)	use StringsPlume.concatenate
org.checkerframework.javacutil.SystemUtil.concatenate(T, T[], T)	use PlumeUtil.concat
org.checkerframework.javacutil.SystemUtil.getBooleanSystemProperty(String)	use UtilPlume.getBooleanSystemProperty
org.checkerframework.javacutil.SystemUtil.getBooleanSystemProperty(String, boolean)	use UtilPlume.getBooleanSystemProperty
org.checkerframework.javacutil.SystemUtil.getJreVersion()	use field SystemUtil.jreVersion instead
org.checkerframework.javacutil.SystemUtil.intersection(List<? extends T>, List<? extends T>)	use CollectionsPlume.listIntersection
org.checkerframework.javacutil.SystemUtil.mapCapacity(int)	use CollectionsPlume.mapCapacity
org.checkerframework.javacutil.SystemUtil.mapCapacity(Collection<?>)	use CollectionsPlume.mapCapacity
org.checkerframework.javacutil.SystemUtil.mapCapacity(Map<?, ?>)	use CollectionsPlume.mapCapacity
org.checkerframework.javacutil.SystemUtil.readFile(File)	use Files.readAllLines
org.checkerframework.javacutil.SystemUtil.sleep(long)	use SystemPlume.sleep
org.checkerframework.javacutil.SystemUtil.union(List<T>, List<T>)	use CollectionsPlume.listUnion
org.checkerframework.javacutil.TreeUtils.constructor(NewClassTree)	use elementFromUse instead
org.checkerframework.javacutil.TreeUtils.elementFromDeclaration(ExpressionTree)	use elementFromUse or elementFromTree
org.checkerframework.javacutil.TreeUtils.elementFromDeclaration(MemberSelectTree)	use elementFromUse
org.checkerframework.javacutil.TreeUtils.elementFromDeclaration(MethodInvocationTree)	use elementFromUse
org.checkerframework.javacutil.TreeUtils.elementFromDeclaration(NewClassTree)	use elementFromUse
org.checkerframework.javacutil.TreeUtils.elementFromTree(ClassTree)	use elementFromDeclaration
org.checkerframework.javacutil.TreeUtils.elementFromTree(MemberSelectTree)	use elementFromUse
org.checkerframework.javacutil.TreeUtils.elementFromTree(MethodInvocationTree)	use elementFromUse
org.checkerframework.javacutil.TreeUtils.elementFromTree(MethodTree)	use elementFromDeclaration
org.checkerframework.javacutil.TreeUtils.elementFromTree(NewClassTree)	use elementFromUse
org.checkerframework.javacutil.TreeUtils.elementFromTree(VariableTree)	use elementFromDeclaration
org.checkerframework.javacutil.TreeUtils.elementFromUse(ClassTree)	use elementFromDeclaration
org.checkerframework.javacutil.TreeUtils.elementFromUse(MethodTree)	use elementFromDeclaration
org.checkerframework.javacutil.TreeUtils.elementFromUse(VariableTree)	use elementFromDeclaration
org.checkerframework.javacutil.TypesUtils.isCaptured(TypeMirror)	use TypesUtils.isCapturedTypeVariable(TypeMirror) instead

Deprecated Constructors

Constructor	Description
org.checkerframework.dataflow.cfg.node.ReturnNode(ReturnTree, Node, Types, LambdaExpressionTree, Symbol.MethodSymbol)	Use #ReturnNode(ReturnTree, Node, Types) instead.
org.checkerframework.dataflow.cfg.node.ReturnNode(ReturnTree, Node, Types, MethodTree)	Use #ReturnNode(ReturnTree, Node, Types) instead.