home/src/display_buffer.hh

171 lines
4.3 KiB
C++
Raw Normal View History

2011-09-02 18:51:20 +02:00
#ifndef display_buffer_hh_INCLUDED
#define display_buffer_hh_INCLUDED
#include "face.hh"
#include "hash.hh"
#include "coord.hh"
2013-04-09 20:05:40 +02:00
#include "string.hh"
2015-01-12 14:58:41 +01:00
#include "vector.hh"
#include "hash_map.hh"
2013-04-09 20:05:40 +02:00
2011-09-02 18:51:20 +02:00
namespace Kakoune
{
2014-11-12 22:27:07 +01:00
class Buffer;
struct BufferRange{ BufferCoord begin, end; };
String option_to_string(BufferRange range);
void option_from_string(StringView str, BufferRange& opt);
inline bool operator==(const BufferRange& lhs, const BufferRange& rhs)
{
return lhs.begin == rhs.begin and lhs.end == rhs.end;
}
inline
size_t hash_value(const BufferRange& range)
{
return hash_values(range.begin, range.end);
}
2014-11-12 22:27:07 +01:00
2015-01-21 14:35:46 +01:00
struct DisplayAtom : public UseMemoryDomain<MemoryDomain::Display>
2011-09-02 18:51:20 +02:00
{
public:
enum Type { Range, ReplacedRange, Text };
DisplayAtom(const Buffer& buffer, BufferCoord begin, BufferCoord end)
: m_type(Range), m_buffer(&buffer), m_range{begin, end}
{ check_invariant(); }
DisplayAtom(String str, Face face = Face{})
: m_type(Text), m_text(std::move(str)), face(face)
{ check_invariant(); }
2014-11-12 22:27:07 +01:00
StringView content() const;
ColumnCount length() const;
2012-09-30 16:21:20 +02:00
const BufferCoord& begin() const
{
kak_assert(has_buffer_range());
return m_range.begin;
}
const BufferCoord& end() const
{
kak_assert(has_buffer_range());
return m_range.end;
}
void replace(String text)
{
kak_assert(m_type == Range);
m_type = ReplacedRange;
m_text = std::move(text);
}
bool has_buffer_range() const
{
return m_type == Range or m_type == ReplacedRange;
}
const Buffer& buffer() const { kak_assert(m_buffer); return *m_buffer; }
Type type() const { return m_type; }
2011-10-17 21:01:04 +02:00
void trim_begin(ColumnCount count);
void trim_end(ColumnCount count);
2013-07-24 14:55:57 +02:00
void check_invariant() const;
bool operator==(const DisplayAtom& other) const
{
return face == other.face and type() == other.type() and
content() == other.content();
}
2013-07-24 14:55:57 +02:00
public:
Face face;
2013-07-24 14:55:57 +02:00
private:
friend class DisplayLine;
Type m_type;
const Buffer* m_buffer = nullptr;
BufferRange m_range;
String m_text;
2011-09-02 18:51:20 +02:00
};
2015-09-12 11:51:16 +02:00
using AtomList = Vector<DisplayAtom, MemoryDomain::Display>;
2015-01-21 14:35:46 +01:00
class DisplayLine : public UseMemoryDomain<MemoryDomain::Display>
{
public:
using iterator = AtomList::iterator;
using const_iterator = AtomList::const_iterator;
using value_type = AtomList::value_type;
DisplayLine() = default;
DisplayLine(AtomList atoms);
DisplayLine(String str, Face face = Face{})
{ push_back({ std::move(str), face }); }
2011-09-02 18:51:20 +02:00
iterator begin() { return m_atoms.begin(); }
iterator end() { return m_atoms.end(); }
2011-09-02 18:51:20 +02:00
const_iterator begin() const { return m_atoms.begin(); }
const_iterator end() const { return m_atoms.end(); }
const AtomList& atoms() const { return m_atoms; }
ColumnCount length() const;
const BufferRange& range() const { return m_range; }
// Split atom pointed by it at buffer coord pos,
// returns an iterator to the first atom
iterator split(iterator it, BufferCoord pos);
// Split atom pointed by it at its pos column,
// returns an iterator to the first atom
iterator split(iterator it, ColumnCount pos);
iterator insert(iterator it, DisplayAtom atom);
iterator erase(iterator beg, iterator end);
void push_back(DisplayAtom atom);
// remove first_col from the begining of the line, and make sure
// the line is less that col_count character
void trim(ColumnCount first_col, ColumnCount col_count, bool only_buffer);
void optimize();
2011-09-02 18:51:20 +02:00
private:
void compute_range();
BufferRange m_range = { { INT_MAX, INT_MAX }, { INT_MIN, INT_MIN } };
AtomList m_atoms;
2011-09-02 18:51:20 +02:00
};
DisplayLine parse_display_line(StringView line, const HashMap<String, DisplayLine>& builtins = {});
2015-01-21 14:35:46 +01:00
class DisplayBuffer : public UseMemoryDomain<MemoryDomain::Display>
{
public:
2015-09-12 11:51:16 +02:00
using LineList = Vector<DisplayLine, MemoryDomain::Display>;
DisplayBuffer() {}
LineList& lines() { return m_lines; }
const LineList& lines() const { return m_lines; }
// returns the smallest BufferRange which contains every DisplayAtoms
const BufferRange& range() const { return m_range; }
void optimize();
void compute_range();
private:
LineList m_lines;
BufferRange m_range;
};
2011-09-02 18:51:20 +02:00
}
#endif // display_buffer_hh_INCLUDED