github / github/codeql

Java: AnnotationElement does not extend Method

Offen
#5,399 3 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen
question
Vorherrschende Sprache
CodeQL
Sterne
10.1k
Forks
2.1k
Ø Merge
2 T. 15 Std.
Gemergte PRs (30 T.)
141

Beschreibung

`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

Beitragsleitfaden

Beitragsleitfaden öffnen

Bewertung

Dieses Issue wurde noch nicht bewertet.

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.