hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-24 04:36:35 +01:00
Code Issues Packages Projects Releases Wiki Activity

fix ql-for-ql errors

Browse Source
This commit is contained in:
Stephan Brandauer
2023-05-03 14:17:06 +02:00
parent 05bf13b020
commit dfb9d88198
3 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
java/ql/src/Telemetry/AutomodelExtractCandidates.ql
View File

@@ -36,7 +36,7 @@ where
) + "\n" +
// Extract the needed metadata for this endpoint.
any(string metadata | CharacteristicsImpl::hasMetadata(endpoint, metadata))
select endpoint, message + "\nrelated locations: $@, $@", //
select endpoint, message + "\nrelated locations: $@, $@.", //
CharacteristicsImpl::getRelatedLocationOrCandidate(endpoint, "Callable-JavaDoc"),
"Callable-JavaDoc", //
CharacteristicsImpl::getRelatedLocationOrCandidate(endpoint, "Class-JavaDoc"), "Class-JavaDoc" //

2
java/ql/src/Telemetry/AutomodelExtractNegativeExamples.ql
View File

@@ -33,7 +33,7 @@ where
characteristic + "\n" +
// Extract the needed metadata for this endpoint.
any(string metadata | CharacteristicsImpl::hasMetadata(endpoint, metadata))
select endpoint, message + "\nrelated locations: $@, $@",
select endpoint, message + "\nrelated locations: $@, $@.",
CharacteristicsImpl::getRelatedLocationOrCandidate(endpoint, "Callable-JavaDoc"),
"Callable-JavaDoc", //
CharacteristicsImpl::getRelatedLocationOrCandidate(endpoint, "Class-JavaDoc"), "Class-JavaDoc" //

2
java/ql/src/Telemetry/AutomodelExtractPositiveExamples.ql
View File

@@ -26,7 +26,7 @@ where
// Extract the needed metadata for this endpoint.
any(string metadata | CharacteristicsImpl::hasMetadata(sink, metadata))
)
select sink, message + "\nrelated locations: $@, $@",
select sink, message + "\nrelated locations: $@, $@.",
CharacteristicsImpl::getRelatedLocationOrCandidate(sink, "Callable-JavaDoc"),
"Callable-JavaDoc", //
CharacteristicsImpl::getRelatedLocationOrCandidate(sink, "Class-JavaDoc"), "Class-JavaDoc" //