C++: add method commetns in Compilation.qll

This commit is contained in:
Robert Marsh
2020-04-13 14:41:25 -07:00
parent de29d93ede
commit d065389a6b

View File

@@ -40,6 +40,7 @@ class Compilation extends @compilation {
/** Gets a file compiled during this invocation. */
File getAFileCompiled() { result = getFileCompiled(_) }
/** Gets the `i`th file compiled during this invocation */
File getFileCompiled(int i) { compilation_compiling_files(this, i, unresolveElement(result)) }
/**