Class domain_manager

include/covscript/impl/runtime.hpp:32–356

	using stack_pointer = stack_type<domain_type> *;

	class domain_manager {
		const stack_pointer &fiber_stack;
		stack_type<set_t<std::string_view>> m_set;
		stack_type<domain_type> m_data;
		set_t<std::string_view> buildin_symbols;

	public:
		explicit domain_manager(const stack_pointer &fiber_sp) : fiber_stack(fiber_sp)
		{
			m_set.push();
			m_data.push();
		}

		domain_manager(const stack_pointer &fiber_sp, std::size_t size) : fiber_stack(fiber_sp)
		{
			m_set.push();
			m_data.resize(size);
			m_data.push();
		}

		domain_manager(const domain_manager &) = delete;

		~domain_manager() = default;

		void clear_all_data()
		{
			while (!m_set.empty())
				m_set.pop_no_return();
			while (!m_data.empty()) {
				m_data.top().clear();
				m_data.pop_no_return();
			}
		}

		bool is_initial() const
		{
			return m_data.size() == 1;
		}

		void add_set()
		{
			m_set.push();
		}

		void add_domain()
		{
			if (fiber_stack != nullptr)
				fiber_stack->push();
			else
				m_data.push();
		}

		domain_type &get_domain() const
		{
			if (fiber_stack != nullptr)
				return fiber_stack->top();
			else
				return m_data.top();