Files
codeql/rust/ql/test/extractor-tests/generated/Module/Module.ql
2024-09-16 13:39:55 +02:00

11 lines
294 B
Plaintext
Generated

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