/* * Copyright (c) 2018-2020, Andreas Kling * All rights reserved. * * Redistribution and use in source and binary forms, with or without * modification, are permitted provided that the following conditions are met: * * 1. Redistributions of source code must retain the above copyright notice, this * list of conditions and the following disclaimer. * * 2. Redistributions in binary form must reproduce the above copyright notice, * this list of conditions and the following disclaimer in the documentation * and/or other materials provided with the distribution. * * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE * DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER * CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. */ #pragma once #include #include #include #include #include #include #include #include #include #include #include #include #include namespace GUI { struct TextDocumentSpan { TextRange range; Color color; Optional background_color; bool is_skippable { false }; bool is_underlined { false }; const Gfx::Font* font { nullptr }; void* data { nullptr }; }; class TextDocument : public RefCounted { public: enum class SearchShouldWrap { No = 0, Yes }; class Client { public: virtual ~Client(); virtual void document_did_append_line() = 0; virtual void document_did_insert_line(size_t) = 0; virtual void document_did_remove_line(size_t) = 0; virtual void document_did_remove_all_lines() = 0; virtual void document_did_change() = 0; virtual void document_did_set_text() = 0; virtual void document_did_set_cursor(const TextPosition&) = 0; virtual bool is_automatic_indentation_enabled() const = 0; virtual int soft_tab_width() const = 0; }; static NonnullRefPtr create(Client* client = nullptr); virtual ~TextDocument(); size_t line_count() const { return m_lines.size(); } const TextDocumentLine& line(size_t line_index) const { return m_lines[line_index]; } TextDocumentLine& line(size_t line_index) { return m_lines[line_index]; } void set_spans(const Vector& spans) { m_spans = spans; } void set_text(const StringView&); const NonnullOwnPtrVector& lines() const { return m_lines; } NonnullOwnPtrVector& lines() { return m_lines; } bool has_spans() const { return !m_spans.is_empty(); } Vector& spans() { return m_spans; } const Vector& spans() const { return m_spans; } void set_span_at_index(size_t index, TextDocumentSpan span) { m_spans[index] = move(span); } const TextDocumentSpan* span_at(const TextPosition&) const; void append_line(NonnullOwnPtr); void remove_line(size_t line_index); void remove_all_lines(); void insert_line(size_t line_index, NonnullOwnPtr); void register_client(Client&); void unregister_client(Client&); void update_views(Badge); String text() const; String text_in_range(const TextRange&) const; Vector find_all(const StringView& needle) const; TextRange find_next(const StringView&, const TextPosition& start = {}, SearchShouldWrap = SearchShouldWrap::Yes) const; TextRange find_previous(const StringView&, const TextPosition& start = {}, SearchShouldWrap = SearchShouldWrap::Yes) const; TextPosition next_position_after(const TextPosition&, SearchShouldWrap = SearchShouldWrap::Yes) const; TextPosition previous_position_before(const TextPosition&, SearchShouldWrap = SearchShouldWrap::Yes) const; u32 code_point_at(const TextPosition&) const; TextRange range_for_entire_line(size_t line_index) const; Optional first_non_skippable_span_before(const TextPosition&) const; Optional first_non_skippable_span_after(const TextPosition&) const; TextPosition first_word_break_before(const TextPosition&, bool start_at_column_before) const; TextPosition first_word_break_after(const TextPosition&) const; void add_to_undo_stack(NonnullOwnPtr); bool can_undo() const { return m_undo_stack.can_undo(); } bool can_redo() const { return m_undo_stack.can_redo(); } void undo(); void redo(); void notify_did_change(); void set_all_cursors(const TextPosition&); TextPosition insert_at(const TextPosition&, u32, const Client* = nullptr); TextPosition insert_at(const TextPosition&, const StringView&, const Client* = nullptr); void remove(const TextRange&); virtual bool is_code_document() const { return false; } bool is_empty() const; protected: explicit TextDocument(Client* client); private: void update_undo_timer(); NonnullOwnPtrVector m_lines; Vector m_spans; HashTable m_clients; bool m_client_notifications_enabled { true }; UndoStack m_undo_stack; RefPtr m_undo_timer; }; class TextDocumentLine { public: explicit TextDocumentLine(TextDocument&); explicit TextDocumentLine(TextDocument&, const StringView&); String to_utf8() const; Utf32View view() const { return { code_points(), length() }; } const u32* code_points() const { return m_text.data(); } size_t length() const { return m_text.size(); } void set_text(TextDocument&, const StringView&); void set_text(TextDocument&, Vector); void append(TextDocument&, u32); void prepend(TextDocument&, u32); void insert(TextDocument&, size_t index, u32); void remove(TextDocument&, size_t index); void append(TextDocument&, const u32*, size_t); void truncate(TextDocument&, size_t length); void clear(TextDocument&); void remove_range(TextDocument&, size_t start, size_t length); size_t first_non_whitespace_column() const; Optional last_non_whitespace_column() const; bool ends_in_whitespace() const; bool is_empty() const { return length() == 0; } private: // NOTE: This vector is null terminated. Vector m_text; }; class TextDocumentUndoCommand : public Command { public: TextDocumentUndoCommand(TextDocument&); virtual ~TextDocumentUndoCommand(); void execute_from(const TextDocument::Client& client) { m_client = &client; redo(); m_client = nullptr; } protected: TextDocument& m_document; const TextDocument::Client* m_client { nullptr }; }; class InsertTextCommand : public TextDocumentUndoCommand { public: InsertTextCommand(TextDocument&, const String&, const TextPosition&); virtual void undo() override; virtual void redo() override; virtual bool is_insert_text() const override { return true; } const String& text() const { return m_text; } const TextRange& range() const { return m_range; } private: String m_text; TextRange m_range; }; class RemoveTextCommand : public TextDocumentUndoCommand { public: RemoveTextCommand(TextDocument&, const String&, const TextRange&); virtual void undo() override; virtual void redo() override; virtual bool is_remove_text() const override { return true; } const TextRange& range() const { return m_range; } private: String m_text; TextRange m_range; }; }