hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-03 20:58:03 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Fix QLDoc for PrintAST.qll nodes/edges

Browse Source
This commit is contained in:
Robert Marsh
2020-06-25 09:06:38 -07:00
parent b3072b9544
commit 9a1f909129
1 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
cpp/ql/src/semmle/code/cpp/PrintAST.qll
View File

@@ -528,16 +528,16 @@ class ArrayAggregateLiteralNode extends ExprNode {
}
}
/**
* Holds if `node` is printed in the PrintAST output tree and has the property `key` with the
* value `value`.
*/
/** Holds if `node` belongs to the output tree, and its property `key` has the given `value`. */
query predicate nodes(PrintASTNode node, string key, string value) {
node.shouldPrint() and
value = node.getProperty(key)
}
/** Holds if `node` belongs to the output tree, and its property `key` has the given `value`. */
/**
* Holds if `target` is a child of `source` in the AST, and property `key` of the edge has the
* given `value`.
*/
query predicate edges(PrintASTNode source, PrintASTNode target, string key, string value) {
exists(int childIndex |
source.shouldPrint() and