From: Christopher L. Conway <christopherleeconway@gmail.com>
Date: Tue, 13 Apr 2010 22:50:03 +0000 (+0000)
Subject: Doxygen fixes
X-Git-Tag: cvc5-1.0.0~9119
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e6d5046baca8b490e2ef93631216fe34e08d6aaa;p=cvc5.git

Doxygen fixes
---

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 <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 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 <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 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);