rich_3471

{"status": "ok", "stdout": "./CHANGELOG.md:1194:- Added Text.append_tokens for fast appending of string + Style pairs\n./CHANGELOG.md:1196:- Added Text.append_tokens\n./rich/syntax.py:521:                text.append_tokens(tokens_to_spans())\n./rich/syntax.py:524:                text.append_tokens(\n./rich/text.py:1028:    def append_tokens(\n", "exit_code": 0}

{"status": "ok", "filepath": "rich/text.py", "content": "    def append_tokens(\n        self, tokens: Iterable[Tuple[str, Optional[StyleType]]]\n    ) -> \"Text\":\n        \"\"\"Append iterable of str and style. Style may be a Style instance or a str style definition.\n\n        Args:\n            tokens (Iterable[Tuple[str, Optional[StyleType]]]): An iterable of tuples containing str content and style.\n\n        Returns:\n            Text: Returns self for chaining.\n        \"\"\"\n        append_text = self._text.append\n        append_span = self._spans.append\n        _Span = Span\n        offset = len(self)\n        for content, style in tokens:\n            append_text(content)\n            if style:\n                append_span(_Span(offset, offset + len(content), style))\n            offset += len(content)\n        self._length = offset\n        return self\n\n    def copy_styles(self, text: \"Text\") -> None:\n        \"\"\"Copy styles from another Text instance.\n\n        Args:\n            text (Text): A Text instance to copy styles from, must be the same length.\n        \"\"\"\n        self._spans.extend(text._spans)\n\n    def split(\n        self,\n        separator: str = \"\\n\",\n        *,\n        include_separator: bool = False,\n        allow_blank: bool = False,\n    ) -> Lines:\n        \"\"\"Split rich text in to lines, preserving styles.\n\n        Args:\n            separator (str, optional): String to split on. Defaults to \"\\\\\\\\n\".\n            include_separator (bool, optional): Include the separator in the lines. Defaults to False.\n            allow_blank (bool, optional): Return a blank line if the text ends with a separator. Defaults to False.\n\n        Returns:\n            List[RichText]: A list of rich text, one per line of the original.\n        \"\"\"\n        assert separator, \"separator must not be empty\"\n\n        text = self.plain\n        if separator not in text:\n            return Lines([self.copy()])\n\n 

{"status": "ok", "stdout": "hello world\n", "exit_code": 0}

{"status": "ok", "stdout": "\n", "exit_code": 0}

{"status": "ok", "stdout": "ab\n[Span(0, 1, 'red'), Span(1, 2, 'blue')]\n", "exit_code": 0}

{"status": "ok", "stdout": "startmidend\n[Span(5, 8, 'red'), Span(8, 11, 'blue')]\n", "exit_code": 0}

{"status": "ok", "stdout": "plain: , spans: [Span(0, 0, 'red')]\n", "exit_code": 0}

{"status": "ok", "stdout": "plain: ab, spans: [Span(0, 1, 'red'), Span(1, 1, 'blue'), Span(1, 2, 'green')]\n", "exit_code": 0}

{"status": "ok", "stdout": "plain: abc, spans: [Span(0, 1, 'red'), Span(1, 2, 'blue'), Span(2, 3, 'green')]\n", "exit_code": 0}

{"status": "ok", "stdout": "plain: ab, spans: [Span(0, 1, 'red'), Span(1, 2, 'blue')]\n", "exit_code": 0}

{"status": "ok", "stdout": "521:                text.append_tokens(tokens_to_spans())\n524:                text.append_tokens(\n", "exit_code": 0}

{"status": "ok", "filepath": "rich/syntax.py", "content": "                        yield (token, None)\n                        if token.endswith(\"\\n\"):\n                            line_no += 1\n                    # Generate spans until line end\n                    for token_type, token in tokens:\n                        yield (token, _get_theme_style(token_type))\n                        if token.endswith(\"\\n\"):\n                            line_no += 1\n                            if line_end and line_no >= line_end:\n                                break\n\n                text.append_tokens(tokens_to_spans())\n\n            else:\n                text.append_tokens(\n                    (token, _get_theme_style(token_type))\n                    for token_type, token in lexer.get_tokens(code)\n                )\n            if self.background_color is not None:\n                text.stylize(f\"on {self.background_color}\")\n\n        if self._stylized_ranges:\n            self._apply_stylized_ranges(text)\n\n        return text\n\n", "start_line": 510, "end_line": 535, "total_lines": 955, "is_truncated": false}

{"status": "error", "error_type": "CommandError", "error_message": "Command failed with exit code 1", "details": {"stdout": "", "stderr": "Traceback (most recent call last):\n  File \"<string>\", line 1, in <module>\n    from rich.text import Text; t = Text(); t.append_tokens(None); print(t)\n                                            ~~~~~~~~~~~~~~~^^^^^^\n  File \"/workspace/rich/text.py\", line 1043, in append_tokens\n    for content, style in tokens:\n                          ^^^^^^\nTypeError: 'NoneType' object is not iterable\n", "exit_code": 1}}

{"status": "ok", "stdout": "ab\n2\n", "exit_code": 0}

{"status": "ok", "stdout": "startmidend\n11\n", "exit_code": 0}

{"status": "ok", "stdout": "start\n5\n", "exit_code": 0}

{"status": "ok", "stdout": "plain: start, length: 5\n", "exit_code": 0}

{"status": "ok", "filepath": "rich/text.py", "occurrences": 1, "strategy": "exact", "diff": "--- a/rich/text.py\n+++ b/rich/text.py\n@@ -1045,7 +1045,8 @@\n             if style:\n                 append_span(_Span(offset, offset + len(content), style))\n             offset += len(content)\n-        self._length = offset\n+        if offset != len(self):\n+            self._length = offset\n         return self\n \n     def copy_styles(self, text: \"Text\") -> None:\n", "is_truncated": false, "budget_warning": "Only 9 tool call(s) remaining (51/60 used). Finalize your edits and call submit_patch soon."}

{"status": "ok", "patch_size": 464, "files_changed": 1}