2011-11-30 02:37:20 +04:00
|
|
|
#include "highlighters.hh"
|
2011-11-14 18:23:02 +04:00
|
|
|
#include "assert.hh"
|
2011-11-10 03:56:22 +04:00
|
|
|
#include "window.hh"
|
2011-11-30 02:37:20 +04:00
|
|
|
#include "highlighter_registry.hh"
|
2012-09-17 21:01:13 +04:00
|
|
|
#include "color_registry.hh"
|
2012-01-20 00:37:29 +04:00
|
|
|
#include "highlighter_group.hh"
|
2012-08-29 23:49:36 +04:00
|
|
|
#include "string.hh"
|
2012-10-08 16:27:43 +04:00
|
|
|
#include "utf8.hh"
|
2011-11-08 18:28:01 +04:00
|
|
|
|
2011-09-30 23:16:23 +04:00
|
|
|
namespace Kakoune
|
|
|
|
{
|
|
|
|
|
2012-04-03 17:39:20 +04:00
|
|
|
using namespace std::placeholders;
|
|
|
|
|
2012-05-03 11:25:13 +04:00
|
|
|
typedef boost::regex_iterator<BufferIterator> RegexIterator;
|
|
|
|
|
2012-07-13 01:19:10 +04:00
|
|
|
template<typename T>
|
|
|
|
void highlight_range(DisplayBuffer& display_buffer,
|
|
|
|
BufferIterator begin, BufferIterator end,
|
|
|
|
bool skip_replaced, T func)
|
2011-09-30 23:16:23 +04:00
|
|
|
{
|
2012-08-10 16:20:15 +04:00
|
|
|
if (begin == end or end <= display_buffer.range().first
|
|
|
|
or begin >= display_buffer.range().second)
|
2012-07-13 01:51:13 +04:00
|
|
|
return;
|
|
|
|
|
2012-07-13 01:19:10 +04:00
|
|
|
for (auto& line : display_buffer.lines())
|
2011-09-30 23:16:23 +04:00
|
|
|
{
|
2012-07-13 01:19:10 +04:00
|
|
|
if (line.buffer_line() >= begin.line() and line.buffer_line() <= end.line())
|
2012-07-04 01:23:07 +04:00
|
|
|
{
|
2012-07-13 01:19:10 +04:00
|
|
|
for (auto atom_it = line.begin(); atom_it != line.end(); ++atom_it)
|
|
|
|
{
|
|
|
|
bool is_replaced = atom_it->content.type() == AtomContent::ReplacedBufferRange;
|
2011-11-14 18:23:02 +04:00
|
|
|
|
2012-07-13 01:19:10 +04:00
|
|
|
if (not atom_it->content.has_buffer_range() or
|
|
|
|
(skip_replaced and is_replaced))
|
|
|
|
continue;
|
2011-09-30 23:16:23 +04:00
|
|
|
|
2012-07-13 01:19:10 +04:00
|
|
|
if (end <= atom_it->content.begin() or begin >= atom_it->content.end())
|
|
|
|
continue;
|
2012-02-23 01:48:14 +04:00
|
|
|
|
2012-07-13 01:19:10 +04:00
|
|
|
if (not is_replaced and begin > atom_it->content.begin())
|
|
|
|
atom_it = ++line.split(atom_it, begin);
|
2011-11-14 18:23:02 +04:00
|
|
|
|
2012-07-13 01:19:10 +04:00
|
|
|
if (not is_replaced and end < atom_it->content.end())
|
|
|
|
{
|
|
|
|
atom_it = line.split(atom_it, end);
|
|
|
|
func(*atom_it);
|
|
|
|
++atom_it;
|
|
|
|
}
|
|
|
|
else
|
|
|
|
func(*atom_it);
|
|
|
|
}
|
|
|
|
}
|
2011-09-30 23:16:23 +04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-09-17 23:02:08 +04:00
|
|
|
typedef std::unordered_map<size_t, const ColorPair*> ColorSpec;
|
2012-08-15 19:08:48 +04:00
|
|
|
|
|
|
|
class RegexColorizer
|
2011-11-24 23:11:58 +04:00
|
|
|
{
|
2012-08-15 19:08:48 +04:00
|
|
|
public:
|
|
|
|
RegexColorizer(Regex regex, ColorSpec colors)
|
|
|
|
: m_regex(std::move(regex)), m_colors(std::move(colors)),
|
2012-08-15 19:24:08 +04:00
|
|
|
m_cache_timestamp(0)
|
2012-08-15 19:08:48 +04:00
|
|
|
{
|
|
|
|
}
|
|
|
|
|
|
|
|
void operator()(DisplayBuffer& display_buffer)
|
2012-07-13 01:19:10 +04:00
|
|
|
{
|
2012-08-15 19:24:08 +04:00
|
|
|
update_cache_ifn(display_buffer.range());
|
2012-08-15 19:08:48 +04:00
|
|
|
for (auto& match : m_cache_matches)
|
2012-08-07 02:13:54 +04:00
|
|
|
{
|
2012-08-15 19:08:48 +04:00
|
|
|
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) {
|
2012-09-17 23:02:08 +04:00
|
|
|
atom.fg_color = col_it->second->first;
|
|
|
|
atom.bg_color = col_it->second->second;
|
2012-08-15 19:08:48 +04:00
|
|
|
});
|
|
|
|
}
|
2012-08-07 02:13:54 +04:00
|
|
|
}
|
2012-07-13 01:19:10 +04:00
|
|
|
}
|
2012-08-15 19:08:48 +04:00
|
|
|
|
|
|
|
private:
|
2012-08-15 19:24:08 +04:00
|
|
|
BufferRange m_cache_range;
|
|
|
|
size_t m_cache_timestamp;
|
2012-08-15 19:08:48 +04:00
|
|
|
std::vector<boost::match_results<BufferIterator>> m_cache_matches;
|
|
|
|
|
|
|
|
Regex m_regex;
|
|
|
|
ColorSpec m_colors;
|
|
|
|
|
2012-08-15 19:24:08 +04:00
|
|
|
void update_cache_ifn(const BufferRange& range)
|
2012-08-15 19:08:48 +04:00
|
|
|
{
|
2012-08-17 20:42:07 +04:00
|
|
|
const Buffer& buf = range.first.buffer();
|
2012-08-15 19:24:08 +04:00
|
|
|
if (m_cache_range.first.is_valid() and
|
2012-08-17 20:42:07 +04:00
|
|
|
&m_cache_range.first.buffer() == &buf and
|
|
|
|
buf.timestamp() == m_cache_timestamp and
|
2012-08-15 19:24:08 +04:00
|
|
|
range.first >= m_cache_range.first and
|
|
|
|
range.second <= m_cache_range.second)
|
2012-08-15 19:08:48 +04:00
|
|
|
return;
|
|
|
|
|
|
|
|
m_cache_matches.clear();
|
2012-08-21 22:53:23 +04:00
|
|
|
m_cache_range.first = buf.iterator_at_line_begin(range.first.line() - 10);
|
|
|
|
m_cache_range.second = buf.iterator_at_line_end(range.second.line() + 10);
|
2012-08-17 20:42:07 +04:00
|
|
|
m_cache_timestamp = buf.timestamp();
|
2012-08-15 19:08:48 +04:00
|
|
|
|
2012-08-15 19:24:08 +04:00
|
|
|
RegexIterator re_it(m_cache_range.first, m_cache_range.second, m_regex);
|
2012-08-15 19:08:48 +04:00
|
|
|
RegexIterator re_end;
|
|
|
|
for (; re_it != re_end; ++re_it)
|
|
|
|
m_cache_matches.push_back(*re_it);
|
|
|
|
}
|
|
|
|
};
|
2011-11-24 23:11:58 +04:00
|
|
|
|
2011-11-30 02:37:20 +04:00
|
|
|
HighlighterAndId colorize_regex_factory(Window& window,
|
2011-11-30 18:11:53 +04:00
|
|
|
const HighlighterParameters params)
|
2011-11-10 18:28:38 +04:00
|
|
|
{
|
2012-08-07 02:13:54 +04:00
|
|
|
if (params.size() < 2)
|
2011-11-10 18:28:38 +04:00
|
|
|
throw runtime_error("wrong parameter count");
|
|
|
|
|
2012-08-07 02:32:21 +04:00
|
|
|
try
|
2012-08-07 02:13:54 +04:00
|
|
|
{
|
2012-10-01 22:20:08 +04:00
|
|
|
static Regex color_spec_ex(R"((\d+):(\w+(,\w+)?))");
|
2012-08-07 02:32:21 +04:00
|
|
|
ColorSpec colors;
|
|
|
|
for (auto it = params.begin() + 1; it != params.end(); ++it)
|
|
|
|
{
|
|
|
|
boost::match_results<String::iterator> res;
|
|
|
|
if (not boost::regex_match(it->begin(), it->end(), res, color_spec_ex))
|
|
|
|
throw runtime_error("wrong colorspec: '" + *it +
|
|
|
|
"' expected <capture>:<fgcolor>[,<bgcolor>]");
|
|
|
|
|
|
|
|
int capture = str_to_int(String(res[1].first, res[1].second));
|
2012-09-17 23:02:08 +04:00
|
|
|
const ColorPair*& color = colors[capture];
|
|
|
|
color = &ColorRegistry::instance()[String(res[2].first, res[2].second)];
|
2012-08-07 02:32:21 +04:00
|
|
|
}
|
2011-11-10 18:28:38 +04:00
|
|
|
|
2012-08-07 02:32:21 +04:00
|
|
|
String id = "colre'" + params[0] + "'";
|
2011-11-15 18:28:03 +04:00
|
|
|
|
2012-08-07 02:32:21 +04:00
|
|
|
Regex ex(params[0].begin(), params[0].end(),
|
|
|
|
boost::regex::perl | boost::regex::optimize);
|
|
|
|
|
2012-08-15 19:08:48 +04:00
|
|
|
return HighlighterAndId(id, RegexColorizer(std::move(ex),
|
|
|
|
std::move(colors)));
|
2012-08-08 21:02:36 +04:00
|
|
|
}
|
2012-08-07 02:32:21 +04:00
|
|
|
catch (boost::regex_error& err)
|
|
|
|
{
|
|
|
|
throw runtime_error(String("regex error: ") + err.what());
|
|
|
|
}
|
2011-11-10 18:28:38 +04:00
|
|
|
}
|
|
|
|
|
2012-04-03 17:39:20 +04:00
|
|
|
void expand_tabulations(Window& window, DisplayBuffer& display_buffer)
|
2011-10-12 22:52:22 +04:00
|
|
|
{
|
2012-06-12 22:26:20 +04:00
|
|
|
const int tabstop = window.option_manager()["tabstop"].as_int();
|
2012-07-13 01:19:10 +04:00
|
|
|
for (auto& line : display_buffer.lines())
|
2011-10-12 22:52:22 +04:00
|
|
|
{
|
2012-07-13 01:19:10 +04:00
|
|
|
for (auto atom_it = line.begin(); atom_it != line.end(); ++atom_it)
|
2011-10-12 22:52:22 +04:00
|
|
|
{
|
2012-07-13 01:19:10 +04:00
|
|
|
if (atom_it->content.type() != AtomContent::BufferRange)
|
|
|
|
continue;
|
2011-10-17 23:01:36 +04:00
|
|
|
|
2012-07-13 01:19:10 +04:00
|
|
|
auto begin = atom_it->content.begin();
|
|
|
|
auto end = atom_it->content.end();
|
|
|
|
for (BufferIterator it = begin; it != end; ++it)
|
|
|
|
{
|
|
|
|
if (*it == '\t')
|
2011-10-15 08:45:49 +04:00
|
|
|
{
|
2012-07-13 01:19:10 +04:00
|
|
|
if (it != begin)
|
|
|
|
atom_it = ++line.split(atom_it, it);
|
|
|
|
if (it+1 != end)
|
|
|
|
atom_it = line.split(atom_it, it+1);
|
|
|
|
|
|
|
|
int column = 0;
|
2012-08-15 19:55:58 +04:00
|
|
|
for (auto line_it = it.buffer().iterator_at_line_begin(it);
|
2012-07-13 01:19:10 +04:00
|
|
|
line_it != it; ++line_it)
|
|
|
|
{
|
|
|
|
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->content.replace(padding);
|
|
|
|
break;
|
2011-10-15 08:45:49 +04:00
|
|
|
}
|
2011-10-12 22:52:22 +04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-07-13 01:19:10 +04:00
|
|
|
void show_line_numbers(Window& window, DisplayBuffer& display_buffer)
|
2011-10-17 23:01:36 +04:00
|
|
|
{
|
2012-08-23 01:33:52 +04:00
|
|
|
LineCount last_line = window.buffer().line_count();
|
2012-02-23 00:43:59 +04:00
|
|
|
int digit_count = 0;
|
2012-08-23 01:33:52 +04:00
|
|
|
for (LineCount c = last_line; c > 0; c /= 10)
|
2012-02-23 00:43:59 +04:00
|
|
|
++digit_count;
|
|
|
|
|
|
|
|
char format[] = "%?d ";
|
|
|
|
format[1] = '0' + digit_count;
|
2011-10-17 23:01:36 +04:00
|
|
|
|
2012-07-13 01:19:10 +04:00
|
|
|
for (auto& line : display_buffer.lines())
|
2011-10-17 23:01:36 +04:00
|
|
|
{
|
2012-07-13 01:19:10 +04:00
|
|
|
char buffer[10];
|
2012-08-23 01:33:52 +04:00
|
|
|
snprintf(buffer, 10, format, (int)line.buffer_line() + 1);
|
2012-07-13 01:19:10 +04:00
|
|
|
DisplayAtom atom = DisplayAtom(AtomContent(buffer));
|
|
|
|
atom.fg_color = Color::Black;
|
|
|
|
atom.bg_color = Color::White;
|
|
|
|
line.insert(line.begin(), std::move(atom));
|
2011-10-17 23:01:36 +04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-04-03 17:22:07 +04:00
|
|
|
void highlight_selections(Window& window, DisplayBuffer& display_buffer)
|
|
|
|
{
|
|
|
|
for (auto& sel : window.selections())
|
|
|
|
{
|
2012-07-13 01:19:10 +04:00
|
|
|
highlight_range(display_buffer, sel.begin(), sel.end(), false,
|
|
|
|
[](DisplayAtom& atom) { atom.attribute |= Attributes::Underline; });
|
2012-04-03 17:22:07 +04:00
|
|
|
|
|
|
|
const BufferIterator& last = sel.last();
|
2012-10-08 16:27:43 +04:00
|
|
|
highlight_range(display_buffer, last, utf8::next(last), false,
|
2012-07-13 01:19:10 +04:00
|
|
|
[](DisplayAtom& atom) { atom.attribute |= Attributes::Reverse; });
|
2012-04-03 17:22:07 +04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2011-11-30 02:37:20 +04:00
|
|
|
template<void (*highlighter_func)(DisplayBuffer&)>
|
|
|
|
class SimpleHighlighterFactory
|
2011-11-08 18:28:01 +04:00
|
|
|
{
|
|
|
|
public:
|
2012-04-14 05:17:09 +04:00
|
|
|
SimpleHighlighterFactory(const String& id) : m_id(id) {}
|
2011-11-08 18:28:01 +04:00
|
|
|
|
2011-11-30 02:37:20 +04:00
|
|
|
HighlighterAndId operator()(Window& window,
|
|
|
|
const HighlighterParameters& params) const
|
2011-11-08 18:28:01 +04:00
|
|
|
{
|
2011-11-30 02:37:20 +04:00
|
|
|
return HighlighterAndId(m_id, HighlighterFunc(highlighter_func));
|
2011-11-08 18:28:01 +04:00
|
|
|
}
|
|
|
|
private:
|
2012-04-14 05:17:09 +04:00
|
|
|
String m_id;
|
2011-11-08 18:28:01 +04:00
|
|
|
};
|
|
|
|
|
2012-04-03 17:22:07 +04:00
|
|
|
template<void (*highlighter_func)(Window&, DisplayBuffer&)>
|
|
|
|
class WindowHighlighterFactory
|
2011-11-10 03:56:22 +04:00
|
|
|
{
|
|
|
|
public:
|
2012-04-14 05:17:09 +04:00
|
|
|
WindowHighlighterFactory(const String& id) : m_id(id) {}
|
2011-11-10 03:56:22 +04:00
|
|
|
|
2012-04-03 17:22:07 +04:00
|
|
|
HighlighterAndId operator()(Window& window,
|
|
|
|
const HighlighterParameters& params) const
|
2011-11-10 03:56:22 +04:00
|
|
|
{
|
2012-04-03 17:22:07 +04:00
|
|
|
return HighlighterAndId(m_id, std::bind(highlighter_func, std::ref(window), _1));
|
2011-11-10 03:56:22 +04:00
|
|
|
}
|
|
|
|
private:
|
2012-04-14 05:17:09 +04:00
|
|
|
String m_id;
|
2011-11-10 03:56:22 +04:00
|
|
|
};
|
|
|
|
|
2012-01-20 00:37:29 +04:00
|
|
|
HighlighterAndId highlighter_group_factory(Window& window,
|
|
|
|
const HighlighterParameters& params)
|
2012-01-15 17:45:18 +04:00
|
|
|
{
|
|
|
|
if (params.size() != 1)
|
|
|
|
throw runtime_error("wrong parameter count");
|
|
|
|
|
|
|
|
return HighlighterAndId(params[0], HighlighterGroup());
|
|
|
|
}
|
|
|
|
|
2011-11-30 02:37:20 +04:00
|
|
|
void register_highlighters()
|
2011-11-08 18:28:01 +04:00
|
|
|
{
|
2011-11-30 02:37:20 +04:00
|
|
|
HighlighterRegistry& registry = HighlighterRegistry::instance();
|
2011-11-15 18:28:03 +04:00
|
|
|
|
2012-04-03 17:22:07 +04:00
|
|
|
registry.register_factory("highlight_selections", WindowHighlighterFactory<highlight_selections>("highlight_selections"));
|
2012-04-03 17:39:20 +04:00
|
|
|
registry.register_factory("expand_tabs", WindowHighlighterFactory<expand_tabulations>("expand_tabs"));
|
2012-07-13 01:19:10 +04:00
|
|
|
registry.register_factory("number_lines", WindowHighlighterFactory<show_line_numbers>("number_lines"));
|
2011-11-10 18:28:38 +04:00
|
|
|
registry.register_factory("regex", colorize_regex_factory);
|
2012-01-20 00:37:29 +04:00
|
|
|
registry.register_factory("group", highlighter_group_factory);
|
2011-11-08 18:28:01 +04:00
|
|
|
}
|
|
|
|
|
2011-09-30 23:16:23 +04:00
|
|
|
}
|