home/src/buffer.hh

173 lines
4.5 KiB
C++
Raw Normal View History

2011-09-02 18:51:20 +02:00
#ifndef buffer_hh_INCLUDED
#define buffer_hh_INCLUDED
#include <string>
#include <vector>
#include <list>
#include <memory>
2011-09-02 18:51:20 +02:00
#include "line_and_column.hh"
2011-09-02 18:51:20 +02:00
namespace Kakoune
{
class Buffer;
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;
struct BufferCoord : LineAndColumn<BufferCoord>
2011-09-02 18:51:20 +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;
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;
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,
const BufferString& initial_content = "");
2011-09-02 18:51:20 +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
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
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; }
Window* get_or_create_window();
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;
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;
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;
void replay_modification(const Modification& modification);
void revert_modification(const Modification& modification);
void append_modification(Modification&& modification);
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