interfacemodule.default.SourceMappinginterface SourceMappinggeneratedColumn: numbergeneratedLine: numberoriginalColumn: numberoriginalLine: numberoriginalSource: string