Bump checker-qual from 3.11.0 to 3.12.0

[dependabot]

Bumps checker-qual from 3.11.0 to 3.12.0.

Release notes

Sourced from checker-qual's releases.

Checker Framework 3.12.0

Version 3.12.0, April 1, 2021

User-visible changes:

New FAQ item "How should I annotate code that uses generics?" gives examples of annotations on type variables, together with their meaning.

-Ainfer=ajava uses ajava files (rather than jaif files or stub files) internally during whole-program inference.

The Optional Checker supports a new annotation @OptionalBottom that stands for (only) the null value.

The value element/argument to @EnumVal is now required. Previously it defaulted to an empty array.

Implementation details:

A precondition or normal postcondition annotation's value element must have type String[], not String. A conditinoal postcondition annotation's expression element must have type String[], not String. These changes will not affect users (any programmer-written annotation that was legal before will still be legal), but it may affect checker implementations.

JavaExpressionParseUtil: JavaExpressionParseUtil#parse no longer viewpoint-adapts Java expressions. It just converts the expression String to a JavaExpression. To that end, JavaExpressionParseUtil.JavaExpressionContext has been removed and JavaExpressionParseUtil#parse no longer takes a context object. Most calls to JavaExpressionParseUtil#parse should be replaced with a call to one of the methods in StringToJavaExpressions.

Renamed AnnotatedTypeComparer to DoubleAnnotatedTypeScanner. In the new class, the method compare was renamed defaultAction. The method combineRs was replaced by reduce.

Removed methods:

• AnnotationUtils.getElementValueArrayOrSingleton
• DependentTypesHelper.standardizeNewClassTree: use atExpression instead
• DependentTypesHelper.standardizeString: override one of the methods explained in the Javadoc of convertAnnotationMirror

Method renamings:

• DefaultQualifierForUseTypeAnnotator.getSupportAnnosFromDefaultQualifierForUses => getDefaultQualifierForUses
• In DependentTypesHelper:
  • check* => check*ForErrorExpressions
  • viewpointAdaptConstructor => atConstructorInvocation
  • viewpointAdaptMethod => atMethodInvocation
  • viewpointAdaptTypeVariableBounds => atParameterizedTypeUse
  • standardizeClass => atTypeDecl
  • standardizeExpression => atExpression
  • standardizeFieldAccess => atFieldAccess
  • standardizeReturnType => atReturnType
  • standardizeVariable => atVariableDeclaration

Deprecated some overloads in AnnotationUtils that take a CharSequence (use an overload that takes an ExecutablElement):

• getElementValueArray
• getElementValueClassName
• getElementValueClassNames
• getElementValueEnumArray
• getElementValueEnum
• getElementValue
• getElementValuesWithDefaults

... (truncated)

Changelog

Sourced from checker-qual's changelog.

Version 3.12.1, May 3, 2021

---

Version 3.12.0, April 1, 2021

User-visible changes:

New FAQ item "How should I annotate code that uses generics?" gives examples of annotations on type variables, together with their meaning.

-Ainfer=ajava uses ajava files (rather than jaif files or stub files) internally during whole-program inference.

The Optional Checker supports a new annotation @OptionalBottom that stands for (only) the null value.

The value element/argument to @EnumVal is now required. Previously it defaulted to an empty array.

Implementation details:

A precondition or normal postcondition annotation's value element must have type String[], not String. A conditinoal postcondition annotation's expression element must have type String[], not String. These changes will not affect users (any programmer-written annotation that was legal before will still be legal), but it may affect checker implementations.

JavaExpressionParseUtil: JavaExpressionParseUtil#parse no longer viewpoint-adapts Java expressions. It just converts the expression String to a JavaExpression. To that end, JavaExpressionParseUtil.JavaExpressionContext has been removed and JavaExpressionParseUtil#parse no longer takes a context object. Most calls to JavaExpressionParseUtil#parse should be replaced with a call to one of the methods in StringToJavaExpressions.

Renamed AnnotatedTypeComparer to DoubleAnnotatedTypeScanner. In the new class, the method compare was renamed defaultAction. The method combineRs was replaced by reduce.

Removed methods:

• AnnotationUtils.getElementValueArrayOrSingleton
• DependentTypesHelper.standardizeNewClassTree: use atExpression instead
• DependentTypesHelper.standardizeString: override one of the methods explained in the Javadoc of convertAnnotationMirror

Method renamings:

• DefaultQualifierForUseTypeAnnotator.getSupportAnnosFromDefaultQualifierForUses => getDefaultQualifierForUses
• In DependentTypesHelper:
  • check* => check*ForErrorExpressions

... (truncated)

Commits

• 1b56916 new release 3.12.0
• 7617816 Warn if polymorphic annotations are used on a class declaration.
• a6c9c95 Prep for release.
• 7647132 Reflow comments
• abdbea3 Use JavaParserUtil instead of StaticJavaParser (#4499)
• b79ec90 Reflow comments
• 2a22089 Put date in temporary file names
• 692c52b Check shell script style in CI
• ab27866 Deprecate getElementValue* that takes a CharSequence (#4493)
• 1184a80 Revert "Warning if polymorphic annotations are used on a class declaration."
• Additional commits viewable in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually