2011-09-02 18:51:20 +02:00
|
|
|
#ifndef buffer_hh_INCLUDED
|
|
|
|
#define buffer_hh_INCLUDED
|
|
|
|
|
|
|
|
#include <string>
|
|
|
|
#include <vector>
|
2011-09-08 02:13:19 +02:00
|
|
|
#include <list>
|
|
|
|
#include <memory>
|
2011-09-02 18:51:20 +02:00
|
|
|
|
2011-09-05 21:06:31 +02:00
|
|
|
#include "utils.hh"
|
|
|
|
|
2011-09-02 18:51:20 +02:00
|
|
|
namespace Kakoune
|
|
|
|
{
|
|
|
|
|
|
|
|
class Buffer;
|
2011-09-08 02:13:19 +02:00
|
|
|
class Window;
|
|
|
|
|
2011-09-02 18:51:20 +02:00
|
|
|
typedef int BufferPos;
|
|
|
|
typedef int BufferSize;
|
|
|
|
typedef char BufferChar;
|
|
|
|
typedef std::basic_string<BufferChar> BufferString;
|
|
|
|
|
2011-09-05 21:06:31 +02:00
|
|
|
struct BufferCoord : LineAndColumn
|
2011-09-02 18:51:20 +02:00
|
|
|
{
|
2011-09-05 21:06:31 +02:00
|
|
|
BufferCoord(int line = 0, int column = 0)
|
|
|
|
: LineAndColumn(line, column) {}
|
2011-09-02 18:51:20 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
class BufferIterator
|
|
|
|
{
|
|
|
|
public:
|
|
|
|
typedef BufferChar value_type;
|
|
|
|
typedef BufferSize difference_type;
|
|
|
|
typedef const value_type* pointer;
|
|
|
|
typedef const value_type& reference;
|
|
|
|
typedef std::bidirectional_iterator_tag iterator_category;
|
|
|
|
|
|
|
|
BufferIterator() : m_buffer(NULL), m_position(0) {}
|
|
|
|
BufferIterator(const Buffer& buffer, BufferPos position);
|
|
|
|
BufferIterator& operator=(const BufferIterator& iterator);
|
|
|
|
|
|
|
|
bool operator== (const BufferIterator& iterator) const;
|
|
|
|
bool operator!= (const BufferIterator& iterator) const;
|
|
|
|
bool operator< (const BufferIterator& iterator) const;
|
|
|
|
bool operator<= (const BufferIterator& iterator) const;
|
|
|
|
|
|
|
|
BufferChar operator* () const;
|
|
|
|
BufferSize operator- (const BufferIterator& iterator) const;
|
|
|
|
|
|
|
|
BufferIterator operator+ (BufferSize size) const;
|
|
|
|
BufferIterator operator- (BufferSize size) const;
|
|
|
|
|
|
|
|
BufferIterator& operator+= (BufferSize size);
|
|
|
|
BufferIterator& operator-= (BufferSize size);
|
|
|
|
|
|
|
|
BufferIterator& operator++ ();
|
|
|
|
BufferIterator& operator-- ();
|
|
|
|
|
|
|
|
bool is_begin() const;
|
|
|
|
bool is_end() const;
|
|
|
|
|
2011-09-02 20:35:22 +02:00
|
|
|
const Buffer& buffer() const;
|
|
|
|
|
2011-09-02 18:51:20 +02:00
|
|
|
private:
|
|
|
|
const Buffer* m_buffer;
|
|
|
|
BufferPos m_position;
|
|
|
|
friend class Buffer;
|
|
|
|
};
|
|
|
|
|
|
|
|
class Buffer
|
|
|
|
{
|
|
|
|
public:
|
2011-09-06 20:33:18 +02:00
|
|
|
Buffer(const std::string& name,
|
|
|
|
const BufferString& initial_content = "");
|
2011-09-02 18:51:20 +02:00
|
|
|
|
2011-09-06 20:49:32 +02:00
|
|
|
void begin_undo_group();
|
|
|
|
void end_undo_group();
|
|
|
|
|
|
|
|
bool undo();
|
|
|
|
bool redo();
|
|
|
|
|
2011-09-02 18:51:20 +02:00
|
|
|
void erase(const BufferIterator& begin,
|
|
|
|
const BufferIterator& end);
|
|
|
|
|
|
|
|
void insert(const BufferIterator& position,
|
|
|
|
const BufferString& string);
|
|
|
|
|
|
|
|
BufferString string(const BufferIterator& begin,
|
|
|
|
const BufferIterator& end) const;
|
|
|
|
|
|
|
|
BufferIterator begin() const;
|
|
|
|
BufferIterator end() const;
|
|
|
|
BufferSize length() const;
|
|
|
|
|
2011-09-05 21:06:31 +02:00
|
|
|
BufferIterator iterator_at(const BufferCoord& line_and_column) const;
|
|
|
|
BufferCoord line_and_column_at(const BufferIterator& iterator) const;
|
2011-09-02 18:51:20 +02:00
|
|
|
|
2011-09-05 21:06:31 +02:00
|
|
|
BufferCoord clamp(const BufferCoord& line_and_column) const;
|
2011-09-02 18:51:20 +02:00
|
|
|
|
|
|
|
const std::string& name() const { return m_name; }
|
|
|
|
|
|
|
|
const BufferString& content() const { return m_content; }
|
|
|
|
|
2011-09-08 02:13:19 +02:00
|
|
|
void register_window(Window* window);
|
|
|
|
void delete_window(Window* window);
|
|
|
|
|
2011-09-02 18:51:20 +02:00
|
|
|
private:
|
|
|
|
BufferChar at(BufferPos position) const;
|
2011-09-06 20:49:32 +02:00
|
|
|
|
|
|
|
void do_erase(const BufferIterator& begin,
|
|
|
|
const BufferIterator& end);
|
|
|
|
|
|
|
|
void do_insert(const BufferIterator& position,
|
|
|
|
const BufferString& string);
|
|
|
|
|
2011-09-02 18:51:20 +02:00
|
|
|
friend class BufferIterator;
|
|
|
|
|
|
|
|
std::vector<BufferPos> m_lines;
|
|
|
|
|
|
|
|
void compute_lines();
|
|
|
|
BufferPos line_at(const BufferIterator& iterator) const;
|
|
|
|
BufferSize line_length(BufferPos line) const;
|
|
|
|
|
|
|
|
BufferString m_content;
|
|
|
|
|
|
|
|
std::string m_name;
|
2011-09-06 20:49:32 +02:00
|
|
|
|
|
|
|
struct Modification
|
|
|
|
{
|
|
|
|
enum Type { Insert, Erase };
|
|
|
|
|
|
|
|
Type type;
|
|
|
|
BufferIterator position;
|
|
|
|
BufferString content;
|
|
|
|
|
|
|
|
Modification(Type type, BufferIterator position, BufferString content)
|
|
|
|
: type(type), position(position), content(content) {}
|
|
|
|
|
|
|
|
Modification inverse() const;
|
|
|
|
};
|
|
|
|
typedef std::vector<Modification> UndoGroup;
|
|
|
|
|
|
|
|
std::vector<UndoGroup> m_history;
|
|
|
|
std::vector<UndoGroup>::iterator m_history_cursor;
|
|
|
|
UndoGroup m_current_undo_group;
|
|
|
|
|
|
|
|
void replay_modification(const Modification& modification);
|
|
|
|
void revert_modification(const Modification& modification);
|
|
|
|
|
|
|
|
void append_modification(Modification&& modification);
|
2011-09-08 02:13:19 +02:00
|
|
|
|
|
|
|
std::list<std::unique_ptr<Window>> m_windows;
|
2011-09-02 18:51:20 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
#endif // buffer_hh_INCLUDED
|