2011-11-29 23:37:20 +01:00
|
|
|
#include "highlighters.hh"
|
2011-09-30 21:16:23 +02:00
|
|
|
|
2011-11-14 15:23:02 +01:00
|
|
|
#include "assert.hh"
|
2011-11-10 00:56:22 +01:00
|
|
|
#include "window.hh"
|
2011-11-09 15:06:05 +01:00
|
|
|
#include "display_buffer.hh"
|
2011-11-29 23:37:20 +01:00
|
|
|
#include "highlighter_registry.hh"
|
2012-01-19 21:37:29 +01:00
|
|
|
#include "highlighter_group.hh"
|
2011-11-09 15:06:05 +01:00
|
|
|
#include <boost/regex.hpp>
|
2011-11-08 15:28:01 +01:00
|
|
|
|
2011-09-30 21:16:23 +02:00
|
|
|
namespace Kakoune
|
|
|
|
{
|
|
|
|
|
2011-11-24 20:11:58 +01:00
|
|
|
void colorize_regex_range(DisplayBuffer& display_buffer,
|
|
|
|
const BufferIterator& range_begin,
|
|
|
|
const BufferIterator& range_end,
|
|
|
|
const boost::regex& ex,
|
|
|
|
Color fg_color, Color bg_color = Color::Default)
|
2011-09-30 21:16:23 +02:00
|
|
|
{
|
2011-11-26 19:34:49 +01:00
|
|
|
assert(range_begin <= range_end);
|
|
|
|
|
|
|
|
if (range_begin >= display_buffer.back().end() or
|
|
|
|
range_end <= display_buffer.front().begin())
|
|
|
|
return;
|
|
|
|
|
2011-11-24 20:11:58 +01:00
|
|
|
BufferIterator display_begin = std::max(range_begin,
|
|
|
|
display_buffer.front().begin());
|
|
|
|
BufferIterator display_end = std::min(range_end,
|
|
|
|
display_buffer.back().end());
|
2011-10-23 22:26:51 +02:00
|
|
|
|
|
|
|
boost::regex_iterator<BufferIterator> re_it(display_begin, display_end,
|
|
|
|
ex, boost::match_nosubs);
|
|
|
|
boost::regex_iterator<BufferIterator> re_end;
|
|
|
|
DisplayBuffer::iterator atom_it = display_buffer.begin();
|
|
|
|
for (; re_it != re_end; ++re_it)
|
2011-09-30 21:16:23 +02:00
|
|
|
{
|
2011-10-23 22:26:51 +02:00
|
|
|
BufferIterator begin = (*re_it)[0].first;
|
|
|
|
BufferIterator end = (*re_it)[0].second;
|
2011-11-14 15:23:02 +01:00
|
|
|
assert(begin != end);
|
|
|
|
|
2011-10-23 22:26:51 +02:00
|
|
|
auto begin_atom_it = display_buffer.atom_containing(begin, atom_it);
|
2011-11-14 15:23:02 +01:00
|
|
|
assert(begin_atom_it != display_buffer.end());
|
|
|
|
if (begin_atom_it->begin() != begin)
|
|
|
|
begin_atom_it = ++display_buffer.split(begin_atom_it, begin);
|
|
|
|
|
|
|
|
auto end_atom_it = display_buffer.atom_containing(end, begin_atom_it);
|
|
|
|
if (end_atom_it != display_buffer.end() and
|
|
|
|
end_atom_it->begin() != end)
|
|
|
|
end_atom_it = ++display_buffer.split(end_atom_it, end);
|
2011-09-30 21:16:23 +02:00
|
|
|
|
2011-11-14 15:23:02 +01:00
|
|
|
assert(begin_atom_it != end_atom_it);
|
|
|
|
|
|
|
|
for (auto it = begin_atom_it; it != end_atom_it; ++it)
|
|
|
|
{
|
|
|
|
it->fg_color() = fg_color;
|
|
|
|
it->bg_color() = bg_color;
|
2011-09-30 21:16:23 +02:00
|
|
|
}
|
2011-11-14 15:23:02 +01:00
|
|
|
|
|
|
|
atom_it = end_atom_it;
|
2011-09-30 21:16:23 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2011-11-24 20:11:58 +01:00
|
|
|
void colorize_regex(DisplayBuffer& display_buffer,
|
|
|
|
const boost::regex& ex,
|
|
|
|
Color fg_color, Color bg_color = Color::Default)
|
|
|
|
{
|
|
|
|
colorize_regex_range(display_buffer, display_buffer.front().begin(),
|
|
|
|
display_buffer.back().end(), ex, fg_color, bg_color);
|
|
|
|
}
|
|
|
|
|
2011-11-10 15:28:38 +01:00
|
|
|
Color parse_color(const std::string& color)
|
|
|
|
{
|
|
|
|
if (color == "default") return Color::Default;
|
|
|
|
if (color == "black") return Color::Black;
|
|
|
|
if (color == "red") return Color::Red;
|
|
|
|
if (color == "green") return Color::Green;
|
|
|
|
if (color == "yellow") return Color::Yellow;
|
|
|
|
if (color == "blue") return Color::Blue;
|
|
|
|
if (color == "magenta") return Color::Magenta;
|
|
|
|
if (color == "cyan") return Color::Cyan;
|
|
|
|
if (color == "white") return Color::White;
|
|
|
|
return Color::Default;
|
|
|
|
}
|
|
|
|
|
2011-11-29 23:37:20 +01:00
|
|
|
HighlighterAndId colorize_regex_factory(Window& window,
|
2011-11-30 15:11:53 +01:00
|
|
|
const HighlighterParameters params)
|
2011-11-10 15:28:38 +01:00
|
|
|
{
|
|
|
|
if (params.size() != 3)
|
|
|
|
throw runtime_error("wrong parameter count");
|
|
|
|
|
|
|
|
boost::regex ex(params[0]);
|
|
|
|
|
|
|
|
Color fg_color = parse_color(params[1]);
|
|
|
|
Color bg_color = parse_color(params[2]);
|
|
|
|
|
2011-11-15 15:28:03 +01:00
|
|
|
std::string id = "colre'" + params[0] + "'";
|
|
|
|
|
2011-11-29 23:37:20 +01:00
|
|
|
return HighlighterAndId(id, std::bind(colorize_regex, std::placeholders::_1,
|
2011-11-10 15:28:38 +01:00
|
|
|
ex, fg_color, bg_color));
|
|
|
|
}
|
|
|
|
|
2011-10-12 20:52:22 +02:00
|
|
|
void expand_tabulations(DisplayBuffer& display_buffer)
|
|
|
|
{
|
|
|
|
const int tabstop = 8;
|
|
|
|
for (auto atom_it = display_buffer.begin();
|
|
|
|
atom_it != display_buffer.end(); ++atom_it)
|
|
|
|
{
|
2011-10-15 06:45:49 +02:00
|
|
|
for (BufferIterator it = atom_it->begin(); it != atom_it->end(); ++it)
|
2011-10-12 20:52:22 +02:00
|
|
|
{
|
|
|
|
if (*it == '\t')
|
|
|
|
{
|
2011-10-15 06:45:49 +02:00
|
|
|
if (it != atom_it->begin())
|
2011-10-18 15:59:32 +02:00
|
|
|
atom_it = ++display_buffer.split(atom_it, it);
|
2011-10-12 20:52:22 +02:00
|
|
|
|
2011-10-15 06:45:49 +02:00
|
|
|
if (it+1 != atom_it->end())
|
2011-10-12 20:52:22 +02:00
|
|
|
atom_it = display_buffer.split(atom_it, it+1);
|
|
|
|
|
|
|
|
BufferCoord pos = it.buffer().line_and_column_at(it);
|
2011-10-17 21:01:36 +02:00
|
|
|
|
2011-10-15 06:45:49 +02:00
|
|
|
int column = 0;
|
|
|
|
for (auto line_it = it.buffer().iterator_at({pos.line, 0});
|
|
|
|
line_it != it; ++line_it)
|
|
|
|
{
|
|
|
|
assert(*line_it != '\n');
|
|
|
|
if (*line_it == '\t')
|
|
|
|
column += tabstop - (column % tabstop);
|
|
|
|
else
|
|
|
|
++column;
|
|
|
|
}
|
|
|
|
|
|
|
|
int count = tabstop - (column % tabstop);
|
|
|
|
display_buffer.replace_atom_content(atom_it,
|
|
|
|
std::string(count, ' '));
|
2011-10-12 20:52:22 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2011-10-17 21:01:36 +02:00
|
|
|
void show_line_numbers(DisplayBuffer& display_buffer)
|
|
|
|
{
|
|
|
|
const Buffer& buffer = display_buffer.front().begin().buffer();
|
|
|
|
BufferCoord coord = buffer.line_and_column_at(display_buffer.begin()->begin());
|
|
|
|
|
|
|
|
int last_line = buffer.line_and_column_at(display_buffer.back().end()-1).line;
|
|
|
|
|
|
|
|
for (; coord.line <= last_line; ++coord.line)
|
|
|
|
{
|
|
|
|
BufferIterator line_start = buffer.iterator_at(coord);
|
|
|
|
DisplayBuffer::iterator atom_it = display_buffer.atom_containing(line_start);
|
|
|
|
if (atom_it != display_buffer.end())
|
|
|
|
{
|
|
|
|
if (atom_it->begin() != line_start)
|
|
|
|
{
|
|
|
|
if (not atom_it->splitable())
|
|
|
|
continue;
|
|
|
|
|
2011-10-18 15:59:32 +02:00
|
|
|
atom_it = ++display_buffer.split(atom_it, line_start);
|
2011-10-17 21:01:36 +02:00
|
|
|
}
|
|
|
|
atom_it = display_buffer.insert(
|
|
|
|
atom_it,
|
|
|
|
DisplayAtom(atom_it->coord(),
|
|
|
|
atom_it->begin(), atom_it->begin(),
|
|
|
|
Color::Black, Color::White));
|
|
|
|
|
|
|
|
char buffer[6];
|
2011-10-27 16:27:39 +02:00
|
|
|
snprintf(buffer, 6, "%3d ", coord.line + 1);
|
2011-10-17 21:01:36 +02:00
|
|
|
display_buffer.replace_atom_content(atom_it, buffer);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2011-11-29 23:37:20 +01:00
|
|
|
template<void (*highlighter_func)(DisplayBuffer&)>
|
|
|
|
class SimpleHighlighterFactory
|
2011-11-08 15:28:01 +01:00
|
|
|
{
|
|
|
|
public:
|
2011-11-29 23:37:20 +01:00
|
|
|
SimpleHighlighterFactory(const std::string& id) : m_id(id) {}
|
2011-11-08 15:28:01 +01:00
|
|
|
|
2011-11-29 23:37:20 +01:00
|
|
|
HighlighterAndId operator()(Window& window,
|
|
|
|
const HighlighterParameters& params) const
|
2011-11-08 15:28:01 +01:00
|
|
|
{
|
2011-11-29 23:37:20 +01:00
|
|
|
return HighlighterAndId(m_id, HighlighterFunc(highlighter_func));
|
2011-11-08 15:28:01 +01:00
|
|
|
}
|
|
|
|
private:
|
|
|
|
std::string m_id;
|
|
|
|
};
|
|
|
|
|
2011-11-10 00:56:22 +01:00
|
|
|
class SelectionsHighlighter
|
|
|
|
{
|
|
|
|
public:
|
|
|
|
SelectionsHighlighter(Window& window)
|
|
|
|
: m_window(window)
|
|
|
|
{
|
|
|
|
}
|
|
|
|
|
|
|
|
void operator()(DisplayBuffer& display_buffer)
|
|
|
|
{
|
|
|
|
SelectionList sorted_selections = m_window.selections();
|
|
|
|
|
|
|
|
std::sort(sorted_selections.begin(), sorted_selections.end(),
|
|
|
|
[](const Selection& lhs, const Selection& rhs) { return lhs.begin() < rhs.begin(); });
|
|
|
|
|
|
|
|
auto atom_it = display_buffer.begin();
|
|
|
|
auto sel_it = sorted_selections.begin();
|
|
|
|
|
|
|
|
while (atom_it != display_buffer.end()
|
|
|
|
and sel_it != sorted_selections.end())
|
|
|
|
{
|
|
|
|
Selection& sel = *sel_it;
|
|
|
|
DisplayAtom& atom = *atom_it;
|
|
|
|
|
|
|
|
// [###------]
|
|
|
|
if (atom.begin() >= sel.begin() and atom.begin() < sel.end() and atom.end() > sel.end())
|
|
|
|
{
|
|
|
|
atom_it = display_buffer.split(atom_it, sel.end());
|
|
|
|
atom_it->attribute() |= Attributes::Underline;
|
|
|
|
++atom_it;
|
|
|
|
++sel_it;
|
|
|
|
}
|
|
|
|
// [---###---]
|
|
|
|
else if (atom.begin() < sel.begin() and atom.end() > sel.end())
|
|
|
|
{
|
|
|
|
atom_it = display_buffer.split(atom_it, sel.begin());
|
|
|
|
atom_it = display_buffer.split(++atom_it, sel.end());
|
|
|
|
atom_it->attribute() |= Attributes::Underline;
|
|
|
|
++atom_it;
|
|
|
|
++sel_it;
|
|
|
|
}
|
|
|
|
// [------###]
|
|
|
|
else if (atom.begin() < sel.begin() and atom.end() > sel.begin())
|
|
|
|
{
|
|
|
|
atom_it = ++display_buffer.split(atom_it, sel.begin());
|
|
|
|
atom_it->attribute() |= Attributes::Underline;
|
|
|
|
++atom_it;
|
|
|
|
}
|
|
|
|
// [#########]
|
|
|
|
else if (atom.begin() >= sel.begin() and atom.end() <= sel.end())
|
|
|
|
{
|
|
|
|
atom_it->attribute() |= Attributes::Underline;
|
|
|
|
++atom_it;
|
|
|
|
}
|
|
|
|
// [---------]
|
|
|
|
else if (atom.begin() >= sel.end())
|
|
|
|
++sel_it;
|
|
|
|
// [---------]
|
|
|
|
else if (atom.end() <= sel.begin())
|
|
|
|
++atom_it;
|
|
|
|
else
|
|
|
|
assert(false);
|
|
|
|
}
|
2011-11-24 20:13:38 +01:00
|
|
|
|
|
|
|
boost::regex ex("\n");
|
|
|
|
for (auto& sel : sorted_selections)
|
|
|
|
colorize_regex_range(display_buffer, sel.begin(), sel.end(),
|
|
|
|
ex, Color::Default, Color::Yellow);
|
|
|
|
|
2011-11-10 00:56:22 +01:00
|
|
|
}
|
|
|
|
|
2011-11-29 23:37:20 +01:00
|
|
|
static HighlighterAndId create(Window& window,
|
2011-11-30 15:11:53 +01:00
|
|
|
const HighlighterParameters& params)
|
2011-11-10 00:56:22 +01:00
|
|
|
{
|
2011-11-29 23:37:20 +01:00
|
|
|
return HighlighterAndId("highlight_selections",
|
2011-11-10 00:56:22 +01:00
|
|
|
SelectionsHighlighter(window));
|
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
|
|
|
const Window& m_window;
|
|
|
|
};
|
|
|
|
|
2012-01-19 21:37:29 +01:00
|
|
|
HighlighterAndId highlighter_group_factory(Window& window,
|
|
|
|
const HighlighterParameters& params)
|
2012-01-15 14:45:18 +01:00
|
|
|
{
|
|
|
|
if (params.size() != 1)
|
|
|
|
throw runtime_error("wrong parameter count");
|
|
|
|
|
|
|
|
return HighlighterAndId(params[0], HighlighterGroup());
|
|
|
|
}
|
|
|
|
|
2011-11-29 23:37:20 +01:00
|
|
|
void register_highlighters()
|
2011-11-08 15:28:01 +01:00
|
|
|
{
|
2011-11-29 23:37:20 +01:00
|
|
|
HighlighterRegistry& registry = HighlighterRegistry::instance();
|
2011-11-15 15:28:03 +01:00
|
|
|
|
2011-11-10 00:56:22 +01:00
|
|
|
registry.register_factory("highlight_selections", SelectionsHighlighter::create);
|
2011-11-29 23:37:20 +01:00
|
|
|
registry.register_factory("expand_tabs", SimpleHighlighterFactory<expand_tabulations>("expand_tabs"));
|
|
|
|
registry.register_factory("number_lines", SimpleHighlighterFactory<show_line_numbers>("number_lines"));
|
2011-11-10 15:28:38 +01:00
|
|
|
registry.register_factory("regex", colorize_regex_factory);
|
2012-01-19 21:37:29 +01:00
|
|
|
registry.register_factory("group", highlighter_group_factory);
|
2011-11-08 15:28:01 +01:00
|
|
|
}
|
|
|
|
|
2011-09-30 21:16:23 +02:00
|
|
|
}
|