Java: AnnotationElement does not extend Method
Ouverte
question
- Langage dominant
- CodeQL
- Étoiles
- 10.1k
- Forks
- 2.1k
- Merge moyen
- 2 j 15 h
- PR mergées (30 j)
- 141
Description
`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
Guide de contribution
Ouvrir le guide de contribution
Évaluation
Cette issue n'a pas encore été évaluée.