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

Rust: codegen

Browse Source
This commit is contained in:
Arthur Baars
2024-09-20 11:09:41 +02:00
parent 2ee61f9aaa
commit db06ad2ac3
755 changed files with 5969 additions and 793 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
rust/ql/test/extractor-tests/generated/UseTree/UseTree.ql generated Normal file
View File

@@ -0,0 +1,12 @@
// generated by codegen, do not edit
import codeql.rust.elements
import TestUtils
from UseTree x, string hasPath, string hasRename, string hasUseTreeList
where
toBeTested(x) and
not x.isUnknown() and
(if x.hasPath() then hasPath = "yes" else hasPath = "no") and
(if x.hasRename() then hasRename = "yes" else hasRename = "no") and
if x.hasUseTreeList() then hasUseTreeList = "yes" else hasUseTreeList = "no"
select x, "hasPath:", hasPath, "hasRename:", hasRename, "hasUseTreeList:", hasUseTreeList