From e6d5046baca8b490e2ef93631216fe34e08d6aaa Mon Sep 17 00:00:00 2001 From: "Christopher L. Conway" Date: Tue, 13 Apr 2010 22:50:03 +0000 Subject: [PATCH] Doxygen fixes --- config/doxygen.cfg | 4 ++-- src/expr/node_manager.h | 8 ++++---- src/parser/input.h | 1 + src/parser/parser_state.h | 4 ++-- src/theory/theory_engine.h | 2 +- 5 files changed, 10 insertions(+), 9 deletions(-) diff --git a/config/doxygen.cfg b/config/doxygen.cfg index 0daf794ef..f891b0b71 100644 --- a/config/doxygen.cfg +++ b/config/doxygen.cfg @@ -597,7 +597,7 @@ RECURSIVE = YES # excluded from the INPUT source files. This way you can easily exclude a # subdirectory from a directory tree whose root is specified with the INPUT tag. -EXCLUDE = +EXCLUDE = # The EXCLUDE_SYMLINKS tag can be used select whether or not files or # directories that are symbolic links (a Unix filesystem feature) are excluded @@ -611,7 +611,7 @@ EXCLUDE_SYMLINKS = NO # against the file with absolute path, so to exclude all test directories # for example use the pattern */test/* -EXCLUDE_PATTERNS = +EXCLUDE_PATTERNS = */generated/* # The EXCLUDE_SYMBOLS tag can be used to specify one or more symbol names # (namespaces, classes, functions, etc.) that should be excluded from the diff --git a/src/expr/node_manager.h b/src/expr/node_manager.h index 0f8938397..c3f5238d6 100644 --- a/src/expr/node_manager.h +++ b/src/expr/node_manager.h @@ -356,7 +356,7 @@ public: */ template inline void setAttribute(expr::NodeValue* nv, - const AttrKind&, + const AttrKind& attr, const typename AttrKind::value_type& value); /** @@ -368,8 +368,8 @@ public: * AttrKind::value_type if not. */ template - inline typename AttrKind::value_type getAttribute(TNode n, - const AttrKind&) const; + inline typename AttrKind::value_type + getAttribute(TNode n, const AttrKind& attr) const; /** * Check whether an attribute is set for a TNode. @@ -410,7 +410,7 @@ public: */ template inline void setAttribute(TNode n, - const AttrKind&, + const AttrKind& attr, const typename AttrKind::value_type& value); /** Get the (singleton) type for booleans. */ diff --git a/src/parser/input.h b/src/parser/input.h index f109036ed..a32416305 100644 --- a/src/parser/input.h +++ b/src/parser/input.h @@ -73,6 +73,7 @@ public: * @param exprManager the ExprManager for creating expressions from the input * @param lang the input language * @param filename the input filename + * @param useMmap true if the parser should use memory-mapped I/O (default: false) */ static Input* newFileInput(ExprManager* exprManager, InputLanguage lang, const std::string& filename, bool useMmap=false); diff --git a/src/parser/parser_state.h b/src/parser/parser_state.h index dc188b7d1..3e0771070 100644 --- a/src/parser/parser_state.h +++ b/src/parser/parser_state.h @@ -199,7 +199,7 @@ public: void checkFunction(const std::string& name) throw (ParserException); /** - * Check that kind can accept numArgs arguments. + * Check that kind can accept numArgs arguments. * @param kind the built-in operator to check * @param numArgs the number of actual arguments * @throws ParserException if checks are enabled and the operator kind cannot be @@ -209,7 +209,7 @@ public: /** * Returns the type for the variable with the given name. - * @param name the symbol to lookup + * @param var_name the symbol to lookup * @param type the (namespace) type of the symbol */ Type* getType(const std::string& var_name, SymbolType type = SYM_VARIABLE); diff --git a/src/theory/theory_engine.h b/src/theory/theory_engine.h index df829ac01..37542d952 100644 --- a/src/theory/theory_engine.h +++ b/src/theory/theory_engine.h @@ -235,7 +235,7 @@ public: /** * Preprocess a node. This involves theory-specific rewriting, then * calling preRegisterTerm() on what's left over. - * @param the node to preprocess + * @param n the node to preprocess */ Node preprocess(TNode n); -- 2.30.2