2011-11-26 22:32:57 +04:00
|
|
|
#ifndef context_hh_INCLUDED
|
|
|
|
#define context_hh_INCLUDED
|
|
|
|
|
2013-04-09 21:39:03 +04:00
|
|
|
#include "dynamic_selection_list.hh"
|
2012-02-14 01:32:54 +04:00
|
|
|
|
2011-11-26 22:32:57 +04:00
|
|
|
namespace Kakoune
|
|
|
|
{
|
|
|
|
|
2013-04-09 21:39:03 +04:00
|
|
|
class Editor;
|
|
|
|
class Window;
|
|
|
|
class Buffer;
|
2013-09-13 01:47:23 +04:00
|
|
|
class Client;
|
2013-11-14 22:09:15 +04:00
|
|
|
class InputHandler;
|
2013-04-09 21:39:03 +04:00
|
|
|
class UserInterface;
|
|
|
|
class DisplayLine;
|
2013-10-25 03:01:17 +04:00
|
|
|
class KeymapManager;
|
2013-01-28 16:48:34 +04:00
|
|
|
|
2012-10-10 15:57:15 +04:00
|
|
|
// A Context is used to access non singleton objects for various services
|
|
|
|
// in commands.
|
|
|
|
//
|
2013-09-13 01:47:23 +04:00
|
|
|
// The Context object links an Client, 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.
|
2013-11-11 23:10:49 +04:00
|
|
|
class Context
|
2011-11-26 22:32:57 +04:00
|
|
|
{
|
2013-11-11 23:10:49 +04:00
|
|
|
public:
|
2013-04-09 21:39:03 +04:00
|
|
|
Context();
|
2013-11-15 00:51:25 +04:00
|
|
|
Context(InputHandler& input_handler, Editor& editor, String name = "");
|
2013-04-09 21:39:03 +04:00
|
|
|
~Context();
|
2012-01-16 01:33:35 +04:00
|
|
|
|
2012-09-26 16:27:23 +04:00
|
|
|
Context(const Context&) = delete;
|
2012-08-16 00:36:45 +04:00
|
|
|
Context& operator=(const Context&) = delete;
|
|
|
|
|
2013-04-09 21:39:03 +04:00
|
|
|
Buffer& buffer() const;
|
2012-10-02 16:18:34 +04:00
|
|
|
bool has_buffer() const { return (bool)m_editor; }
|
2012-01-31 17:38:06 +04:00
|
|
|
|
2013-04-09 21:39:03 +04:00
|
|
|
Editor& editor() const;
|
2012-10-02 16:18:34 +04:00
|
|
|
bool has_editor() const { return (bool)m_editor; }
|
2012-08-05 20:23:37 +04:00
|
|
|
|
2013-04-09 21:39:03 +04:00
|
|
|
Window& window() const;
|
|
|
|
bool has_window() const;
|
|
|
|
|
2013-09-13 01:47:23 +04:00
|
|
|
Client& client() const;
|
|
|
|
bool has_client() const { return (bool)m_client; }
|
2012-08-16 00:36:45 +04:00
|
|
|
|
2013-11-14 22:09:15 +04:00
|
|
|
InputHandler& input_handler() const;
|
|
|
|
bool has_input_handler() const { return (bool)m_input_handler; }
|
|
|
|
|
2013-04-09 21:39:03 +04:00
|
|
|
UserInterface& ui() const;
|
2013-11-14 22:09:15 +04:00
|
|
|
bool has_ui() const { return has_client(); }
|
2012-09-26 16:13:04 +04:00
|
|
|
|
2013-04-09 21:39:03 +04:00
|
|
|
void change_editor(Editor& editor);
|
|
|
|
|
2013-11-14 22:09:15 +04:00
|
|
|
void set_client(Client& client);
|
|
|
|
|
2013-04-09 21:39:03 +04:00
|
|
|
OptionManager& options() const;
|
|
|
|
HookManager& hooks() const;
|
2013-10-25 03:01:17 +04:00
|
|
|
KeymapManager& keymaps() const;
|
2013-04-09 21:39:03 +04:00
|
|
|
|
2013-09-16 22:15:13 +04:00
|
|
|
void print_status(DisplayLine status) const;
|
2013-04-09 21:39:03 +04:00
|
|
|
|
|
|
|
void push_jump();
|
2013-05-27 21:23:59 +04:00
|
|
|
const DynamicSelectionList& jump_forward();
|
|
|
|
const DynamicSelectionList& jump_backward();
|
2013-04-09 21:39:03 +04:00
|
|
|
void forget_jumps_to_buffer(Buffer& buffer);
|
2012-11-12 22:59:25 +04:00
|
|
|
|
2013-11-15 00:51:25 +04:00
|
|
|
const String& name() const { return m_name; }
|
|
|
|
void set_name(String name) { m_name = std::move(name); }
|
|
|
|
|
2012-09-26 22:07:06 +04:00
|
|
|
private:
|
2013-11-14 22:09:15 +04:00
|
|
|
safe_ptr<Editor> m_editor;
|
|
|
|
safe_ptr<InputHandler> m_input_handler;
|
|
|
|
safe_ptr<Client> m_client;
|
2012-09-26 22:07:06 +04:00
|
|
|
|
2013-11-15 00:51:25 +04:00
|
|
|
String m_name;
|
|
|
|
|
2012-12-11 22:51:59 +04:00
|
|
|
using JumpList = std::vector<DynamicSelectionList>;
|
|
|
|
JumpList m_jump_list;
|
|
|
|
JumpList::iterator m_current_jump = m_jump_list.begin();
|
2011-11-26 22:32:57 +04:00
|
|
|
};
|
|
|
|
|
|
|
|
}
|
|
|
|
#endif // context_hh_INCLUDED
|