CodeQL library for Java/Kotlin
codeql/java-all 1.1.2-dev (changelog, source)

Member predicate Annotation::getAnArrayValue

Gets a value of the annotation element with the specified name, which must be declared as an array type. This includes default values in case no explicit value is specified.

If the annotation element is defined with an array initializer, then the result will be one of the elements of that array. Otherwise, the result will be the single expression used as value.

Expr getAnArrayValue(string name)