Implement semantic graph traversal mechanism

1 files changed, 132 insertions, 0 deletions

diff --git a/odb/traversal/derived.hxx b/odb/traversal/derived.hxx
new file mode 100644
index 0000000..5af31af
--- /dev/null
+++ b/odb/traversal/derived.hxx
@@ -0,0 +1,132 @@
+// file      : odb/traversal/derived.hxx
+// author    : Boris Kolpackov <boris@codesynthesis.com>
+// copyright : Copyright (c) 2009-2010 Code Synthesis Tools CC
+// license   : GNU GPL v2; see accompanying LICENSE file
+
+#ifndef ODB_TRAVERSAL_DERIVED_HXX
+#define ODB_TRAVERSAL_DERIVED_HXX
+
+#include <traversal/elements.hxx>
+#include <semantics/derived.hxx>
+
+namespace traversal
+{
+  //
+  // Edges.
+  //
+  struct qualifies: edge<semantics::qualifies>
+  {
+    qualifies ()
+    {
+    }
+
+    qualifies (node_dispatcher& n)
+    {
+      node_traverser (n);
+    }
+
+    virtual void
+    traverse (type&);
+  };
+
+  struct points: edge<semantics::points>
+  {
+    points ()
+    {
+    }
+
+    points (node_dispatcher& n)
+    {
+      node_traverser (n);
+    }
+
+    virtual void
+    traverse (type&);
+  };
+
+  struct references: edge<semantics::references>
+  {
+    references ()
+    {
+    }
+
+    references (node_dispatcher& n)
+    {
+      node_traverser (n);
+    }
+
+    virtual void
+    traverse (type&);
+  };
+
+  struct contains: edge<semantics::contains>
+  {
+    contains ()
+    {
+    }
+
+    contains (node_dispatcher& n)
+    {
+      node_traverser (n);
+    }
+
+    virtual void
+    traverse (type&);
+  };
+
+
+  //
+  // Nodes.
+  //
+  struct derived_type: node<semantics::derived_type> {};
+
+  struct qualifier: node<semantics::qualifier>
+  {
+    virtual void
+    traverse (type&);
+
+    virtual void
+    qualifies (type&);
+
+    virtual void
+    qualifies (type&, edge_dispatcher&);
+  };
+
+  struct pointer: node<semantics::pointer>
+  {
+    virtual void
+    traverse (type&);
+
+    virtual void
+    points (type&);
+
+    virtual void
+    points (type&, edge_dispatcher&);
+  };
+
+  struct reference: node<semantics::reference>
+  {
+    virtual void
+    traverse (type&);
+
+    virtual void
+    references (type&);
+
+    virtual void
+    references (type&, edge_dispatcher&);
+  };
+
+  struct array: node<semantics::array>
+  {
+    virtual void
+    traverse (type&);
+
+    virtual void
+    contains (type&);
+
+    virtual void
+    contains (type&, edge_dispatcher&);
+  };
+}
+
+#endif // ODB_TRAVERSAL_DERIVED_HXX