INTERNAL: Do not reference the Generated::DbFile class directly.
Use the subclass DbFile, where the following predicates are available.
Import path
import codeql.swift.generated.DbFileKnown direct subtypes
Predicates
| getAPrimaryQlClass | Gets the name of a primary CodeQL class to which this element belongs. |
Inherited predicates
| getAbsolutePath | Gets the absolute path of this file. | from File |
| getBaseName | Gets the base name of this file. | from File |
| getExtension | Gets the extension of this container, that is, the suffix of its base name after the last dot character, if any. | from File |
| getFullName | Gets the full name of this file. | from File |
| getFullyUnresolved | from Element | |
| getName | Gets the name of this file. | from File |
| getNumberOfLinesOfCode | Gets the number of lines containing code in this file. This value is approximate. | from File |
| getPrimaryQlClasses | Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs. | from Element |
| getRelativePath | Gets the relative path of this file from the root folder of the analyzed source location. The relative path of the root folder itself would be the empty string. | from File |
| getResolveStep | Gets the most immediate element that should substitute this element in the explicit AST, if any. Classes can override this to indicate this node should be in the “hidden” AST, mostly reserved for conversions and syntactic sugar nodes like parentheses. | from Element |
| getStem | Gets the stem of this container, that is, the prefix of its base name up to (but not including) the last dot character if there is one, or the entire base name if there is not. | from File |
| getURL | Gets the URL of this file. | from File |
| isSuccessfullyExtracted | Holds if this file is successfully extracted. | from File |
| isUnknown | Holds if this element is unknown. | from Element |
| resolve | Gets the element that should substitute this element in the explicit AST, applying | from Element |
| toString | toString | from File |