Implement option documentation support in frontend

2 files changed, 76 insertions, 0 deletions

diff --git a/cli/parser.cxx b/cli/parser.cxx
index 55c609a..639ddf4 100644
--- a/cli/parser.cxx
+++ b/cli/parser.cxx
@@ -532,6 +532,51 @@ option_def (token& t)
     unit_->new_edge<initialized> (*o, e);
   }
 
+  if (t.punctuation () == token::p_lcbrace)
+  {
+    // doc-string-seq
+    //
+    for (t = lexer_->next ();; t = lexer_->next ())
+    {
+      if (t.type () != token::t_string_lit)
+      {
+        cerr << *path_ << ':' << t.line () << ':' << t.column () << ": error: "
+             << "expected documentation string instead of " << t << endl;
+        throw error ();
+      }
+
+      if (valid_)
+      {
+        // Get rid of '"'.
+        //
+        string r;
+        string const& l (t.literal ());
+
+        for (size_t i (0), n (l.size ()); i < n; ++i)
+        {
+          if (l[i] != '"' || (i != 0 && l[i - 1] == '\\'))
+            r += l[i];
+        }
+
+        o->doc ().push_back (r);
+      }
+
+      t = lexer_->next ();
+
+      if (t.punctuation () != token::p_comma)
+        break;
+    }
+
+    if (t.punctuation () != token::p_rcbrace)
+    {
+      cerr << *path_ << ':' << t.line () << ':' << t.column () << ": error: "
+           << "expected '}' instead of " << t << endl;
+      throw error ();
+    }
+
+    t = lexer_->next ();
+  }
+
   if (t.punctuation () != token::p_semi)
   {
     cerr << *path_ << ':' << t.line () << ':' << t.column () << ": error: "
diff --git a/cli/semantics/option.hxx b/cli/semantics/option.hxx
index d5437e1..a4f34d0 100644
--- a/cli/semantics/option.hxx
+++ b/cli/semantics/option.hxx
@@ -6,6 +6,8 @@
 #ifndef CLI_SEMANTICS_OPTION_HXX
 #define CLI_SEMANTICS_OPTION_HXX
 
+#include <vector>
+
 #include <semantics/elements.hxx>
 
 namespace semantics
@@ -136,6 +138,34 @@ namespace semantics
     }
 
   public:
+    typedef std::vector<string> doc_list;
+    typedef doc_list::const_iterator doc_iterator;
+
+    doc_iterator
+    doc_begin () const
+    {
+      return doc_.begin ();
+    }
+
+    doc_iterator
+    doc_end () const
+    {
+      return doc_.end ();
+    }
+
+    doc_list const&
+    doc () const
+    {
+      return doc_;
+    }
+
+    doc_list&
+    doc ()
+    {
+      return doc_;
+    }
+
+  public:
     option (path const& file, size_t line, size_t column)
         : node (file, line, column), initialized_ (0)
     {
@@ -156,6 +186,7 @@ namespace semantics
   private:
     belongs_type* belongs_;
     initialized_type* initialized_;
+    doc_list doc_;
   };
 }