Predicate getFileBySourceArchiveName
Returns the File matching the given source file name as encoded by the VS
Code extension.
Import path
import analysis.IDEContextualReturns the File matching the given source file name as encoded by the VS
Code extension.
import analysis.IDEContextual