2011-09-08 02:11:48 +02:00
|
|
|
#include "buffer_manager.hh"
|
|
|
|
|
2011-09-09 21:24:18 +02:00
|
|
|
#include "assert.hh"
|
2011-09-08 02:11:48 +02:00
|
|
|
#include "buffer.hh"
|
2013-03-22 14:26:44 +01:00
|
|
|
#include "client_manager.hh"
|
2013-04-09 20:05:40 +02:00
|
|
|
#include "exception.hh"
|
2013-03-25 19:58:23 +01:00
|
|
|
#include "file.hh"
|
2013-04-09 20:05:40 +02:00
|
|
|
#include "string.hh"
|
2011-09-08 02:11:48 +02:00
|
|
|
|
|
|
|
namespace Kakoune
|
|
|
|
{
|
|
|
|
|
2011-09-09 20:40:59 +02:00
|
|
|
struct name_not_unique : logic_error {};
|
2011-09-08 02:11:48 +02:00
|
|
|
|
2012-06-14 15:15:30 +02:00
|
|
|
BufferManager::~BufferManager()
|
|
|
|
{
|
|
|
|
// delete remaining buffers
|
|
|
|
while (not m_buffers.empty())
|
2012-08-08 19:36:40 +02:00
|
|
|
delete m_buffers.front().get();
|
2012-06-14 15:15:30 +02:00
|
|
|
}
|
|
|
|
|
2012-08-08 19:36:40 +02:00
|
|
|
void BufferManager::register_buffer(Buffer& buffer)
|
2011-09-08 02:11:48 +02:00
|
|
|
{
|
2014-04-19 10:53:37 +02:00
|
|
|
StringView name = buffer.name();
|
2012-08-08 19:36:40 +02:00
|
|
|
for (auto& buf : m_buffers)
|
|
|
|
{
|
|
|
|
if (buf->name() == name)
|
|
|
|
throw name_not_unique();
|
|
|
|
}
|
2011-09-08 02:11:48 +02:00
|
|
|
|
2012-12-28 13:50:02 +01:00
|
|
|
m_buffers.emplace(m_buffers.begin(), &buffer);
|
2011-09-08 02:11:48 +02:00
|
|
|
}
|
|
|
|
|
2012-08-08 19:36:40 +02:00
|
|
|
void BufferManager::unregister_buffer(Buffer& buffer)
|
2013-04-10 18:54:01 +02:00
|
|
|
{
|
|
|
|
for (auto it = m_buffers.begin(); it != m_buffers.end(); ++it)
|
|
|
|
{
|
|
|
|
if (*it == &buffer)
|
|
|
|
{
|
|
|
|
m_buffers.erase(it);
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
2014-08-12 20:24:09 +02:00
|
|
|
for (auto it = m_buffer_trash.begin(); it != m_buffer_trash.end(); ++it)
|
|
|
|
{
|
|
|
|
if (*it == &buffer)
|
|
|
|
{
|
|
|
|
m_buffer_trash.erase(it);
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
2013-04-10 18:54:01 +02:00
|
|
|
kak_assert(false);
|
|
|
|
}
|
|
|
|
|
|
|
|
void BufferManager::delete_buffer(Buffer& buffer)
|
2011-09-08 02:11:48 +02:00
|
|
|
{
|
2012-08-08 19:36:40 +02:00
|
|
|
for (auto it = m_buffers.begin(); it != m_buffers.end(); ++it)
|
2012-03-26 16:21:49 +02:00
|
|
|
{
|
2012-08-08 19:36:40 +02:00
|
|
|
if (*it == &buffer)
|
|
|
|
{
|
2013-03-22 14:26:44 +01:00
|
|
|
if (ClientManager::has_instance())
|
|
|
|
ClientManager::instance().ensure_no_client_uses_buffer(buffer);
|
2014-08-12 20:24:09 +02:00
|
|
|
|
|
|
|
m_buffers.erase(it);
|
|
|
|
m_buffer_trash.emplace_back(&buffer);
|
2012-08-08 19:36:40 +02:00
|
|
|
return;
|
|
|
|
}
|
2012-03-26 16:21:49 +02:00
|
|
|
}
|
2013-04-09 20:04:11 +02:00
|
|
|
kak_assert(false);
|
2011-09-08 02:11:48 +02:00
|
|
|
}
|
|
|
|
|
2014-04-19 10:53:37 +02:00
|
|
|
void BufferManager::delete_buffer_if_exists(StringView name)
|
2013-04-10 18:54:01 +02:00
|
|
|
{
|
|
|
|
if (Buffer* buf = get_buffer_ifp(name))
|
|
|
|
delete_buffer(*buf);
|
|
|
|
}
|
|
|
|
|
2014-04-19 10:53:37 +02:00
|
|
|
Buffer* BufferManager::get_buffer_ifp(StringView name)
|
2011-09-08 02:11:48 +02:00
|
|
|
{
|
2012-08-08 19:36:40 +02:00
|
|
|
for (auto& buf : m_buffers)
|
|
|
|
{
|
2013-03-25 19:58:23 +01:00
|
|
|
if (buf->name() == name or
|
|
|
|
(buf->flags() & Buffer::Flags::File and
|
|
|
|
real_path(buf->name()) == real_path(parse_filename(name))))
|
2012-08-08 19:36:40 +02:00
|
|
|
return buf.get();
|
|
|
|
}
|
|
|
|
return nullptr;
|
2011-09-08 02:11:48 +02:00
|
|
|
}
|
|
|
|
|
2014-04-19 10:53:37 +02:00
|
|
|
Buffer& BufferManager::get_buffer(StringView name)
|
2013-03-21 19:09:31 +01:00
|
|
|
{
|
|
|
|
Buffer* res = get_buffer_ifp(name);
|
|
|
|
if (not res)
|
2014-04-19 10:53:37 +02:00
|
|
|
throw runtime_error("no such buffer '"_str + name + "'");
|
2013-03-21 19:09:31 +01:00
|
|
|
return *res;
|
|
|
|
}
|
|
|
|
|
2012-09-28 14:14:49 +02:00
|
|
|
void BufferManager::set_last_used_buffer(Buffer& buffer)
|
|
|
|
{
|
|
|
|
auto it = m_buffers.begin();
|
|
|
|
while (*it != &buffer and it != m_buffers.end())
|
|
|
|
++it;
|
2013-04-09 20:04:11 +02:00
|
|
|
kak_assert(it != m_buffers.end());
|
2012-09-28 14:14:49 +02:00
|
|
|
m_buffers.erase(it);
|
|
|
|
m_buffers.emplace(m_buffers.begin(), &buffer);
|
|
|
|
}
|
|
|
|
|
2014-10-13 14:38:28 +02:00
|
|
|
void BufferManager::backup_modified_buffers()
|
|
|
|
{
|
|
|
|
for (auto& buf : m_buffers)
|
|
|
|
{
|
|
|
|
if ((buf->flags() & Buffer::Flags::File) and buf->is_modified())
|
|
|
|
write_buffer_to_backup_file(*buf);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-04-18 15:02:14 +02:00
|
|
|
CandidateList BufferManager::complete_buffer_name(StringView prefix,
|
2014-04-07 22:43:23 +02:00
|
|
|
ByteCount cursor_pos)
|
2011-11-12 15:06:49 +01:00
|
|
|
{
|
2014-04-18 15:02:14 +02:00
|
|
|
auto real_prefix = prefix.substr(0, cursor_pos);
|
2013-09-25 19:59:03 +02:00
|
|
|
const bool include_dirs = contains(real_prefix, '/');
|
2011-11-12 15:06:49 +01:00
|
|
|
CandidateList result;
|
2013-09-24 01:54:55 +02:00
|
|
|
CandidateList subsequence_result;
|
2011-11-12 15:06:49 +01:00
|
|
|
for (auto& buffer : m_buffers)
|
|
|
|
{
|
2013-03-25 19:58:23 +01:00
|
|
|
String name = buffer->display_name();
|
2014-07-31 23:43:36 +02:00
|
|
|
StringView match_name = name;
|
2013-09-25 19:59:03 +02:00
|
|
|
if (not include_dirs and buffer->flags() & Buffer::Flags::File)
|
|
|
|
{
|
|
|
|
ByteCount pos = name.find_last_of('/');
|
2013-11-10 23:51:52 +01:00
|
|
|
if (pos != (int)String::npos)
|
2014-08-03 11:00:34 +02:00
|
|
|
match_name = name.substr(pos+1);
|
2013-09-25 19:59:03 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
if (prefix_match(match_name, real_prefix))
|
2014-08-19 00:31:02 +02:00
|
|
|
result.push_back(name);
|
2014-07-31 23:43:36 +02:00
|
|
|
if (subsequence_match(name, real_prefix))
|
2014-08-19 00:31:02 +02:00
|
|
|
subsequence_result.push_back(name);
|
2011-11-12 15:06:49 +01:00
|
|
|
}
|
2013-09-24 01:54:55 +02:00
|
|
|
return result.empty() ? subsequence_result : result;
|
2011-11-12 15:06:49 +01:00
|
|
|
}
|
2011-09-08 02:11:48 +02:00
|
|
|
|
2014-08-12 20:24:09 +02:00
|
|
|
void BufferManager::clear_buffer_trash()
|
|
|
|
{
|
|
|
|
while (not m_buffer_trash.empty())
|
|
|
|
delete m_buffer_trash.back().get();
|
|
|
|
}
|
|
|
|
|
2011-09-08 02:11:48 +02:00
|
|
|
}
|