visitor.hh

// -*- tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 2 -*-
// vi: set et ts=4 sw=2 sts=2:
 
#ifndef DUNE_TYPETREE_VISITOR_HH
#define DUNE_TYPETREE_VISITOR_HH
 
#include <dune/typetree/treepath.hh>
 
namespace Dune {
  namespace TypeTree {
 
 
    struct DefaultVisitor
    {
 
 
      template<typename T, typename TreePath>
      void pre(T&& t, TreePath treePath) const {}
 
 
      template<typename T, typename TreePath>
      void in(T&& t, TreePath treePath) const {}
 
 
      template<typename T, typename TreePath>
      void post(T&& t, TreePath treePath) const {}
 
 
      template<typename T, typename TreePath>
      void leaf(T&& t, TreePath treePath) const {}
 
 
      template<typename T, typename Child, typename TreePath, typename ChildIndex>
      void beforeChild(T&& t, Child&& child, TreePath treePath, ChildIndex childIndex) const {}
 
 
      template<typename T, typename Child, typename TreePath, typename ChildIndex>
      void afterChild(T&& t, Child&& child, TreePath treePath, ChildIndex childIndex) const {}
 
    };
 
 
 
    struct DefaultPairVisitor
    {
 
 
      template<typename T1, typename T2, typename TreePath>
      void pre(T1&& t1, T2&& t2, TreePath treePath) const {}
 
 
      template<typename T1, typename T2, typename TreePath>
      void in(T1&& t1, T2&& t2, TreePath treePath) const {}
 
 
      template<typename T1, typename T2, typename TreePath>
      void post(T1&& t1, T2&& t2, TreePath treePath) const {}
 
 
      template<typename T1, typename T2, typename TreePath>
      void leaf(T1&& t1, T2&& t2, TreePath treePath) const {}
 
 
      template<typename T1, typename Child1, typename T2, typename Child2, typename TreePath, typename ChildIndex>
      void beforeChild(T1&& t1, Child1&& child1, T2&& t2, Child2&& child2, TreePath treePath, ChildIndex childIndex) const {}
 
 
      template<typename T1, typename Child1, typename T2, typename Child2, typename TreePath, typename ChildIndex>
      void afterChild(T1&& t1, Child1&& child1, T2&& t2, Child2&& child2, TreePath treePath, ChildIndex childIndex) const {}
 
    };
 
 
    struct VisitDirectChildren
    {
 
      // the little trick with the default template arguments
      // makes the class usable for both single-tree visitors
      // and visitors for pairs of trees
      template<typename Node1,
               typename Child1,
               typename Node2,
               typename Child2 = void,
               typename TreePath = void>
      struct VisitChild
      {
        static const bool value = false;
      };
 
    };
 
 
 
    struct VisitTree
    {
 
      // the little trick with the default template arguments
      // makes the class usable for both single-tree visitors
      // and visitors for pairs of trees
      template<typename Node1,
               typename Child1,
               typename Node2,
               typename Child2 = void,
               typename TreePath = void>
      struct VisitChild
      {
        static const bool value = true;
      };
 
    };
 
 
    struct StaticTraversal
    {
      static const TreePathType::Type treePathType = TreePathType::fullyStatic;
    };
 
 
    struct DynamicTraversal
    {
      static const TreePathType::Type treePathType = TreePathType::dynamic;
    };
 
    struct TreeVisitor
      : public DefaultVisitor
      , public VisitTree
    {};
 
    struct DirectChildrenVisitor
      : public DefaultVisitor
      , public VisitDirectChildren
    {};
 
    struct TreePairVisitor
      : public DefaultPairVisitor
      , public VisitTree
    {};
 
    struct DirectChildrenPairVisitor
      : public DefaultPairVisitor
      , public VisitDirectChildren
    {};
 
 
  } // namespace TypeTree
} //namespace Dune
 
#endif // DUNE_TYPETREE_VISITOR_HH