2011-11-26 22:32:57 +04:00
|
|
|
#ifndef context_hh_INCLUDED
|
|
|
|
#define context_hh_INCLUDED
|
|
|
|
|
2014-05-14 03:59:36 +04:00
|
|
|
#include "selection.hh"
|
2014-06-27 22:34:26 +04:00
|
|
|
#include "optional.hh"
|
2014-12-19 02:12:58 +03:00
|
|
|
#include "flags.hh"
|
2013-12-21 00:10:08 +04:00
|
|
|
|
2011-11-26 22:32:57 +04:00
|
|
|
namespace Kakoune
|
|
|
|
{
|
|
|
|
|
2013-04-09 21:39:03 +04:00
|
|
|
class Window;
|
|
|
|
class Buffer;
|
2013-09-13 01:47:23 +04:00
|
|
|
class Client;
|
2014-10-30 17:00:42 +03:00
|
|
|
class Scope;
|
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;
|
2014-10-30 02:22:54 +03:00
|
|
|
class AliasRegistry;
|
2013-01-28 16:48:34 +04:00
|
|
|
|
2015-08-19 01:16:53 +03:00
|
|
|
// bool that can be set (to true) multiple times, and will
|
|
|
|
// be false only when unset the same time;
|
|
|
|
struct NestedBool
|
2014-12-05 16:47:09 +03:00
|
|
|
{
|
2015-08-19 01:16:53 +03:00
|
|
|
void set() { m_count++; }
|
|
|
|
void unset() { kak_assert(m_count > 0); m_count--; }
|
|
|
|
|
2015-08-19 23:20:34 +03:00
|
|
|
operator bool() const { return m_count > 0; }
|
2014-12-05 16:47:09 +03:00
|
|
|
private:
|
2015-08-19 01:16:53 +03:00
|
|
|
int m_count = 0;
|
2014-12-05 16:47:09 +03:00
|
|
|
};
|
|
|
|
|
2015-08-19 01:16:53 +03:00
|
|
|
struct ScopedSetBool
|
2014-12-05 17:01:07 +03:00
|
|
|
{
|
2015-08-19 01:16:53 +03:00
|
|
|
ScopedSetBool(NestedBool& nested_bool, bool condition = true)
|
|
|
|
: m_nested_bool(nested_bool), m_condition(condition)
|
2014-12-05 17:01:07 +03:00
|
|
|
{
|
|
|
|
if (m_condition)
|
2015-08-19 01:16:53 +03:00
|
|
|
m_nested_bool.set();
|
2014-12-05 17:01:07 +03:00
|
|
|
}
|
|
|
|
|
2015-08-19 01:16:53 +03:00
|
|
|
~ScopedSetBool()
|
2014-12-05 17:01:07 +03:00
|
|
|
{
|
|
|
|
if (m_condition)
|
2015-08-19 01:16:53 +03:00
|
|
|
m_nested_bool.unset();
|
2014-12-05 17:01:07 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
2015-08-19 01:16:53 +03:00
|
|
|
NestedBool& m_nested_bool;
|
2014-12-05 17:01:07 +03:00
|
|
|
bool m_condition;
|
|
|
|
};
|
|
|
|
|
2015-12-23 04:56:54 +03:00
|
|
|
struct JumpList
|
|
|
|
{
|
|
|
|
void push(SelectionList jump);
|
|
|
|
const SelectionList& forward();
|
|
|
|
const SelectionList& backward(const SelectionList& current);
|
|
|
|
void forget_buffer(Buffer& buffer);
|
|
|
|
|
2015-12-23 05:46:13 +03:00
|
|
|
friend bool operator==(const JumpList& lhs, const JumpList& rhs)
|
|
|
|
{
|
|
|
|
return lhs.m_jumps == rhs.m_jumps and lhs.m_current == rhs.m_current;
|
|
|
|
}
|
|
|
|
|
|
|
|
friend bool operator!=(const JumpList& lhs, const JumpList& rhs) { return not (lhs == rhs); }
|
|
|
|
|
2015-12-23 04:56:54 +03:00
|
|
|
private:
|
|
|
|
using Contents = Vector<SelectionList, MemoryDomain::Selections>;
|
2016-10-11 01:20:05 +03:00
|
|
|
Contents m_jumps;
|
2015-12-23 05:31:03 +03:00
|
|
|
size_t m_current = 0;
|
2015-12-23 04:56:54 +03:00
|
|
|
};
|
|
|
|
|
2016-10-11 02:20:36 +03:00
|
|
|
using LastSelectFunc = std::function<void (Context&)>;
|
|
|
|
|
2012-10-10 15:57:15 +04:00
|
|
|
// A Context is used to access non singleton objects for various services
|
|
|
|
// in commands.
|
|
|
|
//
|
2014-03-20 12:10:31 +04:00
|
|
|
// The Context object links a Client, a Window, an InputHandler and a
|
|
|
|
// SelectionList. It may represent an interactive user window, a hook
|
|
|
|
// execution or a macro replay context.
|
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:
|
2014-12-19 02:12:58 +03:00
|
|
|
enum class Flags
|
|
|
|
{
|
|
|
|
None = 0,
|
|
|
|
Transient = 1,
|
|
|
|
};
|
|
|
|
|
2014-05-13 02:25:15 +04:00
|
|
|
Context(InputHandler& input_handler, SelectionList selections,
|
2014-12-19 02:12:58 +03:00
|
|
|
Flags flags, String name = "");
|
2015-04-19 20:47:52 +03:00
|
|
|
|
|
|
|
struct EmptyContextFlag {};
|
|
|
|
explicit Context(EmptyContextFlag);
|
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;
|
2014-06-27 22:34:26 +04:00
|
|
|
bool has_buffer() const { return (bool)m_selections; }
|
2012-08-05 20:23:37 +04:00
|
|
|
|
2013-04-09 21:39:03 +04:00
|
|
|
Window& window() const;
|
2013-12-21 00:10:08 +04:00
|
|
|
bool has_window() const { return (bool)m_window; }
|
2013-04-09 21:39:03 +04:00
|
|
|
|
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-12-15 18:25:23 +04:00
|
|
|
SelectionList& selections();
|
|
|
|
const SelectionList& selections() const;
|
2015-01-12 16:58:41 +03:00
|
|
|
Vector<String> selections_content() const;
|
2013-12-15 18:25:23 +04:00
|
|
|
|
2015-04-19 17:12:16 +03:00
|
|
|
// Return potentially out of date selections
|
|
|
|
SelectionList& selections_write_only();
|
|
|
|
|
2013-12-21 00:10:08 +04:00
|
|
|
void change_buffer(Buffer& buffer);
|
2013-04-09 21:39:03 +04:00
|
|
|
|
2013-11-14 22:09:15 +04:00
|
|
|
void set_client(Client& client);
|
2013-12-21 00:10:08 +04:00
|
|
|
void set_window(Window& window);
|
2013-11-14 22:09:15 +04:00
|
|
|
|
2014-10-30 17:00:42 +03:00
|
|
|
Scope& scope() const;
|
|
|
|
|
2015-07-13 15:43:52 +03:00
|
|
|
OptionManager& options() const { return scope().options(); }
|
|
|
|
HookManager& hooks() const { return scope().hooks(); }
|
|
|
|
KeymapManager& keymaps() const { return scope().keymaps(); }
|
|
|
|
AliasRegistry& aliases() const { return scope().aliases(); }
|
2013-04-09 21:39:03 +04:00
|
|
|
|
2016-10-29 13:25:58 +03:00
|
|
|
void print_status(DisplayLine status, bool immediate = false) const;
|
2013-04-09 21:39:03 +04:00
|
|
|
|
2014-06-21 14:31:08 +04:00
|
|
|
StringView main_sel_register_value(StringView reg) const;
|
|
|
|
|
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); }
|
|
|
|
|
2013-12-15 22:07:51 +04:00
|
|
|
bool is_editing() const { return m_edition_level!= 0; }
|
2014-01-07 00:07:08 +04:00
|
|
|
void disable_undo_handling() { m_edition_level = -1; }
|
2014-07-24 22:18:39 +04:00
|
|
|
|
2016-09-27 01:43:05 +03:00
|
|
|
NestedBool& hooks_disabled() { return m_hooks_disabled; }
|
|
|
|
const NestedBool& hooks_disabled() const { return m_hooks_disabled; }
|
2014-07-27 23:18:09 +04:00
|
|
|
|
2015-08-19 01:16:53 +03:00
|
|
|
NestedBool& keymaps_disabled() { return m_keymaps_disabled; }
|
|
|
|
const NestedBool& keymaps_disabled() const { return m_keymaps_disabled; }
|
2014-07-27 23:18:09 +04:00
|
|
|
|
2015-08-19 01:16:53 +03:00
|
|
|
NestedBool& history_disabled() { return m_history_disabled; }
|
|
|
|
const NestedBool& history_disabled() const { return m_history_disabled; }
|
2014-12-05 17:01:07 +03:00
|
|
|
|
2014-12-19 02:12:58 +03:00
|
|
|
Flags flags() const { return m_flags; }
|
|
|
|
|
2015-12-23 04:56:54 +03:00
|
|
|
JumpList& jump_list() { return m_jump_list; }
|
|
|
|
void push_jump() { m_jump_list.push(selections()); }
|
|
|
|
|
2016-10-11 02:20:36 +03:00
|
|
|
template<typename Func>
|
|
|
|
void set_last_select(Func&& last_select) { m_last_select = std::forward<Func>(last_select); }
|
|
|
|
|
|
|
|
void repeat_last_select() { if (m_last_select) m_last_select(*this); }
|
|
|
|
|
2012-09-26 22:07:06 +04:00
|
|
|
private:
|
2013-12-15 22:07:51 +04:00
|
|
|
void begin_edition();
|
|
|
|
void end_edition();
|
|
|
|
int m_edition_level = 0;
|
|
|
|
|
|
|
|
friend struct ScopedEdition;
|
|
|
|
|
2014-12-19 02:12:58 +03:00
|
|
|
Flags m_flags;
|
|
|
|
|
2015-02-19 16:58:25 +03:00
|
|
|
SafePtr<InputHandler> m_input_handler;
|
|
|
|
SafePtr<Window> m_window;
|
|
|
|
SafePtr<Client> m_client;
|
2012-09-26 22:07:06 +04:00
|
|
|
|
2014-06-27 22:34:26 +04:00
|
|
|
Optional<SelectionList> m_selections;
|
2013-12-21 00:10:08 +04:00
|
|
|
|
2013-11-15 00:51:25 +04:00
|
|
|
String m_name;
|
|
|
|
|
2015-12-23 04:56:54 +03:00
|
|
|
JumpList m_jump_list;
|
2014-07-24 22:18:39 +04:00
|
|
|
|
2016-10-11 02:20:36 +03:00
|
|
|
LastSelectFunc m_last_select;
|
|
|
|
|
2016-09-27 01:43:05 +03:00
|
|
|
NestedBool m_hooks_disabled;
|
2015-08-19 01:16:53 +03:00
|
|
|
NestedBool m_keymaps_disabled;
|
|
|
|
NestedBool m_history_disabled;
|
2011-11-26 22:32:57 +04:00
|
|
|
};
|
|
|
|
|
2017-03-15 20:55:34 +03:00
|
|
|
constexpr bool with_bit_ops(Meta::Type<Context::Flags>) { return true; }
|
2014-12-19 02:12:58 +03:00
|
|
|
|
2013-12-15 22:07:51 +04:00
|
|
|
struct ScopedEdition
|
|
|
|
{
|
|
|
|
ScopedEdition(Context& context)
|
2014-10-10 17:00:24 +04:00
|
|
|
: m_context(context), m_buffer(&context.buffer())
|
2013-12-15 22:07:51 +04:00
|
|
|
{ m_context.begin_edition(); }
|
|
|
|
|
2014-11-21 21:56:39 +03:00
|
|
|
~ScopedEdition() { m_context.end_edition(); }
|
2013-12-15 22:07:51 +04:00
|
|
|
|
|
|
|
Context& context() const { return m_context; }
|
|
|
|
private:
|
|
|
|
Context& m_context;
|
2015-02-19 16:58:25 +03:00
|
|
|
SafePtr<Buffer> m_buffer;
|
2013-12-15 22:07:51 +04:00
|
|
|
};
|
|
|
|
|
2011-11-26 22:32:57 +04:00
|
|
|
}
|
|
|
|
#endif // context_hh_INCLUDED
|