Map<String, Object?> toJson() => { '@': { 'uri': uri.toFilePath(), 'line': line, 'column': column, }, ...arguments, };