context-printer.hh

Go to the documentation of this file.

#ifndef VCSN_DYN_CONTEXT_PRINTER_HH
# define VCSN_DYN_CONTEXT_PRINTER_HH

# include <set>
# include <sstream>

# include <vcsn/dyn/context-visitor.hh>

namespace vcsn
{
  namespace ast
  {
    class context_printer : public context_visitor
    {
    public:
      context_printer(std::ostringstream& os)
        : os_(os)
      {}

      void header(const std::string& h);

      void header_algo(const std::string& algo);

      void linkflags(const std::string& h);

      const std::string& linkflags() const;

      std::ostream& print(std::ostream& o);

# define DEFINE(Type)                   \
      virtual void visit(const Type& t)

      DEFINE(automaton);
      DEFINE(context);
      DEFINE(genset);
      DEFINE(letterset);
      DEFINE(nullableset);
      DEFINE(oneset);
      DEFINE(other);
      DEFINE(polynomialset);
      DEFINE(ratexpset);
      DEFINE(tupleset);
      DEFINE(weightset);
      DEFINE(wordset);
# undef DEFINE

    private:

      std::ostringstream& os_;
      std::set<std::string> headers_;
      std::set<std::string> headers_late_;

      std::string linkflags_;
    };
  }
}

#endif // !VCSN_DYN_CONTEXT_PRINTER_HH