Files
codeql/swift/ql/test/extractor-tests/generated/File/File.ql
2024-09-16 13:40:02 +02:00

15 lines
453 B
Plaintext
Generated

// generated by codegen/codegen.py, do not edit
import codeql.swift.elements
import TestUtils
from File x, string getName, string isSuccessfullyExtracted
where
toBeTested(x) and
not x.isUnknown() and
getName = x.getName() and
if x.isSuccessfullyExtracted()
then isSuccessfullyExtracted = "yes"
else isSuccessfullyExtracted = "no"
select x, x.getPrimaryQlClasses(), "getName:", getName, "isSuccessfullyExtracted:",
isSuccessfullyExtracted