canon.hh

Go to the documentation of this file.

#ifndef CANON_CANON_HH
# define CANON_CANON_HH

#include <tree/fwd.hh>

namespace canon
{

  class Canon : public std::unary_function<tree::rTree, tree::rTree>
  {
  public:
    Canon(bool trace_p = false);

    tree::rStm operator()(const tree::rStm& tree);

  private:
    tree::rTree canon(tree::rTree tree);

    bool commutes_with_all_eseq(const tree::rTree& a,
                                tree::tree_list_type::iterator start,
                                tree::tree_list_type::iterator end);


    /*------------------.
    | Rewriting rules.  |
    `------------------*/

    tree::rStm assemble_stm(const tree::rStm& s1, const tree::rStm& s2);

    tree::rExp assemble_eseq(tree::rStm s, tree::rExp e);

    tree::rSeq operator()(const tree::rSeq& seq);

    tree::rExp operator()(const tree::rEseq& eseq);

    bool valid_call(const tree::rTree& tree, const tree::rTree& call);

    tree::rTree canon_default(const tree::rTree& tree);


    /*-------------.
    | Attributes.  |
    `-------------*/
  private:
    bool trace_p_;
  };
}

#endif // !CANON_CANON_HH