2020-01-18 11:38:21 +03:00
|
|
|
/*
|
2020-01-24 16:45:29 +03:00
|
|
|
* Copyright (c) 2019-2020, Sergey Bugaev <bugaevc@serenityos.org>
|
2020-01-18 11:38:21 +03:00
|
|
|
*
|
2021-04-22 11:24:48 +03:00
|
|
|
* SPDX-License-Identifier: BSD-2-Clause
|
2020-01-18 11:38:21 +03:00
|
|
|
*/
|
|
|
|
|
2019-09-21 00:47:31 +03:00
|
|
|
#include "ManualModel.h"
|
|
|
|
#include "ManualNode.h"
|
|
|
|
#include "ManualPageNode.h"
|
|
|
|
#include "ManualSectionNode.h"
|
2020-07-04 21:08:34 +03:00
|
|
|
#include <AK/ByteBuffer.h>
|
2021-11-07 02:37:07 +03:00
|
|
|
#include <AK/Try.h>
|
2020-07-04 21:08:34 +03:00
|
|
|
#include <LibCore/File.h>
|
|
|
|
#include <LibGUI/FilteringProxyModel.h>
|
2019-09-21 00:47:31 +03:00
|
|
|
|
|
|
|
static ManualSectionNode s_sections[] = {
|
2021-01-02 18:58:13 +03:00
|
|
|
{ "1", "User programs" },
|
2019-09-29 23:25:29 +03:00
|
|
|
{ "2", "System calls" },
|
2021-10-16 01:05:23 +03:00
|
|
|
{ "3", "Library functions" },
|
2019-09-29 23:25:29 +03:00
|
|
|
{ "4", "Special files" },
|
|
|
|
{ "5", "File formats" },
|
|
|
|
{ "6", "Games" },
|
|
|
|
{ "7", "Miscellanea" },
|
|
|
|
{ "8", "Sysadmin tools" }
|
2019-09-21 00:47:31 +03:00
|
|
|
};
|
|
|
|
|
|
|
|
ManualModel::ManualModel()
|
|
|
|
{
|
2021-11-06 18:25:29 +03:00
|
|
|
m_section_open_icon.set_bitmap_for_size(16, Gfx::Bitmap::try_load_from_file("/res/icons/16x16/book-open.png").release_value_but_fixme_should_propagate_errors());
|
|
|
|
m_section_icon.set_bitmap_for_size(16, Gfx::Bitmap::try_load_from_file("/res/icons/16x16/book.png").release_value_but_fixme_should_propagate_errors());
|
|
|
|
m_page_icon.set_bitmap_for_size(16, Gfx::Bitmap::try_load_from_file("/res/icons/16x16/filetype-unknown.png").release_value_but_fixme_should_propagate_errors());
|
2019-09-21 00:47:31 +03:00
|
|
|
}
|
|
|
|
|
2020-05-05 14:58:31 +03:00
|
|
|
Optional<GUI::ModelIndex> ManualModel::index_from_path(const StringView& path) const
|
|
|
|
{
|
|
|
|
for (int section = 0; section < row_count(); ++section) {
|
|
|
|
auto parent_index = index(section, 0);
|
|
|
|
for (int row = 0; row < row_count(parent_index); ++row) {
|
|
|
|
auto child_index = index(row, 0, parent_index);
|
|
|
|
auto* node = static_cast<const ManualNode*>(child_index.internal_data());
|
|
|
|
if (!node->is_page())
|
|
|
|
continue;
|
|
|
|
auto* page = static_cast<const ManualPageNode*>(node);
|
|
|
|
if (page->path() != path)
|
|
|
|
continue;
|
|
|
|
return child_index;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return {};
|
|
|
|
}
|
|
|
|
|
2020-02-02 17:07:41 +03:00
|
|
|
String ManualModel::page_path(const GUI::ModelIndex& index) const
|
2019-09-21 00:47:31 +03:00
|
|
|
{
|
|
|
|
if (!index.is_valid())
|
|
|
|
return {};
|
|
|
|
auto* node = static_cast<const ManualNode*>(index.internal_data());
|
|
|
|
if (!node->is_page())
|
|
|
|
return {};
|
|
|
|
auto* page = static_cast<const ManualPageNode*>(node);
|
|
|
|
return page->path();
|
|
|
|
}
|
|
|
|
|
2021-11-07 02:37:07 +03:00
|
|
|
ErrorOr<StringView> ManualModel::page_view(String const& path) const
|
2020-07-04 21:08:34 +03:00
|
|
|
{
|
|
|
|
if (path.is_empty())
|
|
|
|
return StringView {};
|
|
|
|
|
2021-01-10 17:55:54 +03:00
|
|
|
{
|
|
|
|
// Check if we've got it cached already.
|
|
|
|
auto mapped_file = m_mapped_files.get(path);
|
|
|
|
if (mapped_file.has_value())
|
|
|
|
return StringView { mapped_file.value()->bytes() };
|
|
|
|
}
|
2020-07-04 21:08:34 +03:00
|
|
|
|
2021-11-07 02:37:07 +03:00
|
|
|
auto file = TRY(MappedFile::map(path));
|
2020-07-04 21:08:34 +03:00
|
|
|
|
2021-11-07 02:37:07 +03:00
|
|
|
StringView view { file->bytes() };
|
|
|
|
m_mapped_files.set(path, move(file));
|
2020-07-04 21:08:34 +03:00
|
|
|
return view;
|
|
|
|
}
|
|
|
|
|
2020-02-02 17:07:41 +03:00
|
|
|
String ManualModel::page_and_section(const GUI::ModelIndex& index) const
|
2019-09-21 00:47:31 +03:00
|
|
|
{
|
|
|
|
if (!index.is_valid())
|
|
|
|
return {};
|
|
|
|
auto* node = static_cast<const ManualNode*>(index.internal_data());
|
|
|
|
if (!node->is_page())
|
|
|
|
return {};
|
|
|
|
auto* page = static_cast<const ManualPageNode*>(node);
|
|
|
|
auto* section = static_cast<const ManualSectionNode*>(page->parent());
|
2020-10-05 19:05:35 +03:00
|
|
|
return String::formatted("{}({})", page->name(), section->section_name());
|
2019-09-21 00:47:31 +03:00
|
|
|
}
|
|
|
|
|
2020-02-02 17:07:41 +03:00
|
|
|
GUI::ModelIndex ManualModel::index(int row, int column, const GUI::ModelIndex& parent_index) const
|
2019-09-21 00:47:31 +03:00
|
|
|
{
|
|
|
|
if (!parent_index.is_valid())
|
|
|
|
return create_index(row, column, &s_sections[row]);
|
|
|
|
auto* parent = static_cast<const ManualNode*>(parent_index.internal_data());
|
|
|
|
auto* child = &parent->children()[row];
|
|
|
|
return create_index(row, column, child);
|
|
|
|
}
|
|
|
|
|
2020-02-02 17:07:41 +03:00
|
|
|
GUI::ModelIndex ManualModel::parent_index(const GUI::ModelIndex& index) const
|
2019-09-21 00:47:31 +03:00
|
|
|
{
|
|
|
|
if (!index.is_valid())
|
|
|
|
return {};
|
|
|
|
auto* child = static_cast<const ManualNode*>(index.internal_data());
|
|
|
|
auto* parent = child->parent();
|
|
|
|
if (parent == nullptr)
|
|
|
|
return {};
|
|
|
|
|
|
|
|
if (parent->parent() == nullptr) {
|
|
|
|
for (size_t row = 0; row < sizeof(s_sections) / sizeof(s_sections[0]); row++)
|
|
|
|
if (&s_sections[row] == parent)
|
|
|
|
return create_index(row, 0, parent);
|
2021-02-23 22:42:32 +03:00
|
|
|
VERIFY_NOT_REACHED();
|
2019-09-21 00:47:31 +03:00
|
|
|
}
|
2020-02-25 16:49:47 +03:00
|
|
|
for (size_t row = 0; row < parent->parent()->children().size(); row++) {
|
2019-09-21 00:47:31 +03:00
|
|
|
ManualNode* child_at_row = &parent->parent()->children()[row];
|
|
|
|
if (child_at_row == parent)
|
|
|
|
return create_index(row, 0, parent);
|
|
|
|
}
|
2021-02-23 22:42:32 +03:00
|
|
|
VERIFY_NOT_REACHED();
|
2019-09-21 00:47:31 +03:00
|
|
|
}
|
|
|
|
|
2020-02-02 17:07:41 +03:00
|
|
|
int ManualModel::row_count(const GUI::ModelIndex& index) const
|
2019-09-21 00:47:31 +03:00
|
|
|
{
|
|
|
|
if (!index.is_valid())
|
|
|
|
return sizeof(s_sections) / sizeof(s_sections[0]);
|
|
|
|
auto* node = static_cast<const ManualNode*>(index.internal_data());
|
|
|
|
return node->children().size();
|
|
|
|
}
|
|
|
|
|
2020-02-02 17:07:41 +03:00
|
|
|
int ManualModel::column_count(const GUI::ModelIndex&) const
|
2019-09-21 00:47:31 +03:00
|
|
|
{
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
2020-08-16 17:00:07 +03:00
|
|
|
GUI::Variant ManualModel::data(const GUI::ModelIndex& index, GUI::ModelRole role) const
|
2019-09-21 00:47:31 +03:00
|
|
|
{
|
|
|
|
auto* node = static_cast<const ManualNode*>(index.internal_data());
|
|
|
|
switch (role) {
|
2020-08-16 17:00:07 +03:00
|
|
|
case GUI::ModelRole::Search:
|
2020-07-04 21:08:34 +03:00
|
|
|
if (!node->is_page())
|
|
|
|
return {};
|
|
|
|
return String(page_view(page_path(index)).value());
|
2020-08-16 17:00:07 +03:00
|
|
|
case GUI::ModelRole::Display:
|
2019-09-21 00:47:31 +03:00
|
|
|
return node->name();
|
2020-08-16 17:00:07 +03:00
|
|
|
case GUI::ModelRole::Icon:
|
2019-09-21 00:47:31 +03:00
|
|
|
if (node->is_page())
|
|
|
|
return m_page_icon;
|
2020-07-07 14:19:30 +03:00
|
|
|
if (node->is_open())
|
|
|
|
return m_section_open_icon;
|
2019-09-21 00:47:31 +03:00
|
|
|
return m_section_icon;
|
|
|
|
default:
|
|
|
|
return {};
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-07-07 14:19:30 +03:00
|
|
|
void ManualModel::update_section_node_on_toggle(const GUI::ModelIndex& index, const bool open)
|
|
|
|
{
|
|
|
|
auto* node = static_cast<ManualSectionNode*>(index.internal_data());
|
|
|
|
node->set_open(open);
|
|
|
|
}
|
|
|
|
|
2021-02-16 22:08:15 +03:00
|
|
|
TriState ManualModel::data_matches(const GUI::ModelIndex& index, const GUI::Variant& term) const
|
2020-07-04 21:08:34 +03:00
|
|
|
{
|
|
|
|
auto view_result = page_view(page_path(index));
|
|
|
|
if (view_result.is_error() || view_result.value().is_empty())
|
|
|
|
return TriState::False;
|
|
|
|
|
|
|
|
return view_result.value().contains(term.as_string()) ? TriState::True : TriState::False;
|
|
|
|
}
|