diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-10-31 15:26:19 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-10-31 15:26:19 +0000 |
commit | 39031822cf3f9faab7b5b9e6cbce46a5194503b1 (patch) | |
tree | 7f95265819554a20a2ef4637a4a8a6a83a7cfc0b /src/expr/declaration_scope.h | |
parent | d4bfaa103d56d5c0172bf1457343a75ddea8a9b5 (diff) |
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)
Diffstat (limited to 'src/expr/declaration_scope.h')
-rw-r--r-- | src/expr/declaration_scope.h | 22 |
1 files changed, 12 insertions, 10 deletions
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, |