hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-27 14:16:34 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #5309 from github/aeisenberg/from-source-docs

Browse Source 
Documentation: Update C/C++ Element::fromSource() docs
This commit is contained in:
Robert Marsh
2021-03-02 12:51:41 -08:00
committed by GitHub
parent 648910e974 9982112b61
commit 312ead44c5
1 changed files with 3 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
cpp/ql/src/semmle/code/cpp/Element.qll
View File

@@ -80,11 +80,9 @@ class Element extends ElementBase {
File getFile() { result = this.getLocation().getFile() }
/**
* Holds if this element may be from source.
*
* Note: this predicate is provided for consistency with the libraries
* for other languages, such as Java and Python. In C++, all files are
* classified as source files, so this predicate is always true.
* Holds if this element may be from source. This predicate holds for all
* elements, except for those in the dummy file, whose name is the empty string.
* The dummy file contains declarations that are built directly into the compiler.
*/
predicate fromSource() { this.getFile().fromSource() }