hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-28 18:25:24 +02:00
Code Issues Packages Projects Releases Wiki Activity

CPP: Add a test of NameQualifiableElement and NameQualifyingElement.

Browse Source
This commit is contained in:
Geoffrey White
2019-08-19 12:11:53 +01:00
parent eb39346d85
commit 3eec627321
2 changed files with 26 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
cpp/ql/test/library-tests/namespaces/namespaces/namequalifiable.expected Normal file
View File

@@ -0,0 +1,11 @@
| file://:0:0:0:0 | (global namespace) | NameQualifyingElement |
| file://:0:0:0:0 | B | NameQualifyingElement |
| namespaces.cpp:1:11:1:11 | A | NameQualifyingElement |
| namespaces.cpp:9:11:9:11 | C | NameQualifyingElement |
| namespaces.cpp:11:13:11:13 | C::D | NameQualifyingElement |
| namespaces.cpp:13:30:13:30 | 0 | NameQualifiableElement |
| namespaces.cpp:15:12:15:12 | E | NameQualifyingElement |
| namespaces.cpp:32:11:32:13 | C:: | NameQualifiableElement |
| namespaces.cpp:32:11:32:17 | call to f | NameQualifiableElement |
| namespaces.cpp:32:14:32:16 | D:: | NameQualifiableElement |
| namespaces.cpp:36:11:36:13 | std | NameQualifyingElement |

15
cpp/ql/test/library-tests/namespaces/namespaces/namequalifiable.ql Normal file
View File

@@ -0,0 +1,15 @@
import cpp
string describe(Element e) {
(
e instanceof NameQualifiableElement and
result = "NameQualifiableElement"
) or (
e instanceof NameQualifyingElement and
result = "NameQualifyingElement"
)
}
from Element e
where e.getFile().fromSource() or e instanceof Namespace
select e, strictconcat(describe(e), ", ")