github / github/codeql

Java: AnnotationElement does not extend Method

Aperta
#5,399 3 commenti 0 reazioni 0 assegnatari Vedi su GitHub
question
Lingua principale
CodeQL
Stelle
10.1k
Fork
2.1k
Merge medio
2g 15h
PR unite (30g)
141

Descrizione

`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

Guida per i contributori

Apri la guida per i contributori

Valutazione

Questa issue non è ancora stata valutata.

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.