2021-03-05 02:35:15 +03:00
|
|
|
// SPDX-FileCopyrightText: 2021 Nheko Contributors
|
|
|
|
//
|
|
|
|
// SPDX-License-Identifier: GPL-3.0-or-later
|
|
|
|
|
2020-09-02 13:32:57 +03:00
|
|
|
#pragma once
|
|
|
|
|
|
|
|
// Class for showing a limited amount of completions at a time
|
|
|
|
|
2020-11-23 07:08:17 +03:00
|
|
|
#include <QAbstractProxyModel>
|
2020-11-20 04:38:08 +03:00
|
|
|
|
2020-11-23 07:08:17 +03:00
|
|
|
template<typename Key, typename Value>
|
|
|
|
struct trie
|
|
|
|
{
|
|
|
|
std::vector<Value> values;
|
|
|
|
std::map<Key, trie> next;
|
|
|
|
|
|
|
|
void insert(const QVector<Key> &keys, const Value &v)
|
|
|
|
{
|
|
|
|
auto t = this;
|
|
|
|
for (const auto k : keys) {
|
|
|
|
t = &t->next[k];
|
|
|
|
}
|
|
|
|
|
|
|
|
t->values.push_back(v);
|
|
|
|
}
|
|
|
|
|
|
|
|
std::vector<Value> valuesAndSubvalues(size_t limit = -1) const
|
|
|
|
{
|
|
|
|
std::vector<Value> ret;
|
|
|
|
if (limit < 200)
|
|
|
|
ret.reserve(limit);
|
|
|
|
|
|
|
|
for (const auto &v : values) {
|
|
|
|
if (ret.size() >= limit)
|
|
|
|
return ret;
|
|
|
|
else
|
|
|
|
ret.push_back(v);
|
|
|
|
}
|
|
|
|
|
|
|
|
for (const auto &[k, t] : next) {
|
|
|
|
(void)k;
|
|
|
|
if (ret.size() >= limit)
|
|
|
|
return ret;
|
|
|
|
else {
|
|
|
|
auto temp = t.valuesAndSubvalues(limit - ret.size());
|
2020-11-24 04:35:38 +03:00
|
|
|
for (auto &&v : temp) {
|
|
|
|
if (ret.size() >= limit)
|
|
|
|
return ret;
|
|
|
|
|
|
|
|
if (std::find(ret.begin(), ret.end(), v) == ret.end()) {
|
|
|
|
ret.push_back(std::move(v));
|
|
|
|
}
|
|
|
|
}
|
2020-11-23 07:08:17 +03:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
2020-11-24 04:56:14 +03:00
|
|
|
std::vector<Value> search(const QVector<Key> &keys, //< TODO(Nico): replace this with a span
|
2021-03-06 21:48:24 +03:00
|
|
|
size_t result_count_limit,
|
|
|
|
size_t max_edit_distance = 2) const
|
2020-11-23 07:08:17 +03:00
|
|
|
{
|
|
|
|
std::vector<Value> ret;
|
2021-03-06 21:48:24 +03:00
|
|
|
if (!result_count_limit)
|
2020-11-24 04:35:38 +03:00
|
|
|
return ret;
|
|
|
|
|
2020-11-24 04:56:14 +03:00
|
|
|
if (keys.isEmpty())
|
2021-03-06 21:48:24 +03:00
|
|
|
return valuesAndSubvalues(result_count_limit);
|
2020-11-24 04:56:14 +03:00
|
|
|
|
2021-03-06 21:48:24 +03:00
|
|
|
auto append = [&ret, result_count_limit](std::vector<Value> &&in) {
|
2020-11-24 04:35:38 +03:00
|
|
|
for (auto &&v : in) {
|
2021-03-06 21:48:24 +03:00
|
|
|
if (ret.size() >= result_count_limit)
|
2020-11-24 04:35:38 +03:00
|
|
|
return;
|
|
|
|
|
|
|
|
if (std::find(ret.begin(), ret.end(), v) == ret.end()) {
|
|
|
|
ret.push_back(std::move(v));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2020-11-24 04:56:14 +03:00
|
|
|
if (auto e = this->next.find(keys[0]); e != this->next.end()) {
|
2021-03-06 21:48:24 +03:00
|
|
|
append(
|
|
|
|
e->second.search(keys.mid(1), result_count_limit, max_edit_distance));
|
2020-11-23 07:08:17 +03:00
|
|
|
}
|
|
|
|
|
2021-03-06 21:48:24 +03:00
|
|
|
if (max_edit_distance && ret.size() < result_count_limit) {
|
|
|
|
max_edit_distance -= 1;
|
2020-11-24 04:35:38 +03:00
|
|
|
|
|
|
|
// swap chars case
|
|
|
|
if (keys.size() >= 2) {
|
|
|
|
auto t = this;
|
|
|
|
for (int i = 1; i >= 0; i--) {
|
|
|
|
if (auto e = t->next.find(keys[i]); e != t->next.end()) {
|
|
|
|
t = &e->second;
|
|
|
|
} else {
|
|
|
|
t = nullptr;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if (t) {
|
2021-03-06 21:48:24 +03:00
|
|
|
append(t->search(keys.mid(2),
|
|
|
|
(result_count_limit - ret.size()) * 2,
|
|
|
|
max_edit_distance));
|
2020-11-24 04:35:38 +03:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// delete character case
|
2021-03-06 21:48:24 +03:00
|
|
|
append(this->search(
|
|
|
|
keys.mid(1), (result_count_limit - ret.size()) * 2, max_edit_distance));
|
2020-11-24 04:35:38 +03:00
|
|
|
|
|
|
|
// substitute and insert cases
|
|
|
|
for (const auto &[k, t] : this->next) {
|
2021-03-06 21:48:24 +03:00
|
|
|
if (k == keys[0] || ret.size() >= result_count_limit)
|
2020-11-24 04:35:38 +03:00
|
|
|
break;
|
|
|
|
|
|
|
|
// substitute
|
2021-03-06 21:48:24 +03:00
|
|
|
append(t.search(
|
|
|
|
keys.mid(1), result_count_limit - ret.size(), max_edit_distance));
|
2020-11-24 04:35:38 +03:00
|
|
|
|
2021-03-06 21:48:24 +03:00
|
|
|
if (ret.size() >= result_count_limit)
|
2020-11-24 04:35:38 +03:00
|
|
|
break;
|
|
|
|
|
|
|
|
// insert
|
2021-03-06 21:48:24 +03:00
|
|
|
append(t.search(
|
|
|
|
keys, result_count_limit - ret.size(), max_edit_distance));
|
2020-11-24 04:35:38 +03:00
|
|
|
}
|
2020-11-23 07:08:17 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
class CompletionProxyModel : public QAbstractProxyModel
|
2020-09-02 13:32:57 +03:00
|
|
|
{
|
2020-11-20 04:38:08 +03:00
|
|
|
Q_OBJECT
|
2021-03-14 03:24:26 +03:00
|
|
|
Q_PROPERTY(
|
|
|
|
QString searchString READ searchString WRITE setSearchString NOTIFY newSearchString)
|
2020-09-02 13:32:57 +03:00
|
|
|
public:
|
2021-03-06 21:48:24 +03:00
|
|
|
CompletionProxyModel(QAbstractItemModel *model,
|
|
|
|
int max_mistakes = 2,
|
|
|
|
QObject *parent = nullptr);
|
2020-11-24 15:40:23 +03:00
|
|
|
|
2020-11-24 17:35:56 +03:00
|
|
|
void invalidate();
|
2020-11-20 06:05:31 +03:00
|
|
|
|
2020-11-24 17:35:56 +03:00
|
|
|
QHash<int, QByteArray> roleNames() const override;
|
|
|
|
int rowCount(const QModelIndex &parent = QModelIndex()) const override;
|
|
|
|
int columnCount(const QModelIndex &) const override;
|
2020-11-20 04:38:08 +03:00
|
|
|
|
2020-11-24 17:35:56 +03:00
|
|
|
QModelIndex mapFromSource(const QModelIndex &sourceIndex) const override;
|
|
|
|
QModelIndex mapToSource(const QModelIndex &proxyIndex) const override;
|
2020-11-20 06:05:31 +03:00
|
|
|
|
2020-11-23 07:08:17 +03:00
|
|
|
QModelIndex index(int row,
|
|
|
|
int column,
|
2020-11-24 17:35:56 +03:00
|
|
|
const QModelIndex &parent = QModelIndex()) const override;
|
|
|
|
QModelIndex parent(const QModelIndex &) const override;
|
2020-11-23 07:08:17 +03:00
|
|
|
|
2020-11-20 04:38:08 +03:00
|
|
|
public slots:
|
2020-11-24 17:35:56 +03:00
|
|
|
QVariant completionAt(int i) const;
|
2020-11-20 06:05:31 +03:00
|
|
|
|
2020-11-24 17:35:56 +03:00
|
|
|
void setSearchString(QString s);
|
2021-03-14 03:24:26 +03:00
|
|
|
QString searchString() const { return searchString_; }
|
2020-11-20 06:05:31 +03:00
|
|
|
|
|
|
|
signals:
|
|
|
|
void newSearchString(QString);
|
|
|
|
|
|
|
|
private:
|
2021-03-14 03:24:26 +03:00
|
|
|
QString searchString_;
|
2020-11-23 07:08:17 +03:00
|
|
|
trie<uint, int> trie_;
|
|
|
|
std::vector<int> mapping;
|
2021-03-06 21:48:24 +03:00
|
|
|
int maxMistakes_;
|
2020-09-02 13:32:57 +03:00
|
|
|
};
|