* Numerous documentation fixes (fix doxygen warnings, add missing documentation, etc.).

* Remove sat_module.cpp, which was no longer used (was previously refactored?)

1 files changed, 10 insertions, 7 deletions

diff --git a/src/parser/input.h b/src/parser/input.h
index 1b8c97713..d47ca4d12 100644
--- a/src/parser/input.h
+++ b/src/parser/input.h
@@ -68,7 +68,7 @@ protected:
 public:
 
   /** Destructor. */
-  virtual ~InputStream() { 
+  virtual ~InputStream() {
     if( d_fileIsTemporary ) {
       remove(d_name.c_str());
     }
@@ -108,8 +108,8 @@ public:
     * @param filename the input filename
     * @param useMmap true if the parser should use memory-mapped I/O (default: false)
     */
-  static Input* newFileInput(InputLanguage lang, 
-                             const std::string& filename, 
+  static Input* newFileInput(InputLanguage lang,
+                             const std::string& filename,
                              bool useMmap = false)
     throw (InputStreamException, AssertionException);
 
@@ -118,9 +118,12 @@ public:
    * @param lang the input language
    * @param input the input stream
    * @param name the name of the stream, for use in error messages
+   * @param lineBuffered whether this Input should be line-buffered
+   * (false, the default, means that the entire Input might be read
+   * before being lexed and parsed)
    */
-  static Input* newStreamInput(InputLanguage lang, 
-                               std::istream& input, 
+  static Input* newStreamInput(InputLanguage lang,
+                               std::istream& input,
                                const std::string& name,
                                bool lineBuffered = false)
     throw (InputStreamException, AssertionException);
@@ -131,8 +134,8 @@ public:
    * @param input the input string
    * @param name the name of the stream, for use in error messages
    */
-  static Input* newStringInput(InputLanguage lang, 
-                               const std::string& input, 
+  static Input* newStringInput(InputLanguage lang,
+                               const std::string& input,
                                const std::string& name)
     throw (InputStreamException, AssertionException);