2011-11-26 22:32:57 +04:00
|
|
|
#ifndef context_hh_INCLUDED
|
|
|
|
#define context_hh_INCLUDED
|
|
|
|
|
2012-02-14 01:32:54 +04:00
|
|
|
#include "window.hh"
|
2012-10-17 15:14:03 +04:00
|
|
|
#include "input_handler.hh"
|
2012-09-26 16:13:04 +04:00
|
|
|
#include "user_interface.hh"
|
2012-02-14 01:32:54 +04:00
|
|
|
|
2011-11-26 22:32:57 +04:00
|
|
|
namespace Kakoune
|
|
|
|
{
|
|
|
|
|
2012-10-10 15:57:15 +04:00
|
|
|
// A Context is used to access non singleton objects for various services
|
|
|
|
// in commands.
|
|
|
|
//
|
2012-10-17 15:14:03 +04:00
|
|
|
// The Context object links an InputHandler, an Editor (which may be a Window),
|
2012-10-10 15:57:15 +04:00
|
|
|
// and a UserInterface. It may represent an interactive user window, or
|
|
|
|
// a hook execution or a macro replay.
|
2011-11-26 22:32:57 +04:00
|
|
|
struct Context
|
|
|
|
{
|
2012-08-05 20:23:37 +04:00
|
|
|
Context() {}
|
2012-10-10 15:57:15 +04:00
|
|
|
explicit Context(Editor& editor)
|
2012-08-15 19:32:46 +04:00
|
|
|
: m_editor(&editor) {}
|
2012-08-05 22:12:43 +04:00
|
|
|
|
2012-10-17 15:14:03 +04:00
|
|
|
Context(InputHandler& input_handler, Editor& editor, UserInterface& ui)
|
|
|
|
: m_input_handler(&input_handler), m_editor(&editor), m_ui(&ui) {}
|
2012-08-16 00:36:45 +04:00
|
|
|
|
2012-08-05 22:12:43 +04:00
|
|
|
// to allow func(Context(Editor(...)))
|
2012-10-10 15:57:15 +04:00
|
|
|
// make sure the context will not survive the next ';'
|
|
|
|
explicit Context(Editor&& editor)
|
2012-08-15 19:32:46 +04:00
|
|
|
: m_editor(&editor) {}
|
2012-01-16 01:33:35 +04:00
|
|
|
|
2012-09-26 16:27:23 +04:00
|
|
|
Context(const Context&) = delete;
|
2012-10-16 19:15:09 +04:00
|
|
|
Context(Context&&) = default;
|
2012-08-16 00:36:45 +04:00
|
|
|
Context& operator=(const Context&) = delete;
|
|
|
|
|
2012-01-16 01:33:35 +04:00
|
|
|
Buffer& buffer() const
|
|
|
|
{
|
2012-08-05 20:23:37 +04:00
|
|
|
if (not has_buffer())
|
2012-01-16 01:33:35 +04:00
|
|
|
throw runtime_error("no buffer in context");
|
2012-08-15 19:32:46 +04:00
|
|
|
return m_editor->buffer();
|
2012-01-16 01:33:35 +04:00
|
|
|
}
|
2012-10-02 16:18:34 +04:00
|
|
|
bool has_buffer() const { return (bool)m_editor; }
|
2012-01-31 17:38:06 +04:00
|
|
|
|
2012-08-05 20:23:37 +04:00
|
|
|
Editor& editor() const
|
|
|
|
{
|
|
|
|
if (not has_editor())
|
|
|
|
throw runtime_error("no editor in context");
|
|
|
|
return *m_editor.get();
|
|
|
|
}
|
2012-10-02 16:18:34 +04:00
|
|
|
bool has_editor() const { return (bool)m_editor; }
|
2012-08-05 20:23:37 +04:00
|
|
|
|
2012-01-16 01:33:35 +04:00
|
|
|
Window& window() const
|
|
|
|
{
|
2012-08-05 20:23:37 +04:00
|
|
|
if (not has_window())
|
2012-01-16 01:33:35 +04:00
|
|
|
throw runtime_error("no window in context");
|
2012-08-05 20:23:37 +04:00
|
|
|
return *dynamic_cast<Window*>(m_editor.get());
|
2012-01-16 01:33:35 +04:00
|
|
|
}
|
2012-10-02 16:18:34 +04:00
|
|
|
bool has_window() const { return (bool)m_editor and dynamic_cast<Window*>(m_editor.get()); }
|
2012-06-28 16:01:37 +04:00
|
|
|
|
2012-10-17 15:14:03 +04:00
|
|
|
InputHandler& input_handler() const
|
2012-08-16 00:36:45 +04:00
|
|
|
{
|
2012-10-17 15:14:03 +04:00
|
|
|
if (not has_input_handler())
|
|
|
|
throw runtime_error("no input handler in context");
|
|
|
|
return *m_input_handler;
|
2012-08-16 00:36:45 +04:00
|
|
|
}
|
2012-10-17 15:14:03 +04:00
|
|
|
bool has_input_handler() const { return (bool)m_input_handler; }
|
2012-08-16 00:36:45 +04:00
|
|
|
|
2012-09-26 16:13:04 +04:00
|
|
|
UserInterface& ui() const
|
|
|
|
{
|
|
|
|
if (not has_ui())
|
|
|
|
throw runtime_error("no user interface in context");
|
|
|
|
return *m_ui;
|
|
|
|
}
|
2012-10-02 16:18:34 +04:00
|
|
|
bool has_ui() const { return (bool)m_ui; }
|
2012-09-26 16:13:04 +04:00
|
|
|
|
2012-08-16 00:36:45 +04:00
|
|
|
void change_editor(Editor& editor)
|
|
|
|
{
|
|
|
|
m_editor.reset(&editor);
|
2012-11-19 16:37:38 +04:00
|
|
|
if (has_window() && has_ui())
|
|
|
|
window().set_dimensions(ui().dimensions());
|
2012-08-16 00:36:45 +04:00
|
|
|
}
|
|
|
|
|
2012-11-22 16:50:29 +04:00
|
|
|
OptionManager& options() const
|
2012-06-28 16:01:37 +04:00
|
|
|
{
|
2012-08-05 20:23:37 +04:00
|
|
|
if (has_window())
|
2012-11-22 16:50:29 +04:00
|
|
|
return window().options();
|
2012-08-05 20:23:37 +04:00
|
|
|
if (has_buffer())
|
2012-11-22 16:50:29 +04:00
|
|
|
return buffer().options();
|
|
|
|
return GlobalOptions::instance();
|
2012-06-28 16:01:37 +04:00
|
|
|
}
|
|
|
|
|
2012-08-16 00:36:45 +04:00
|
|
|
void print_status(const String& status) const
|
|
|
|
{
|
2012-09-26 16:13:04 +04:00
|
|
|
if (has_ui())
|
|
|
|
ui().print_status(status);
|
2012-08-16 00:36:45 +04:00
|
|
|
}
|
|
|
|
|
2012-09-26 22:07:06 +04:00
|
|
|
using Insertion = std::pair<InsertMode, std::vector<Key>>;
|
|
|
|
Insertion& last_insert() { return m_last_insert; }
|
2012-08-05 18:46:10 +04:00
|
|
|
|
2012-11-12 22:59:25 +04:00
|
|
|
void push_jump()
|
|
|
|
{
|
2012-11-30 21:32:49 +04:00
|
|
|
const Selection& jump = editor().selections().back();
|
2012-11-12 22:59:25 +04:00
|
|
|
if (m_current_jump != m_jump_list.end())
|
|
|
|
{
|
2012-11-12 23:41:03 +04:00
|
|
|
auto begin = m_current_jump;
|
|
|
|
// when jump overlaps with m_current_jump, we replace m_current_jump
|
|
|
|
// instead of pushing after it.
|
|
|
|
if (&begin->first().buffer() != &jump.first().buffer() or
|
|
|
|
not overlaps(*begin, jump))
|
|
|
|
++begin;
|
|
|
|
m_jump_list.erase(begin, m_jump_list.end());
|
2012-11-12 22:59:25 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
m_jump_list.push_back(jump);
|
|
|
|
m_current_jump = m_jump_list.end();
|
|
|
|
}
|
|
|
|
|
2012-11-30 21:32:49 +04:00
|
|
|
Selection jump_forward()
|
2012-11-12 22:59:25 +04:00
|
|
|
{
|
|
|
|
if (m_current_jump != m_jump_list.end() and
|
|
|
|
m_current_jump + 1 != m_jump_list.end())
|
|
|
|
return *++m_current_jump;
|
|
|
|
throw runtime_error("no next jump");
|
|
|
|
}
|
|
|
|
|
2012-11-30 21:32:49 +04:00
|
|
|
Selection jump_backward()
|
2012-11-12 22:59:25 +04:00
|
|
|
{
|
|
|
|
if (m_current_jump != m_jump_list.begin())
|
|
|
|
{
|
|
|
|
if (m_current_jump == m_jump_list.end())
|
|
|
|
{
|
|
|
|
push_jump();
|
|
|
|
--m_current_jump;
|
|
|
|
}
|
|
|
|
return *--m_current_jump;
|
|
|
|
}
|
|
|
|
throw runtime_error("no previous jump");
|
|
|
|
}
|
|
|
|
|
|
|
|
void forget_jumps_to_buffer(Buffer& buffer)
|
|
|
|
{
|
|
|
|
for (auto it = m_jump_list.begin(); it != m_jump_list.end();)
|
|
|
|
{
|
2012-11-12 23:41:03 +04:00
|
|
|
if (&it->first().buffer() == &buffer)
|
2012-11-12 22:59:25 +04:00
|
|
|
{
|
|
|
|
if (it < m_current_jump)
|
|
|
|
--m_current_jump;
|
|
|
|
else if (it == m_current_jump)
|
2012-11-12 23:41:03 +04:00
|
|
|
m_current_jump = m_jump_list.end()-1;
|
2012-11-12 22:59:25 +04:00
|
|
|
|
|
|
|
it = m_jump_list.erase(it);
|
|
|
|
}
|
|
|
|
else
|
|
|
|
++it;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-09-26 22:07:06 +04:00
|
|
|
int& numeric_param() { return m_numeric_param; }
|
|
|
|
private:
|
2012-09-26 16:13:04 +04:00
|
|
|
safe_ptr<Editor> m_editor;
|
2012-10-17 15:14:03 +04:00
|
|
|
safe_ptr<InputHandler> m_input_handler;
|
2012-09-26 16:13:04 +04:00
|
|
|
safe_ptr<UserInterface> m_ui;
|
2012-09-26 22:07:06 +04:00
|
|
|
|
|
|
|
Insertion m_last_insert = {InsertMode::Insert, {}};
|
2012-08-05 18:46:10 +04:00
|
|
|
int m_numeric_param = 0;
|
2012-11-12 22:59:25 +04:00
|
|
|
|
2012-11-30 21:32:49 +04:00
|
|
|
SelectionList m_jump_list;
|
|
|
|
SelectionList::iterator m_current_jump = m_jump_list.begin();
|
2011-11-26 22:32:57 +04:00
|
|
|
};
|
|
|
|
|
|
|
|
}
|
|
|
|
#endif // context_hh_INCLUDED
|