diff options
author | François Bobot <francois@bobot.eu> | 2012-06-22 15:11:21 +0000 |
---|---|---|
committer | François Bobot <francois@bobot.eu> | 2012-06-22 15:11:21 +0000 |
commit | eda7d4df5481030d4e9cb6ef4a33d52afc8f7e0a (patch) | |
tree | 20d6a6335c5fd43fdf2a76dd7550d0519992d5e0 /src/parser/input.h | |
parent | 1cbf657d955776860580b662aefd53705b603680 (diff) |
parser: add some acces function and recover the original nextToken from antlr3
in order to be able to use the stack of streams.
Diffstat (limited to 'src/parser/input.h')
-rw-r--r-- | src/parser/input.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/parser/input.h b/src/parser/input.h index 92b039eda..1b8c97713 100644 --- a/src/parser/input.h +++ b/src/parser/input.h @@ -146,6 +146,11 @@ public: /** Get the language that this Input is reading. */ virtual InputLanguage getLanguage() const throw() = 0; + /** Retrieve the name of the input stream */ + const std::string getInputStreamName(){ + return getInputStream()->getName(); + } + protected: /** Create an input. |