* Get a file record by path
(filePath: string)
| 2016 | * Get a file record by path |
| 2017 | */ |
| 2018 | getFile(filePath: string): FileRecord | null { |
| 2019 | return this.queries.getFileByPath(filePath); |
| 2020 | } |
| 2021 | |
| 2022 | /** |
| 2023 | * Whether the index holds any file under `dir`, a project-relative POSIX |
no test coverage detected