Interface SourceLocation

A SourcePosition plus the file it's in, for anywhere the file isn't already implied by the surrounding structure (e.g. a finding's list of candidate sites spanning multiple files).

interface SourceLocation {
    column: number;
    file: string;
    line: number;
}