2021-08-07 02:32:33 +08:00
|
|
|
#include <algorithm> // for min
|
2021-05-02 02:40:35 +08:00
|
|
|
#include <functional> // for function
|
2021-12-12 00:58:25 +08:00
|
|
|
#include <memory> // for __shared_ptr_access, make_unique
|
2021-05-02 02:40:35 +08:00
|
|
|
#include <utility> // for move
|
2021-05-15 04:00:49 +08:00
|
|
|
#include <vector> // for vector
|
2021-05-02 02:40:35 +08:00
|
|
|
|
2021-12-12 00:58:25 +08:00
|
|
|
#include "ftxui/dom/elements.hpp" // for Element, Decorator, Elements, operator|, Fit, emptyElement, nothing
|
|
|
|
#include "ftxui/dom/node.hpp" // for Node, Node::Status
|
2021-08-07 02:32:33 +08:00
|
|
|
#include "ftxui/dom/requirement.hpp" // for Requirement
|
2021-12-12 00:58:25 +08:00
|
|
|
#include "ftxui/screen/box.hpp" // for Box
|
2021-08-07 02:32:33 +08:00
|
|
|
#include "ftxui/screen/screen.hpp" // for Full
|
|
|
|
#include "ftxui/screen/terminal.hpp" // for Dimensions
|
2019-01-03 05:33:59 +08:00
|
|
|
|
2019-01-12 22:00:08 +08:00
|
|
|
namespace ftxui {
|
2019-01-03 05:33:59 +08:00
|
|
|
|
2021-07-10 20:23:46 +08:00
|
|
|
namespace {
|
2019-01-03 07:35:59 +08:00
|
|
|
Decorator compose(Decorator a, Decorator b) {
|
2020-03-23 05:32:44 +08:00
|
|
|
return [a = std::move(a), b = std::move(b)](Element element) {
|
2019-01-05 09:03:49 +08:00
|
|
|
return b(a(std::move(element)));
|
2019-01-03 07:35:59 +08:00
|
|
|
};
|
|
|
|
}
|
2021-07-10 20:23:46 +08:00
|
|
|
} // namespace
|
2020-08-16 08:24:50 +08:00
|
|
|
|
|
|
|
/// @brief A decoration doing absolutely nothing.
|
|
|
|
/// @ingroup dom
|
|
|
|
Element nothing(Element element) {
|
|
|
|
return element;
|
|
|
|
}
|
2019-01-03 07:35:59 +08:00
|
|
|
|
2020-08-16 08:24:50 +08:00
|
|
|
/// @brief Compose two decorator into one.
|
|
|
|
/// @ingroup dom
|
|
|
|
///
|
|
|
|
/// ### Example
|
|
|
|
///
|
|
|
|
/// ```cpp
|
|
|
|
/// auto decorator = bold | blink;
|
|
|
|
/// ```
|
2019-01-05 09:03:49 +08:00
|
|
|
Decorator operator|(Decorator a, Decorator b) {
|
|
|
|
return compose(a, b);
|
|
|
|
}
|
|
|
|
|
2020-08-16 08:24:50 +08:00
|
|
|
/// @brief From a set of element, apply a decorator to every elements.
|
|
|
|
/// @return the set of decorated element.
|
|
|
|
/// @ingroup dom
|
|
|
|
Elements operator|(Elements elements, Decorator decorator) {
|
2019-01-27 04:52:55 +08:00
|
|
|
Elements output;
|
2020-08-16 08:24:50 +08:00
|
|
|
for (auto& it : elements)
|
|
|
|
output.push_back(std::move(it) | decorator);
|
2019-01-27 04:52:55 +08:00
|
|
|
return output;
|
|
|
|
}
|
|
|
|
|
2020-08-16 08:24:50 +08:00
|
|
|
/// @brief From an element, apply a decorator.
|
|
|
|
/// @return the decorated element.
|
|
|
|
/// @ingroup dom
|
2020-09-06 19:46:56 +08:00
|
|
|
///
|
2020-08-16 08:24:50 +08:00
|
|
|
/// ### Example
|
|
|
|
///
|
|
|
|
/// Both of these are equivalent:
|
|
|
|
/// ```cpp
|
2021-08-09 05:25:20 +08:00
|
|
|
/// bold(text("Hello"));
|
2020-08-16 08:24:50 +08:00
|
|
|
/// ```
|
|
|
|
/// ```cpp
|
2021-08-09 05:25:20 +08:00
|
|
|
/// text("Hello") | bold;
|
2020-08-16 08:24:50 +08:00
|
|
|
/// ```
|
|
|
|
Element operator|(Element element, Decorator decorator) {
|
|
|
|
return decorator(std::move(element));
|
2019-01-05 09:03:49 +08:00
|
|
|
}
|
|
|
|
|
2021-08-03 05:19:29 +08:00
|
|
|
/// The minimal dimension that will fit the given element.
|
|
|
|
/// @see Fixed
|
|
|
|
/// @see Full
|
|
|
|
Dimensions Dimension::Fit(Element& e) {
|
2021-12-12 00:58:25 +08:00
|
|
|
Dimensions fullsize = Dimension::Full();
|
|
|
|
Box box;
|
|
|
|
box.x_min = 0;
|
|
|
|
box.y_min = 0;
|
|
|
|
box.x_max = fullsize.dimx;
|
|
|
|
box.y_max = fullsize.dimy;
|
|
|
|
|
|
|
|
Node::Status status;
|
|
|
|
e->Check(&status);
|
|
|
|
while (status.need_iteration && status.iteration < 20) {
|
|
|
|
e->ComputeRequirement();
|
|
|
|
|
|
|
|
// Don't give the element more space than it needs:
|
|
|
|
box.x_max = std::min(box.x_max, e->requirement().min_x);
|
|
|
|
box.y_max = std::min(box.y_max, e->requirement().min_y);
|
|
|
|
|
|
|
|
e->SetBox(box);
|
|
|
|
status.need_iteration = false;
|
|
|
|
status.iteration++;
|
|
|
|
e->Check(&status);
|
|
|
|
|
|
|
|
if (!status.need_iteration)
|
|
|
|
break;
|
|
|
|
// Increase the size of the box until it fits, but not more than the with of
|
|
|
|
// the terminal emulator:
|
|
|
|
box.x_max = std::min(e->requirement().min_x, fullsize.dimx);
|
|
|
|
box.y_max = std::min(e->requirement().min_y, fullsize.dimy);
|
|
|
|
}
|
|
|
|
|
|
|
|
return {
|
|
|
|
box.x_max,
|
|
|
|
box.y_max,
|
|
|
|
};
|
2021-08-03 05:19:29 +08:00
|
|
|
}
|
|
|
|
|
2021-10-16 05:04:11 +08:00
|
|
|
/// An element of size 0x0 drawing nothing.
|
|
|
|
/// @ingroup dom
|
|
|
|
Element emptyElement() {
|
|
|
|
class Impl : public Node {
|
|
|
|
void ComputeRequirement() override {
|
|
|
|
requirement_.min_x = 0;
|
|
|
|
requirement_.min_x = 0;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
return std::make_unique<Impl>();
|
|
|
|
}
|
|
|
|
|
2019-01-12 22:00:08 +08:00
|
|
|
} // namespace ftxui
|
2020-08-16 06:24:18 +08:00
|
|
|
|
|
|
|
// Copyright 2020 Arthur Sonzogni. All rights reserved.
|
|
|
|
// Use of this source code is governed by the MIT license that can be found in
|
|
|
|
// the LICENSE file.
|