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

Member predicate Annotation::getArrayValue

Gets the value at a given index 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 the element at the given index of that array, starting at 0. Otherwise, the result will be the single expression defined for the value and the index will be 0.

Expr getArrayValue(string name, int index)