github / github/codeql

Java: AnnotationElement does not extend Method

Abierto
#5,399 3 comentarios 0 reacciones 0 asignados Ver en GitHub
question
Lenguaje dominante
CodeQL
Estrellas
10.1k
Forks
2.1k
Merge medio
2 d 15 h
PR fusionados (30 d)
141

Descripción

`AnnotationElement` is in CodeQL effectively a `Method` (i.e. `forall(AnnotationElement e | e instanceof Method)` will always hold), however it does not extend Method.

This makes usage confusing because Java interfaces and classes can have (despite it being discouraged) an `AnnotationType` as supertype. So it is not obvious how CodeQL will handle this unless you look in the source and find out how `AnnotationElement` is defined.

Slightly related to #3708

Guía de contribución

Abrir la guía de contribución

Evaluación

Este issue todavía no se ha evaluado.

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.