#include "highlighters.hh" #include "assert.hh" #include "color_registry.hh" #include "context.hh" #include "display_buffer.hh" #include "option_types.hh" #include "register_manager.hh" #include "string.hh" #include "utf8.hh" #include "utf8_iterator.hh" #include #include namespace Kakoune { using namespace std::placeholders; typedef boost::regex_iterator RegexIterator; template void highlight_range(DisplayBuffer& display_buffer, BufferCoord begin, BufferCoord end, bool skip_replaced, T func) { if (begin == end or end <= display_buffer.range().first or begin >= display_buffer.range().second) return; for (auto& line : display_buffer.lines()) { auto& range = line.range(); if (range.second <= begin or end < range.first) continue; for (auto atom_it = line.begin(); atom_it != line.end(); ++atom_it) { bool is_replaced = atom_it->type() == DisplayAtom::ReplacedBufferRange; if (not atom_it->has_buffer_range() or (skip_replaced and is_replaced)) continue; if (end <= atom_it->begin() or begin >= atom_it->end()) continue; if (not is_replaced and begin > atom_it->begin()) atom_it = ++line.split(atom_it, begin); if (not is_replaced and end < atom_it->end()) { atom_it = line.split(atom_it, end); func(*atom_it); ++atom_it; } else func(*atom_it); } } } template void apply_highlighter(const Context& context, HighlightFlags flags, DisplayBuffer& display_buffer, BufferCoord begin, BufferCoord end, T&& highlighter) { using LineIterator = DisplayBuffer::LineList::iterator; LineIterator first_line; std::vector insert_pos; auto line_end = display_buffer.lines().end(); DisplayBuffer region_display; auto& region_lines = region_display.lines(); for (auto line_it = display_buffer.lines().begin(); line_it != line_end; ++line_it) { auto& line = *line_it; auto& range = line.range(); if (range.second <= begin or end < range.first) continue; if (region_lines.empty()) first_line = line_it; region_lines.emplace_back(); insert_pos.emplace_back(); if (range.first < begin or range.second > end) { size_t beg_idx = 0; size_t end_idx = line.atoms().size(); for (auto atom_it = line.begin(); atom_it != line.end(); ++atom_it) { if (not atom_it->has_buffer_range() or end <= atom_it->begin() or begin >= atom_it->end()) continue; bool is_replaced = atom_it->type() == DisplayAtom::ReplacedBufferRange; if (atom_it->begin() <= begin) { if (is_replaced or atom_it->begin() == begin) beg_idx = atom_it - line.begin(); else { atom_it = ++line.split(atom_it, begin); beg_idx = atom_it - line.begin(); ++end_idx; } } if (atom_it->end() >= end) { if (is_replaced or atom_it->end() == end) beg_idx = atom_it - line.begin(); else { atom_it = ++line.split(atom_it, end); end_idx = atom_it - line.begin(); } } } std::move(line.begin() + beg_idx, line.begin() + end_idx, std::back_inserter(region_lines.back())); insert_pos.back() = line.erase(line.begin() + beg_idx, line.begin() + end_idx); } else { region_lines.back() = std::move(line); insert_pos.back() = line.begin(); } } region_display.compute_range(); highlighter(context, flags, region_display); for (size_t i = 0; i < region_lines.size(); ++i) { auto& line = *(first_line + i); auto pos = insert_pos[i]; for (auto& atom : region_lines[i]) pos = ++line.insert(pos, std::move(atom)); } display_buffer.compute_range(); } typedef std::unordered_map ColorSpec; template struct BufferSideCache { BufferSideCache() : m_id{ValueId::get_free_id()} {} T& get(const Buffer& buffer) { Value& cache_val = buffer.values()[m_id]; if (not cache_val) cache_val = Value(T{buffer}); return cache_val.as(); } private: ValueId m_id; }; class RegexColorizer { public: RegexColorizer(Regex regex, ColorSpec colors) : m_regex{std::move(regex)}, m_colors{std::move(colors)} { } void operator()(const Context& context, HighlightFlags flags, DisplayBuffer& display_buffer) { if (flags != HighlightFlags::Highlight) return; auto& cache = update_cache_ifn(context.buffer(), display_buffer.range()); for (auto& match : cache.m_matches) { for (size_t n = 0; n < match.size(); ++n) { auto col_it = m_colors.find(n); if (col_it == m_colors.end()) continue; highlight_range(display_buffer, match[n].first, match[n].second, true, [&](DisplayAtom& atom) { atom.colors = *col_it->second; }); } } } private: struct Cache { Cache(const Buffer&){} BufferRange m_range; size_t m_timestamp = 0; std::vector>> m_matches; }; BufferSideCache m_cache; Regex m_regex; ColorSpec m_colors; Cache& update_cache_ifn(const Buffer& buffer, const BufferRange& range) { Cache& cache = m_cache.get(buffer); if (buffer.timestamp() == cache.m_timestamp and range.first >= cache.m_range.first and range.second <= cache.m_range.second) return cache; cache.m_range.first = buffer.clamp({range.first.line - 10, 0}); cache.m_range.second = buffer.next(buffer.clamp({range.second.line + 10, INT_MAX})); cache.m_timestamp = buffer.timestamp(); cache.m_matches.clear(); RegexIterator re_it{buffer.iterator_at(cache.m_range.first), buffer.iterator_at(cache.m_range.second), m_regex}; RegexIterator re_end; for (; re_it != re_end; ++re_it) { cache.m_matches.emplace_back(); auto& match = cache.m_matches.back(); for (auto& sub : *re_it) match.emplace_back(sub.first.coord(), sub.second.coord()); } return cache; } }; HighlighterAndId colorize_regex_factory(HighlighterParameters params) { if (params.size() < 2) throw runtime_error("wrong parameter count"); try { static Regex color_spec_ex(R"((\d+):(\w+(,\w+)?))"); ColorSpec colors; for (auto it = params.begin() + 1; it != params.end(); ++it) { boost::smatch res; if (not boost::regex_match(it->begin(), it->end(), res, color_spec_ex)) throw runtime_error("wrong colorspec: '" + *it + "' expected :[,]"); int capture = str_to_int(res[1].str()); const ColorPair*& color = colors[capture]; color = &get_color(res[2].str()); } String id = "colre'" + params[0] + "'"; Regex ex{params[0].begin(), params[0].end(), Regex::optimize}; return HighlighterAndId(id, RegexColorizer(std::move(ex), std::move(colors))); } catch (boost::regex_error& err) { throw runtime_error(String("regex error: ") + err.what()); } } template class DynamicRegexHighlighter { public: DynamicRegexHighlighter(const ColorSpec& colors, RegexGetter getter) : m_regex_getter(getter), m_colors(colors), m_colorizer(Regex(), m_colors) {} void operator()(const Context& context, HighlightFlags flags, DisplayBuffer& display_buffer) { if (flags != HighlightFlags::Highlight) return; Regex regex = m_regex_getter(context); if (regex != m_last_regex) { m_last_regex = regex; if (not m_last_regex.empty()) m_colorizer = RegexColorizer{m_last_regex, m_colors}; } if (not m_last_regex.empty()) m_colorizer(context, flags, display_buffer); } private: Regex m_last_regex; ColorSpec m_colors; RegexColorizer m_colorizer; RegexGetter m_regex_getter; }; HighlighterAndId highlight_search_factory(HighlighterParameters params) { if (params.size() != 1) throw runtime_error("wrong parameter count"); try { ColorSpec colors { { 0, &get_color(params[0]) } }; auto get_regex = [](const Context&){ auto s = RegisterManager::instance()['/'].values(Context{}); return s.empty() ? Regex{} : Regex{s[0].begin(), s[0].end()}; }; return {"hlsearch", DynamicRegexHighlighter{colors, get_regex}}; } catch (boost::regex_error& err) { throw runtime_error(String("regex error: ") + err.what()); } } HighlighterAndId highlight_regex_option_factory(HighlighterParameters params) { if (params.size() != 2) throw runtime_error("wrong parameter count"); ColorSpec colors { { 0, &get_color(params[1]) } }; String option_name = params[0]; // verify option type now GlobalOptions::instance()[option_name].get(); auto get_regex = [option_name](const Context& context){ return context.options()[option_name].get(); }; return {"hloption_" + option_name, DynamicRegexHighlighter{colors, get_regex}}; } void expand_tabulations(const Context& context, HighlightFlags flags, DisplayBuffer& display_buffer) { const int tabstop = context.options()["tabstop"].get(); auto& buffer = context.buffer(); for (auto& line : display_buffer.lines()) { for (auto atom_it = line.begin(); atom_it != line.end(); ++atom_it) { if (atom_it->type() != DisplayAtom::BufferRange) continue; auto begin = buffer.iterator_at(atom_it->begin()); auto end = buffer.iterator_at(atom_it->end()); for (BufferIterator it = begin; it != end; ++it) { if (*it == '\t') { if (it != begin) atom_it = ++line.split(atom_it, it.coord()); if (it+1 != end) atom_it = line.split(atom_it, (it+1).coord()); int column = 0; for (auto line_it = buffer.iterator_at(it.coord().line); line_it != it; ++line_it) { kak_assert(*line_it != '\n'); if (*line_it == '\t') column += tabstop - (column % tabstop); else ++column; } int count = tabstop - (column % tabstop); String padding; for (int i = 0; i < count; ++i) padding += ' '; atom_it->replace(padding); break; } } } } } void show_line_numbers(const Context& context, HighlightFlags flags, DisplayBuffer& display_buffer) { LineCount last_line = context.buffer().line_count(); int digit_count = 0; for (LineCount c = last_line; c > 0; c /= 10) ++digit_count; char format[] = "%?d│"; format[1] = '0' + digit_count; auto& colors = get_color("LineNumbers"); for (auto& line : display_buffer.lines()) { char buffer[10]; snprintf(buffer, 10, format, (int)line.range().first.line + 1); DisplayAtom atom{buffer}; atom.colors = colors; line.insert(line.begin(), std::move(atom)); } } void show_matching_char(const Context& context, HighlightFlags flags, DisplayBuffer& display_buffer) { auto& colors = get_color("MatchingChar"); using CodepointPair = std::pair; constexpr CodepointPair matching_chars[] = { { '(', ')' }, { '{', '}' }, { '[', ']' }, { '<', '>' } }; const auto range = display_buffer.range(); const auto& buffer = context.buffer(); for (auto& sel : context.selections()) { auto pos = sel.last(); if (pos < range.first or pos >= range.second) continue; auto c = buffer.byte_at(pos); for (auto& pair : matching_chars) { int level = 1; if (c == pair.first) { auto it = buffer.iterator_at(pos)+1; auto end = buffer.iterator_at(range.second); skip_while(it, end, [&](char c) { if (c == pair.first) ++level; else if (c == pair.second and --level == 0) return false; return true; }); if (it != end) highlight_range(display_buffer, it.coord(), (it+1).coord(), false, [&](DisplayAtom& atom) { atom.colors = colors; }); break; } else if (c == pair.second) { auto it = buffer.iterator_at(pos)-1; auto end = buffer.iterator_at(range.first); skip_while_reverse(it, end, [&](char c) { if (c == pair.second) ++level; else if (c == pair.first and --level == 0) return false; return true; }); if (it != end) highlight_range(display_buffer, it.coord(), (it+1).coord(), false, [&](DisplayAtom& atom) { atom.colors = colors; }); break; } } } } void highlight_selections(const Context& context, HighlightFlags flags, DisplayBuffer& display_buffer) { if (flags != HighlightFlags::Highlight) return; const auto& buffer = context.buffer(); for (size_t i = 0; i < context.selections().size(); ++i) { auto& sel = context.selections()[i]; const bool forward = sel.first() <= sel.last(); BufferCoord begin = forward ? sel.first() : buffer.char_next(sel.last()); BufferCoord end = forward ? sel.last() : buffer.char_next(sel.first()); const bool primary = (i == context.selections().main_index()); ColorPair sel_colors = get_color(primary ? "PrimarySelection" : "SecondarySelection"); highlight_range(display_buffer, begin, end, false, [&](DisplayAtom& atom) { atom.colors = sel_colors; }); ColorPair cur_colors = get_color(primary ? "PrimaryCursor" : "SecondaryCursor"); highlight_range(display_buffer, sel.last(), buffer.char_next(sel.last()), false, [&](DisplayAtom& atom) { atom.colors = cur_colors; }); } } void expand_unprintable(const Context& context, HighlightFlags flags, DisplayBuffer& display_buffer) { auto& buffer = context.buffer(); for (auto& line : display_buffer.lines()) { for (auto atom_it = line.begin(); atom_it != line.end(); ++atom_it) { if (atom_it->type() == DisplayAtom::BufferRange) { using Utf8It = utf8::utf8_iterator; for (Utf8It it = buffer.iterator_at(atom_it->begin()), end = buffer.iterator_at(atom_it->end()); it != end; ++it) { Codepoint cp = *it; if (cp != '\n' and not iswprint(cp)) { std::ostringstream oss; oss << "U+" << std::hex << cp; String str = oss.str(); if (it.base().coord() != atom_it->begin()) atom_it = ++line.split(atom_it, it.base().coord()); if ((it+1).base().coord() != atom_it->end()) atom_it = line.split(atom_it, (it+1).base().coord()); atom_it->replace(str); atom_it->colors = { Colors::Red, Colors::Black }; break; } } } } } } HighlighterAndId flag_lines_factory(HighlighterParameters params) { if (params.size() != 2) throw runtime_error("wrong parameter count"); const String& option_name = params[1]; Color bg = str_to_color(params[0]); // throw if wrong option type GlobalOptions::instance()[option_name].get>(); return {"hlflags_" + params[1], [=](const Context& context, HighlightFlags flags, DisplayBuffer& display_buffer) { auto& lines_opt = context.options()[option_name]; auto& lines = lines_opt.get>(); CharCount width = 0; for (auto& l : lines) width = std::max(width, std::get<2>(l).char_length()); const String empty{' ', width}; for (auto& line : display_buffer.lines()) { int line_num = (int)line.range().first.line + 1; auto it = find_if(lines, [&](const LineAndFlag& l) { return std::get<0>(l) == line_num; }); String content = it != lines.end() ? std::get<2>(*it) : empty; content += String(' ', width - content.char_length()); DisplayAtom atom{std::move(content)}; atom.colors = { it != lines.end() ? std::get<1>(*it) : Colors::Default , bg }; line.insert(line.begin(), std::move(atom)); } }}; } template class SimpleHighlighterFactory { public: SimpleHighlighterFactory(const String& id) : m_id(id) {} HighlighterAndId operator()(HighlighterParameters params) const { return HighlighterAndId(m_id, HighlighterFunc(highlighter_func)); } private: String m_id; }; HighlighterAndId highlighter_group_factory(HighlighterParameters params) { if (params.size() != 1) throw runtime_error("wrong parameter count"); return HighlighterAndId(params[0], HighlighterGroup()); } HighlighterAndId reference_factory(HighlighterParameters params) { if (params.size() != 1) throw runtime_error("wrong parameter count"); const String& name = params[0]; // throw if not found DefinedHighlighters::instance().get_group(name, '/'); return HighlighterAndId(name, [name](const Context& context, HighlightFlags flags, DisplayBuffer& display_buffer) { DefinedHighlighters::instance().get_group(name, '/')(context, flags, display_buffer); }); } template struct RegionHighlighter { public: RegionHighlighter(Regex begin, Regex end, HighlightFunc func) : m_begin(std::move(begin)), m_end(std::move(end)), m_func(std::move(func)) {} void operator()(const Context& context, HighlightFlags flags, DisplayBuffer& display_buffer) { if (flags != HighlightFlags::Highlight) return; auto range = display_buffer.range(); const auto& buffer = context.buffer(); auto& regions = update_cache_ifn(buffer); auto begin = std::lower_bound(regions.begin(), regions.end(), range.first, [](const Region& r, const BufferCoord& c) { return r.end < c; }); auto end = std::lower_bound(begin, regions.end(), range.second, [](const Region& r, const BufferCoord& c) { return r.begin < c; }); auto correct = [&](const BufferCoord& c) { if (buffer[c.line].length() == c.column) return BufferCoord{c.line+1, 0}; return c; }; for (; begin != end; ++begin) m_func(context, flags, display_buffer, correct(begin->begin), correct(begin->end)); } private: Regex m_begin; Regex m_end; HighlightFunc m_func; struct Region { BufferCoord begin; BufferCoord end; }; using RegionList = std::vector; struct Match { size_t timestamp; LineCount line; ByteCount begin; ByteCount end; }; using MatchList = std::vector; static bool compare_matches_end(const Match& lhs, const Match& rhs) { return (lhs.line != rhs.line) ? lhs.line < rhs.line : lhs.end < rhs.end; } static bool compare_matches_begin(const Match& lhs, const Match& rhs) { return (lhs.line != rhs.line) ? lhs.line < rhs.line : lhs.begin < rhs.begin; } struct LineChange { LineCount pos; LineCount num; }; struct Cache : public BufferChangeListener_AutoRegister { Cache(const Buffer& buffer) : BufferChangeListener_AutoRegister(const_cast(buffer)) {} void on_insert(const Buffer& buffer, BufferCoord begin, BufferCoord end) override { changes.push_back({begin.line, end.line - begin.line}); } void on_erase(const Buffer& buffer, BufferCoord begin, BufferCoord end) override { changes.push_back({begin.line, begin.line - end.line}); } size_t timestamp = 0; MatchList begin_matches; MatchList end_matches; RegionList regions; std::vector changes; }; BufferSideCache m_cache; static std::vector compute_lines_to_update(const std::vector& changes) { std::vector res; for (auto& change : changes) { if (change.num == 0) res.push_back(change.pos); else if (change.num > 0) { for (auto& l : res) { if (l > change.pos) l += change.num; } for (LineCount i = 0; i <= change.num; ++i) res.push_back(change.pos + i); } else { for (auto it = res.begin(); it != res.end(); ) { auto& line = *it; if (line > change.pos) { line += change.num; if (line < change.pos) { std::swap(line, res.back()); res.pop_back(); continue; } } ++it; } res.push_back(change.pos); } } std::sort(res.begin(), res.end()); res.erase(std::unique(res.begin(), res.end()), res.end()); return res; } const RegionList& update_cache_ifn(const Buffer& buffer) { Cache& cache = m_cache.get(buffer); const size_t buf_timestamp = buffer.timestamp(); if (cache.timestamp == buf_timestamp) return cache.regions; if (cache.timestamp == 0) { find_matches(buffer, cache.begin_matches, m_begin); find_matches(buffer, cache.end_matches, m_end); } else { auto to_update = compute_lines_to_update(cache.changes); std::sort(cache.changes.begin(), cache.changes.end(), [](const LineChange& lhs, const LineChange& rhs) { return lhs.pos < rhs.pos; }); for (size_t i = 1; i < cache.changes.size(); ++i) cache.changes[i].num += cache.changes[i-1].num; update_matches(buffer, cache, to_update, cache.begin_matches, m_begin); update_matches(buffer, cache, to_update, cache.end_matches, m_end); cache.changes.clear(); } cache.regions.clear(); for (auto beg_it = cache.begin_matches.begin(), end_it = cache.end_matches.begin(); beg_it != cache.begin_matches.end(); ) { end_it = std::upper_bound(end_it, cache.end_matches.end(), *beg_it, compare_matches_end); if (end_it == cache.end_matches.end()) { cache.regions.push_back({ {beg_it->line, beg_it->begin}, buffer.end_coord() }); break; } cache.regions.push_back({ {beg_it->line, beg_it->begin}, {end_it->line, end_it->end} }); beg_it = std::upper_bound(beg_it, cache.begin_matches.end(), *end_it, compare_matches_end); } cache.timestamp = buffer.timestamp(); return cache.regions; } void find_matches(const Buffer& buffer, MatchList& matches, const Regex& regex) { const size_t buf_timestamp = buffer.timestamp(); for (auto line = 0_line, end = buffer.line_count(); line < end; ++line) { auto& l = buffer[line]; for (boost::regex_iterator it{l.begin(), l.end(), regex}, end{}; it != end; ++it) { ByteCount b = (int)((*it)[0].first - l.begin()); ByteCount e = (int)((*it)[0].second - l.begin()); matches.push_back({ buf_timestamp, line, b, e }); } } } void update_matches(const Buffer& buffer, const Cache& cache, memoryview to_update, MatchList& matches, const Regex& regex) { const size_t buf_timestamp = buffer.timestamp(); // remove out of date matches and update line for others auto ins_pos = matches.begin(); for (auto it = ins_pos; it != matches.end(); ++it) { auto change_it = std::lower_bound(cache.changes.begin(), cache.changes.end(), it->line, [](const LineChange& c, const LineCount& l) { return c.pos < l; }); bool erase = false; if (change_it != cache.changes.begin()) { it->line += (change_it-1)->num; erase = it->line <= (change_it-1)->pos; } erase = erase or (it->line >= buffer.line_count() or it->timestamp < buffer.line_timestamp(it->line)); if (not erase) { it->timestamp = buf_timestamp; kak_assert(buffer.is_valid({it->line, it->begin}) or buffer[it->line].length() == it->begin); kak_assert(buffer.is_valid({it->line, it->end}) or buffer[it->line].length() == it->end); if (ins_pos != it) *ins_pos = std::move(*it); ++ins_pos; } } matches.erase(ins_pos, matches.end()); size_t pivot = matches.size(); // try to find new matches in each updated lines for (auto line : to_update) { kak_assert(buffer.line_timestamp(line) > cache.timestamp); auto& l = buffer[line]; for (boost::regex_iterator it{l.begin(), l.end(), regex}, end{}; it != end; ++it) { ByteCount b = (int)((*it)[0].first - l.begin()); ByteCount e = (int)((*it)[0].second - l.begin()); matches.push_back({ buf_timestamp, line, b, e }); } } std::inplace_merge(matches.begin(), matches.begin() + pivot, matches.end(), compare_matches_begin); } }; template RegionHighlighter make_region_highlighter(Regex begin, Regex end, HighlightFunc func) { return RegionHighlighter(std::move(begin), std::move(end), std::move(func)); } HighlighterAndId region_factory(HighlighterParameters params) { try { if (params.size() != 3) throw runtime_error("wrong parameter count"); Regex begin{params[0], Regex::nosubs | Regex::optimize }; Regex end{params[1], Regex::nosubs | Regex::optimize }; const ColorPair colors = get_color(params[2]); auto func = [colors](const Context&, HighlightFlags flags, DisplayBuffer& display_buffer, BufferCoord begin, BufferCoord end) { highlight_range(display_buffer, begin, end, true, [&colors](DisplayAtom& atom) { atom.colors = colors; }); }; return HighlighterAndId("region(" + params[0] + "," + params[1] + ")", make_region_highlighter(std::move(begin), std::move(end), func)); } catch (boost::regex_error& err) { throw runtime_error(String("regex error: ") + err.what()); } } HighlighterAndId region_ref_factory(HighlighterParameters params) { try { if (params.size() != 3 and params.size() != 4) throw runtime_error("wrong parameter count"); Regex begin{params[0], Regex::nosubs | Regex::optimize }; Regex end{params[1], Regex::nosubs | Regex::optimize }; const String& name = params[2]; auto func = [name](const Context& context, HighlightFlags flags, DisplayBuffer& display_buffer, BufferCoord begin, BufferCoord end) { HighlighterGroup& ref = DefinedHighlighters::instance().get_group(name, '/'); apply_highlighter(context, flags, display_buffer, begin, end, ref); }; return HighlighterAndId("regionref(" + params[0] + "," + params[1] + "," + name + ")", make_region_highlighter(std::move(begin), std::move(end), func)); } catch (boost::regex_error& err) { throw runtime_error(String("regex error: ") + err.what()); } } void register_highlighters() { HighlighterRegistry& registry = HighlighterRegistry::instance(); registry.register_func("number_lines", SimpleHighlighterFactory("number_lines")); registry.register_func("show_matching", SimpleHighlighterFactory("show_matching")); registry.register_func("regex", colorize_regex_factory); registry.register_func("regex_option", highlight_regex_option_factory); registry.register_func("search", highlight_search_factory); registry.register_func("group", highlighter_group_factory); registry.register_func("flag_lines", flag_lines_factory); registry.register_func("ref", reference_factory); registry.register_func("region", region_factory); registry.register_func("region_ref", region_ref_factory); } }