Files
codeql/rust/ql/test/extractor-tests/generated/ArrayExpr/ArrayExpr.ql
Arthur Baars a9423f4bdb Rust: codegen
2024-09-20 15:50:59 +02:00

12 lines
369 B
Plaintext
Generated

// generated by codegen, do not edit
import codeql.rust.elements
import TestUtils
from ArrayExpr x, int getNumberOfAttrs, int getNumberOfExprs
where
toBeTested(x) and
not x.isUnknown() and
getNumberOfAttrs = x.getNumberOfAttrs() and
getNumberOfExprs = x.getNumberOfExprs()
select x, "getNumberOfAttrs:", getNumberOfAttrs, "getNumberOfExprs:", getNumberOfExprs