DisplayTerminal.hh

Go to the documentation of this file.

 
#pragma once
 
#include "Props.hh"
#include "Storage.hh"
#include "DisplayBase.hh"
#include <ostream>
#include <map>
#include <string>
 
typedef uint32_t kunichar;
 
namespace cadabra {
 
 
    class DisplayTerminal : public DisplayBase {
        public:
            DisplayTerminal(const Kernel&, const Ex&, bool use_unicode = true);
 
        protected:
            bool use_unicode;
 
            virtual void dispatch(std::ostream&, Ex::iterator) override;
            virtual bool needs_brackets(Ex::iterator it) override;
 
        private:
            void print_multiplier(std::ostream&, Ex::iterator, int mult=1);
            void print_opening_bracket(std::ostream&, str_node::bracket_t, str_node::parent_rel_t);
            void print_closing_bracket(std::ostream&, str_node::bracket_t, str_node::parent_rel_t);
            void print_parent_rel(std::ostream&, str_node::parent_rel_t, bool first);
            void print_children(std::ostream&, Ex::iterator, int skip=0);
 
            int bracket_level=0;
 
 
            void print_productlike(std::ostream&, Ex::iterator, const std::string& inbetween);
            void print_sumlike(std::ostream&, Ex::iterator);
            void print_fraclike(std::ostream&, Ex::iterator);
            void print_commalike(std::ostream&, Ex::iterator);
            void print_arrowlike(std::ostream&, Ex::iterator);
            void print_dot(std::ostream&, Ex::iterator);
            void print_powlike(std::ostream&, Ex::iterator);
            void print_intlike(std::ostream&, Ex::iterator);
            void print_conditional(std::ostream&, Ex::iterator);
            void print_relation(std::ostream&, Ex::iterator);
            void print_equalitylike(std::ostream&, Ex::iterator);
            void print_commutator(std::ostream& str, Ex::iterator it, bool comm);
            void print_components(std::ostream&, Ex::iterator);
            void print_dots(std::ostream&, Ex::iterator);
            void print_other(std::ostream&, Ex::iterator);
 
            bool children_have_brackets(Ex::iterator ch) const;
 
            std::map<std::string, std::string> symmap;
        };
 
    const char *unichar(kunichar c);
 
    }