diff options
Diffstat (limited to 'src/parser/input.h')
| -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); |