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