#include "buffer.hh" #include "buffer_manager.hh" #include "window.hh" #include "assert.hh" #include "utils.hh" #include "context.hh" #include namespace Kakoune { template T clamp(T min, T max, T val) { if (val < min) return min; if (val > max) return max; return val; } Buffer::Buffer(String name, Type type, String initial_content) : m_name(std::move(name)), m_type(type), m_history(1), m_history_cursor(m_history.begin()), m_last_save_undo_index(0), m_hook_manager(GlobalHookManager::instance()), m_option_manager(GlobalOptionManager::instance()) { BufferManager::instance().register_buffer(*this); if (not initial_content.empty()) do_insert(begin(), std::move(initial_content)); Editor editor_for_hooks(*this); Context context(editor_for_hooks); if (type == Type::NewFile) m_hook_manager.run_hook("BufNew", m_name, context); else if (type == Type::File) m_hook_manager.run_hook("BufOpen", m_name, context); m_hook_manager.run_hook("BufCreate", m_name, context); } Buffer::~Buffer() { m_hook_manager.run_hook("BufClose", m_name, Context(Editor(*this))); m_windows.clear(); BufferManager::instance().unregister_buffer(*this); assert(m_change_listeners.empty()); } BufferIterator Buffer::iterator_at(const BufferCoord& line_and_column) const { return BufferIterator(*this, clamp(line_and_column)); } BufferCoord Buffer::line_and_column_at(const BufferIterator& iterator) const { return iterator.m_coord; } BufferPos Buffer::line_at(const BufferIterator& iterator) const { return iterator.line(); } BufferSize Buffer::line_length(BufferPos line) const { assert(line < line_count()); BufferPos end = (line < m_lines.size() - 1) ? m_lines[line + 1].start : character_count(); return end - m_lines[line].start; } BufferCoord Buffer::clamp(const BufferCoord& line_and_column) const { if (m_lines.empty()) return BufferCoord(); BufferCoord result(line_and_column.line, line_and_column.column); result.line = Kakoune::clamp(0, m_lines.size() - 1, result.line); int max_col = std::max(0, line_length(result.line) - 2); result.column = Kakoune::clamp(0, max_col, result.column); return result; } BufferIterator Buffer::iterator_at_line_begin(const BufferIterator& iterator) const { return BufferIterator(*this, { iterator.line(), 0 }); } BufferIterator Buffer::iterator_at_line_end(const BufferIterator& iterator) const { BufferPos line = iterator.line(); return ++BufferIterator(*this, { line, std::max(line_length(line) - 1, 0) }); } BufferIterator Buffer::begin() const { return BufferIterator(*this, { 0, 0 }); } BufferIterator Buffer::end() const { if (m_lines.empty()) return BufferIterator(*this, { 0, 0 }); return BufferIterator(*this, { (int)line_count()-1, (int)m_lines.back().length() }); } BufferSize Buffer::character_count() const { if (m_lines.empty()) return 0; return m_lines.back().start + m_lines.back().length(); } BufferSize Buffer::line_count() const { return m_lines.size(); } String Buffer::string(const BufferIterator& begin, const BufferIterator& end) const { String res; for (BufferPos line = begin.line(); line <= end.line(); ++line) { size_t start = 0; if (line == begin.line()) start = begin.column(); size_t count = -1; if (line == end.line()) count = end.column() - start; res += m_lines[line].content.substr(start, count); } return res; } void Buffer::begin_undo_group() { assert(m_current_undo_group.empty()); m_history.erase(m_history_cursor, m_history.end()); if (m_history.size() < m_last_save_undo_index) m_last_save_undo_index = -1; m_history_cursor = m_history.end(); } void Buffer::end_undo_group() { if (m_current_undo_group.empty()) return; m_history.push_back(std::move(m_current_undo_group)); m_history_cursor = m_history.end(); m_current_undo_group.clear(); } // A Modification holds a single atomic modification to Buffer struct Buffer::Modification { enum Type { Insert, Erase }; Type type; BufferIterator position; String content; Modification(Type type, BufferIterator position, String content) : type(type), position(position), content(std::move(content)) {} Modification inverse() const { Type inverse_type; switch (type) { case Insert: inverse_type = Erase; break; case Erase: inverse_type = Insert; break; default: assert(false); } return Modification(inverse_type, position, content); } }; bool Buffer::undo() { if (m_history_cursor == m_history.begin()) return false; --m_history_cursor; for (const Modification& modification : reversed(*m_history_cursor)) apply_modification(modification.inverse()); return true; } bool Buffer::redo() { if (m_history_cursor == m_history.end()) return false; for (const Modification& modification : *m_history_cursor) apply_modification(modification); ++m_history_cursor; return true; } void Buffer::reset_undo_data() { m_history.clear(); m_history_cursor = m_history.end(); m_current_undo_group.clear(); } void Buffer::check_invariant() const { BufferSize start = 0; for (auto& line : m_lines) { assert(line.start == start); assert(line.length() > 0); start += line.length(); } } void Buffer::do_insert(const BufferIterator& pos, const String& content) { BufferSize offset = pos.offset(); // all following lines advanced by length for (size_t i = pos.line()+1; i < line_count(); ++i) m_lines[i].start += content.length(); BufferIterator begin_it; BufferIterator end_it; // if we inserted at the end of the buffer, we may have created a new // line without inserting a '\n' if (pos == end() and (pos == begin() or *(pos-1) == '\n')) { int start = 0; for (int i = 0; i < content.length(); ++i) { if (content[i] == '\n') { m_lines.push_back({ offset + start, content.substr(start, i + 1 - start) }); start = i + 1; } } if (start != content.length()) m_lines.push_back({ offset + start, content.substr(start) }); begin_it = pos; end_it = end(); } else { String prefix = m_lines[pos.line()].content.substr(0, pos.column()); String suffix = m_lines[pos.line()].content.substr(pos.column()); auto line_it = m_lines.begin() + pos.line(); line_it = m_lines.erase(line_it); int start = 0; for (int i = 0; i < content.length(); ++i) { if (content[i] == '\n') { String line_content = content.substr(start, i + 1 - start); if (start == 0) { line_content = prefix + line_content; line_it = m_lines.insert(line_it, { offset + start - (int)prefix.length(), std::move(line_content) }); } else line_it = m_lines.insert(line_it, { offset + start, std::move(line_content) }); ++line_it; start = i + 1; } } if (start == 0) line_it = m_lines.insert(line_it, { offset + start - (int)prefix.length(), prefix + content + suffix }); else if (start != content.length() or not suffix.empty()) line_it = m_lines.insert(line_it, { offset + start, content.substr(start) + suffix }); else --line_it; begin_it = pos; end_it = BufferIterator(*this, { int(line_it - m_lines.begin()), int(line_it->length() - suffix.length()) }); } check_invariant(); for (auto listener : m_change_listeners) listener->on_insert(begin_it, end_it); } void Buffer::do_erase(const BufferIterator& pos, BufferSize length) { BufferIterator end = pos + length; assert(end.is_valid()); String prefix = m_lines[pos.line()].content.substr(0, pos.column()); String suffix = m_lines[end.line()].content.substr(end.column()); Line new_line = { m_lines[pos.line()].start, prefix + suffix }; m_lines.erase(m_lines.begin() + pos.line(), m_lines.begin() + end.line() + 1); if (new_line.length()) m_lines.insert(m_lines.begin() + pos.line(), std::move(new_line)); for (size_t i = pos.line()+1; i < line_count(); ++i) m_lines[i].start -= length; check_invariant(); for (auto listener : m_change_listeners) listener->on_erase(pos, end); } void Buffer::apply_modification(const Modification& modification) { const String& content = modification.content; const BufferIterator& pos = modification.position; switch (modification.type) { case Modification::Insert: { BufferIterator pos = modification.position < end() ? modification.position : end(); do_insert(pos, modification.content); break; } case Modification::Erase: { size_t count = modification.content.length(); assert(string(modification.position, modification.position + count) == modification.content); do_erase(modification.position, count); break; } default: assert(false); } } void Buffer::insert(const BufferIterator& pos, const String& content) { if (content.empty()) return; m_current_undo_group.emplace_back(Modification::Insert, pos, content); do_insert(pos, content); } void Buffer::erase(const BufferIterator& begin, const BufferIterator& end) { if (begin == end) return; m_current_undo_group.emplace_back(Modification::Erase, begin, string(begin, end)); do_erase(begin, end - begin); } Window* Buffer::get_or_create_window() { if (m_windows.empty()) m_windows.push_front(std::unique_ptr(new Window(*this))); return m_windows.front().get(); } void Buffer::delete_window(Window* window) { assert(&window->buffer() == this); auto window_it = std::find(m_windows.begin(), m_windows.end(), window); assert(window_it != m_windows.end()); m_windows.erase(window_it); } bool Buffer::is_modified() const { size_t history_cursor_index = m_history_cursor - m_history.begin(); return m_last_save_undo_index != history_cursor_index or not m_current_undo_group.empty(); } void Buffer::notify_saved() { size_t history_cursor_index = m_history_cursor - m_history.begin(); m_last_save_undo_index = history_cursor_index; } void Buffer::add_change_listener(BufferChangeListener& listener) { assert(not contains(m_change_listeners, &listener)); m_change_listeners.push_back(&listener); } void Buffer::remove_change_listener(BufferChangeListener& listener) { auto it = std::find(m_change_listeners.begin(), m_change_listeners.end(), &listener); assert(it != m_change_listeners.end()); m_change_listeners.erase(it); } }