Doxygen fixes

diff --git a/config/doxygen.cfg b/config/doxygen.cfg
index 0daf794ef39802cd5de5710d2ca6c4881de99800..f891b0b714c95291d7215953b5e75bbf66732945 100644 (file)
--- 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 0f8938397bda335e6506be57773b2a7e99090adb..c3f5238d6ed5148201602c0874c5d6d9959d45e6 100644 (file)
--- a/src/expr/node_manager.h
+++ b/src/expr/node_manager.h
@@ -356,7 +356,7 @@ public:
    */
   template <class AttrKind>
   inline void setAttribute(expr::NodeValue* nv,
-                           const AttrKind&,
+                           const AttrKind& attr,
                            const typename AttrKind::value_type& value);
 
   /**
@@ -368,8 +368,8 @@ public:
    * <code>AttrKind::value_type</code> if not.
    */
   template <class AttrKind>
-  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 <class AttrKind>
   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 f109036edd8fd7f470149c4b671b8dcd56b8ae82..a32416305401b6c019e90e99a65d5cdb147ececb 100644 (file)
--- 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 dc188b7d12d5fbddca42031bf07cc9cfd87fdae2..3e07710702c1066659234e86c4737e0b5d9647dc 100644 (file)
--- 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 <code>kind</code> can accept <code>numArgs</codes> arguments.
+   * Check that <code>kind</code> can accept <code>numArgs</code> 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 <code>kind</code> 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 df829ac01ff3c0f4665f2102add6c8178f163fef..37542d95257fb0ac24e97b7fa0683306d96dbafc 100644 (file)
--- 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);