From 0804aa8543136f3e1585e0e59a14f9c331c0c448 Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Sun, 20 Sep 2009 18:47:48 +0200
Subject: Add name processor

Name processor is a separate pass over the semantics graph that assigns
names to various constructs while making sure there are no name clashes.
---
 cli/name-processor.cxx | 154 +++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 154 insertions(+)
 create mode 100644 cli/name-processor.cxx

(limited to 'cli/name-processor.cxx')

diff --git a/cli/name-processor.cxx b/cli/name-processor.cxx
new file mode 100644
index 0000000..abeaae5
--- /dev/null
+++ b/cli/name-processor.cxx
@@ -0,0 +1,154 @@
+// file      : cli/name-processor.cxx
+// author    : Boris Kolpackov <boris@codesynthesis.com>
+// copyright : Copyright (c) 2009 Code Synthesis Tools CC
+// license   : MIT; see accompanying LICENSE file
+
+#include <set>
+#include <sstream>
+
+#include "context.hxx"
+#include "name-processor.hxx"
+
+using namespace std;
+
+namespace
+{
+  typedef set<string> name_set;
+  typedef ::context context_base;
+
+  struct context: context_base
+  {
+    context (context_base& c): context_base (c) {}
+    context (context& c): context_base (c) {}
+
+  public:
+    string
+    find_name (string const& n, string const& suffix, name_set& set)
+    {
+      string name (escape (n + suffix));
+
+      for (size_t i (1); set.find (name) != set.end (); ++i)
+      {
+        ostringstream os;
+        os << i;
+        name = escape (n + os.str () + suffix);
+      }
+
+      set.insert (name);
+      return name;
+    }
+
+    string
+    find_name (string const& n, name_set& set)
+    {
+      return find_name (n, "", set);
+    }
+  };
+
+  struct primary_option: traversal::option, context
+  {
+    primary_option (context& c, name_set& set)
+        : context (c), set_ (set)
+    {
+    }
+
+    virtual void
+    traverse (type& o)
+    {
+      string n (o.name ()), name;
+
+      // Get rid of leading special characters, e.f., -, --, /, etc.
+      //
+      for (size_t i (0); i < n.size (); ++i)
+      {
+        if (isalpha (n[i]) || n[i] == '_')
+        {
+          name.assign (n.c_str (), i, n.size () - i);
+          break;
+        }
+      }
+
+      o.context ().set ("name", find_name (name, set_));
+    }
+
+  private:
+    name_set& set_;
+  };
+
+  struct secondary_option: traversal::option, context
+  {
+    secondary_option (context& c, name_set& set)
+        : context (c), set_ (set)
+    {
+    }
+
+    virtual void
+    traverse (type& o)
+    {
+      semantics::context& oc (o.context ());
+      string const& base (oc.get<string> ("name"));
+      oc.set ("member", find_name (base + "_", set_));
+    }
+
+  private:
+    name_set& set_;
+  };
+
+  struct class_: traversal::class_, context
+  {
+    class_ (context& c) : context (c) {}
+
+    virtual void
+    traverse (type& c)
+    {
+      semantics::context& cc (c.context ());
+
+      cc.set ("member-name-set", name_set ());
+      name_set& member_set (cc.get<name_set> ("member-name-set"));
+
+      member_set.insert (escape (c.name ()));
+
+      // First assign primary names.
+      //
+      {
+        primary_option option (*this, member_set);
+        traversal::names names (option);
+
+        class_::names (c, names);
+      }
+
+      // Then assign secondary names.
+      //
+      {
+        secondary_option option (*this, member_set);
+        traversal::names names (option);
+
+        class_::names (c, names);
+      }
+    }
+  };
+
+  void
+  process_names_ (context_base& c)
+  {
+    context ctx (c);
+
+    traversal::cli_unit unit;
+    traversal::names unit_names;
+    traversal::namespace_ ns;
+    traversal::names ns_names;
+
+    unit >> unit_names >> ns >> ns_names >> ns;
+
+    class_ cl (ctx);
+    ns_names >> cl;
+
+    unit.dispatch (ctx.unit);
+  }
+}
+
+void
+process_names (context_base& c)
+{
+  process_names_ (c);
+}
-- 
cgit v1.1