Java: Some CodeQL classes don't extend `Top`
Aperta
Java
- Lingua principale
- CodeQL
- Stelle
- 10.1k
- Fork
- 2.1k
- Merge medio
- 2g 15h
- PR unite (30g)
- 141
Descrizione
**Description of the issue**
The [documentation](https://codeql.github.com/codeql-standard-libraries/java/semmle/code/Location.qll/type.Location$Top.html) for `Top` says:
> Top is the root of the QL type hierarchy; it defines some default methods for obtaining locations and a standard `toString()` method.
However, some CodeQL classes don't extend it.
Affected (list might be incomplete):
- `SuppressionScope` (internal, so might not matter)
- `TypeBound`
- `Module`
- `Directive`
- `XMLParent`
Guida per i contributori
Apri la guida per i contributori
Valutazione
Questa issue non è ancora stata valutata.