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

Rust: Rename classes with Record to Struct

Browse Source
This commit is contained in:
Simon Friis Vindum
2025-03-19 10:37:10 +01:00
parent 179bae8791
commit b2b650ddd3
155 changed files with 1968 additions and 1933 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

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