diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-08-29 20:36:35 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-08-29 20:36:35 +0000 |
commit | 06e088262574a9f3e1638d89b93a25ae83514820 (patch) | |
tree | 21546aec6fa84612c5ca0695a4ca0a46145fae2a /src/parser | |
parent | 777d698c0b11c35da05c55488b02b42064c0fc48 (diff) |
* Numerous documentation fixes (fix doxygen warnings, add missing documentation, etc.).
* Remove sat_module.cpp, which was no longer used (was previously refactored?)
Diffstat (limited to 'src/parser')
-rw-r--r-- | src/parser/input.h | 17 |
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); |