Switch name Producer/Consumer -> Sender/Receiver

The producer/consumer was created for:
https://github.com/ArthurSonzogni/FTXUI/pull/11

This patch makes rename everything from Producer/Consumer toward
Sender/Receiver.
This commit is contained in:
ArthurSonzogni
2020-03-25 00:07:41 +01:00
parent 09a1b16613
commit 0a7b556a12
7 changed files with 128 additions and 126 deletions

View File

@@ -3,6 +3,7 @@
#include <atomic>
#include <condition_variable>
#include <ftxui/component/receiver.hpp>
#include <functional>
#include <memory>
#include <mutex>
@@ -10,7 +11,6 @@
#include "ftxui/component/event.hpp"
#include "ftxui/screen/screen.hpp"
#include <ftxui/component/producer_consumer.hpp>
namespace ftxui {
class Component;
@@ -41,13 +41,13 @@ class ScreenInteractive : public Screen {
Dimension dimension_ = Dimension::Fixed;
ScreenInteractive(int dimx, int dimy, Dimension dimension);
Producer<Event> event_producer_;
Consumer<Event> event_consumer_;
Sender<Event> event_sender_;
Receiver<Event> event_receiver_;
std::string set_cursor_position;
std::string reset_cursor_position;
std::atomic<bool>quit_ = false;
std::atomic<bool> quit_ = false;
};
} // namespace ftxui