Map<String, dynamic> toJson() { return { 'url': url, 'lineNumber': lineNumber, 'columnNumber': columnNumber, if (scriptId != null) 'scriptId': scriptId!.toJson(), }; }