From 39031822cf3f9faab7b5b9e6cbce46a5194503b1 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Sun, 31 Oct 2010 15:26:19 +0000
Subject: enable dependence graphs in doxygen; fix lots of doxygen warnings,
 fix some documentation, and make it possible to "make doc" on a clean source
 tree (post-configure)

---
 src/expr/declaration_scope.h | 22 ++++++++++++----------
 1 file changed, 12 insertions(+), 10 deletions(-)

(limited to 'src/expr/declaration_scope.h')

diff --git a/src/expr/declaration_scope.h b/src/expr/declaration_scope.h
index 76d85bcd7..65574b6c9 100644
--- a/src/expr/declaration_scope.h
+++ b/src/expr/declaration_scope.h
@@ -67,10 +67,10 @@ public:
 
   /**
    * Bind an expression to a name in the current scope level.  If
-   * <code>name</code> is already bound in the current level, then the
-   * binding is replaced. If <code>name</code> is bound in a previous
-   * level, then the binding is "covered" by this one until the
-   * current scope is popped.
+   * <code>name</code> is already bound to an expression in the current
+   * level, then the binding is replaced. If <code>name</code> is bound
+   * in a previous level, then the binding is "covered" by this one
+   * until the current scope is popped.
    *
    * @param name an identifier
    * @param obj the expression to bind to <code>name</code>
@@ -78,14 +78,15 @@ public:
   void bind(const std::string& name, Expr obj) throw();
 
   /**
-   * Bind a type to a name in the current scope.  If <code>name</code>
-   * is already bound to a type in the current level, then the binding
-   * is replaced. If <code>name</code> is bound in a previous level,
-   * then the binding is "covered" by this one until the current scope
-   * is popped.
+   * Bind a function body to a name in the current scope.  If
+   * <code>name</code> is already bound to an expression in the current
+   * level, then the binding is replaced. If <code>name</code> is bound
+   * in a previous level, then the binding is "covered" by this one
+   * until the current scope is popped.  Same as bind() but registers
+   * this as a function (so that isBoundDefinedFunction() returns true).
    *
    * @param name an identifier
-   * @param t the type to bind to <code>name</code>
+   * @param obj the expression to bind to <code>name</code>
    */
   void bindDefinedFunction(const std::string& name, Expr obj) throw();
 
@@ -109,6 +110,7 @@ public:
    * one until the current scope is popped.
    *
    * @param name an identifier
+   * @param params the parameters to the type
    * @param t the type to bind to <code>name</code>
    */
   void bindType(const std::string& name,
-- 
cgit v1.2.3