/* * 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 #include #include #include #include #include #include #include #include #include namespace Line { struct Configuration { enum TokenSplitMechanism { Spaces, UnescapedSpaces, }; enum RefreshBehaviour { Lazy, Eager, }; enum OperationMode { Full, NoEscapeSequences, }; Configuration() { } template Configuration(Arg arg, Rest... rest) : Configuration(rest...) { set(arg); } void set(RefreshBehaviour refresh) { refresh_behaviour = refresh; } void set(TokenSplitMechanism split) { split_mechanism = split; } void set(OperationMode mode) { operation_mode = mode; } RefreshBehaviour refresh_behaviour { RefreshBehaviour::Lazy }; TokenSplitMechanism split_mechanism { TokenSplitMechanism::Spaces }; OperationMode operation_mode { OperationMode::Full }; }; class Editor : public Core::Object { C_OBJECT(Editor); public: enum class Error { ReadFailure, Empty, Eof, }; ~Editor(); Result get_line(const String& prompt); void initialize(); void add_to_history(const String&); const Vector& history() const { return m_history; } void register_character_input_callback(char ch, Function callback); StringMetrics actual_rendered_string_metrics(const StringView&) const; StringMetrics actual_rendered_string_metrics(const Utf32View&) const; Function(const Editor&)> on_tab_complete; Function on_interrupt_handled; Function on_display_refresh; // FIXME: we will have to kindly ask our instantiators to set our signal handlers, // since we can not do this cleanly ourselves. (signal() limitation: cannot give member functions) void interrupted() { if (m_is_editing) { m_was_interrupted = true; handle_interrupt_event(); } } void resized() { m_was_resized = true; m_previous_num_columns = m_num_columns; get_terminal_size(); m_suggestion_display->set_vt_size(m_num_lines, m_num_columns); } size_t cursor() const { return m_cursor; } const Vector& buffer() const { return m_buffer; } u32 buffer_at(size_t pos) const { return m_buffer.at(pos); } String line() const { return line(m_buffer.size()); } String line(size_t up_to_index) const; // Only makes sense inside a character_input callback or on_* callback. void set_prompt(const String& prompt) { if (m_cached_prompt_valid) m_old_prompt_metrics = m_cached_prompt_metrics; m_cached_prompt_valid = false; m_cached_prompt_metrics = actual_rendered_string_metrics(prompt); m_new_prompt = prompt; } void clear_line(); void insert(const String&); void insert(const Utf32View&); void insert(const u32); void stylize(const Span&, const Style&); void strip_styles(bool strip_anchored = false); // Invariant Offset is an offset into the suggested data, hinting the editor what parts of the suggestion will not change // Static Offset is an offset into the token, signifying where the suggestions start // e.g. // foobar, on_tab_complete returns "barx", "bary", "barz" // ^ ^ // +-|- static offset: the suggestions start here // +- invariant offset: the suggestions do not change up to here // void suggest(size_t invariant_offset = 0, size_t static_offset = 0, Span::Mode offset_mode = Span::ByteOriented) const; const struct termios& termios() const { return m_termios; } const struct termios& default_termios() const { return m_default_termios; } void finish() { m_finish = true; } bool is_editing() const { return m_is_editing; } const Utf32View buffer_view() const { return { m_buffer.data(), m_buffer.size() }; } private: explicit Editor(Configuration configuration = {}); enum VTState { Free = 1, Escape = 3, Bracket = 5, BracketArgsSemi = 7, Title = 9, }; VTState actual_rendered_string_length_step(StringMetrics&, size_t& length, u32, u32, VTState) const; // ^Core::Object virtual void save_to(JsonObject&) override; struct KeyCallback { KeyCallback(Function cb) : callback(move(cb)) { } Function callback; }; void handle_interrupt_event(); void handle_read_event(); Vector vt_dsr(); void remove_at_index(size_t); enum class ModificationKind { Insertion, Removal, ForcedOverlapRemoval, }; void readjust_anchored_styles(size_t hint_index, ModificationKind); Style find_applicable_style(size_t offset) const; bool search(const StringView&, bool allow_empty = false, bool from_beginning = false); inline void end_search() { m_is_searching = false; m_refresh_needed = true; m_search_offset = 0; if (m_reset_buffer_on_search_end) { m_buffer.clear(); for (auto ch : m_pre_search_buffer) m_buffer.append(ch); m_cursor = m_pre_search_cursor; } m_reset_buffer_on_search_end = true; m_search_editor = nullptr; } void reset() { m_cached_buffer_metrics.reset(); m_cached_prompt_valid = false; m_cursor = 0; m_drawn_cursor = 0; m_inline_search_cursor = 0; m_old_prompt_metrics = m_cached_prompt_metrics; set_origin(0, 0); m_prompt_lines_at_suggestion_initiation = 0; m_refresh_needed = true; m_input_error.clear(); m_returned_line = String::empty(); } void refresh_display(); void cleanup(); void restore() { ASSERT(m_initialized); tcsetattr(0, TCSANOW, &m_default_termios); m_initialized = false; } const StringMetrics& current_prompt_metrics() const { return m_cached_prompt_valid ? m_cached_prompt_metrics : m_old_prompt_metrics; } size_t num_lines() const { return current_prompt_metrics().lines_with_addition(m_cached_buffer_metrics, m_num_columns); } size_t cursor_line() const { auto cursor = m_drawn_cursor; if (cursor > m_cursor) cursor = m_cursor; return current_prompt_metrics().lines_with_addition( actual_rendered_string_metrics(buffer_view().substring_view(0, cursor)), m_num_columns); } size_t offset_in_line() const { auto cursor = m_drawn_cursor; if (cursor > m_cursor) cursor = m_cursor; auto buffer_metrics = actual_rendered_string_metrics(buffer_view().substring_view(0, cursor)); if (buffer_metrics.line_lengths.size() > 1) return buffer_metrics.line_lengths.last() % m_num_columns; return (buffer_metrics.line_lengths.last() + current_prompt_metrics().line_lengths.last()) % m_num_columns; } void set_origin() { auto position = vt_dsr(); set_origin(position[0], position[1]); } void set_origin(int row, int col) { m_origin_row = row; m_origin_column = col; m_suggestion_display->set_origin(row, col, {}); } bool should_break_token(Vector& buffer, size_t index); void recalculate_origin(); void reposition_cursor(bool to_end = false); struct CodepointRange { size_t start { 0 }; size_t end { 0 }; }; CodepointRange byte_offset_range_to_codepoint_offset_range(size_t byte_start, size_t byte_end, size_t codepoint_scan_offset, bool reverse = false) const; void get_terminal_size(); bool m_finish { false }; RefPtr m_search_editor; bool m_is_searching { false }; bool m_reset_buffer_on_search_end { true }; size_t m_search_offset { 0 }; bool m_searching_backwards { true }; size_t m_pre_search_cursor { 0 }; Vector m_pre_search_buffer; Vector m_buffer; ByteBuffer m_pending_chars; Vector m_incomplete_data; Optional m_input_error; String m_returned_line; size_t m_cursor { 0 }; size_t m_drawn_cursor { 0 }; size_t m_inline_search_cursor { 0 }; size_t m_chars_inserted_in_the_middle { 0 }; size_t m_times_tab_pressed { 0 }; size_t m_num_columns { 0 }; size_t m_num_lines { 1 }; size_t m_previous_num_columns { 0 }; size_t m_extra_forward_lines { 0 }; StringMetrics m_cached_prompt_metrics; StringMetrics m_old_prompt_metrics; StringMetrics m_cached_buffer_metrics; size_t m_prompt_lines_at_suggestion_initiation { 0 }; bool m_cached_prompt_valid { false }; // Exact position before our prompt in the terminal. size_t m_origin_row { 0 }; size_t m_origin_column { 0 }; OwnPtr m_suggestion_display; String m_new_prompt; SuggestionManager m_suggestion_manager; bool m_always_refresh { false }; enum class TabDirection { Forward, Backward, }; TabDirection m_tab_direction { TabDirection::Forward }; HashMap> m_key_callbacks; // TODO: handle signals internally. struct termios m_termios, m_default_termios; bool m_was_interrupted { false }; bool m_was_resized { false }; // FIXME: This should be something more take_first()-friendly. Vector m_history; size_t m_history_cursor { 0 }; size_t m_history_capacity { 100 }; enum class InputState { Free, ExpectBracket, ExpectFinal, ExpectTerminator, }; InputState m_state { InputState::Free }; HashMap> m_spans_starting; HashMap> m_spans_ending; HashMap> m_anchored_spans_starting; HashMap> m_anchored_spans_ending; RefPtr m_notifier; bool m_initialized { false }; bool m_refresh_needed { false }; bool m_is_editing { false }; Configuration m_configuration; }; }