Merge branch 'main' into qldoc-nodes

This commit is contained in:
Taus
2021-05-29 00:03:09 +02:00
committed by GitHub
2 changed files with 4 additions and 2 deletions

View File

@@ -1,5 +1,7 @@
# QL analysis support for CodeQL
*Part of the May 2021 [code scanning hackathon](https://github.com/github/code-scanning-hackathon/issues/3).*
Under development.
## Building the tools from source

View File

@@ -16,5 +16,5 @@ string getQualifiedName(ClassPredicate p) {
from ClassPredicate pred, ClassPredicate sup
where pred.overrides(sup) and not pred.isOverride()
select pred, getQualifiedName(pred) + "overrides $@ but does not have an override annotation.", sup,
getQualifiedName(sup)
select pred, getQualifiedName(pred) + " overrides $@ but does not have an override annotation.",
sup, getQualifiedName(sup)