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-17 16:13:33 +02:00
|
|
|
#include "line_and_column.hh"
|
2011-09-05 21:06:31 +02:00
|
|
|
|
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-17 16:13:33 +02:00
|
|
|
struct BufferCoord : LineAndColumn<BufferCoord>
|
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-10-14 16:27:43 +02:00
|
|
|
|
|
|
|
template<typename T>
|
|
|
|
explicit BufferCoord(const LineAndColumn<T>& other)
|
|
|
|
: LineAndColumn(other.line, other.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;
|
2011-09-28 22:53:29 +02:00
|
|
|
bool operator> (const BufferIterator& iterator) const;
|
|
|
|
bool operator>= (const BufferIterator& iterator) const;
|
2011-09-02 18:51:20 +02:00
|
|
|
|
|
|
|
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-10-07 16:15:55 +02:00
|
|
|
enum class Type
|
|
|
|
{
|
|
|
|
File,
|
|
|
|
Scratch
|
|
|
|
};
|
|
|
|
|
|
|
|
Buffer(const std::string& name, Type type,
|
2011-09-06 20:33:18 +02:00
|
|
|
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-22 15:58:35 +02:00
|
|
|
BufferSize line_count() const;
|
2011-09-02 18:51:20 +02:00
|
|
|
|
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 16:30:36 +02:00
|
|
|
Window* get_or_create_window();
|
2011-09-08 02:13:19 +02:00
|
|
|
void delete_window(Window* window);
|
|
|
|
|
2011-10-05 16:21:24 +02:00
|
|
|
bool is_modified() const;
|
2011-10-07 16:15:55 +02:00
|
|
|
Type type() const { return m_type; }
|
2011-10-05 16:21:24 +02:00
|
|
|
void notify_saved();
|
|
|
|
|
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-10-07 16:15:55 +02:00
|
|
|
const Type m_type;
|
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;
|
2011-10-05 16:21:24 +02:00
|
|
|
UndoGroup m_current_undo_group;
|
2011-09-06 20:49:32 +02:00
|
|
|
|
|
|
|
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-10-05 16:21:24 +02:00
|
|
|
|
|
|
|
std::vector<UndoGroup>::iterator m_last_save_undo_group;
|
2011-09-02 18:51:20 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
#endif // buffer_hh_INCLUDED
|