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