Skip to content

Commit 62c128f

Browse files
committed
C++: Add QLDoc.
1 parent e73833e commit 62c128f

File tree

1 file changed

+5
-0
lines changed

1 file changed

+5
-0
lines changed

cpp/ql/src/definitions.qll

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -215,5 +215,10 @@ Top definitionOf(Top e, string kind) {
215215
strictcount(result.getLocation()) < 10
216216
}
217217

218+
/**
219+
* Returns an appropriately encoded version of a filename `name`
220+
* passed by the VS Code extension in order to coincide with the
221+
* output of `.getFile()` on locatable entities.
222+
*/
218223
cached
219224
File getEncodedFile(string name) { result.getAbsolutePath().replaceAll(":", "_") = name }

0 commit comments

Comments
 (0)