CodeQL library for Java
codeql/java-all 0.3.5 (changelog, source)

Member predicate Annotation::getAValue

Gets a value of the annotation element with the specified name, which must be declared as an array type.

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

Expr getAValue(string name)