Java: Add predicates for getting annotated types / TypeAccess

[Marcono1234]

Would it be possible to add predicates for getting annotated (ElementType.TYPE_USE) types? Respectively TypeAccess instances which would then allow getting the annotations.

It appears currently one would have to write complicated predicates for getting the respective TypeAccess.
E.g. to get the TypeAccess of the method return type, the following appears to work:

TypeAccess getReturnTypeAccess(Method m) {
  exists (TypeAccess typeAccess |
    typeAccess.getParent() = m
    and result = typeAccess
  )
}

Though maybe it is incomplete and also returns generic type parameters and throws clause types (haven't tested it yet).
Edit: It appears the return type TypeAccess has the child index -1 of the method.

[aschackmull]

That predicate can be simplified to

TypeAccess getReturnTypeAccess(Method m) { result.getParent() = m }

Note, that this misses the return types that are arrays, as those would have an ArrayTypeAccess instead of a simple TypeAccess.