123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278 |
- // Copyright (C) 2012 Internet Systems Consortium, Inc. ("ISC")
- //
- // Permission to use, copy, modify, and/or distribute this software for any
- // purpose with or without fee is hereby granted, provided that the above
- // copyright notice and this permission notice appear in all copies.
- //
- // THE SOFTWARE IS PROVIDED "AS IS" AND ISC DISCLAIMS ALL WARRANTIES WITH
- // REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY
- // AND FITNESS. IN NO EVENT SHALL ISC BE LIABLE FOR ANY SPECIAL, DIRECT,
- // INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM
- // LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE
- // OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR
- // PERFORMANCE OF THIS SOFTWARE.
- #include <exceptions/exceptions.h>
- #include <dns/master_lexer.h>
- #include <dns/master_lexer_inputsource.h>
- #include <dns/master_lexer_state.h>
- #include <boost/shared_ptr.hpp>
- #include <cassert>
- #include <string>
- #include <sstream>
- #include <vector>
- namespace isc {
- namespace dns {
- namespace {
- typedef boost::shared_ptr<master_lexer_internal::InputSource> InputSourcePtr;
- }
- using namespace master_lexer_internal;
- struct MasterLexer::MasterLexerImpl {
- MasterLexerImpl() : source_(NULL), paren_count_(0), last_was_eol_(false),
- token_(Token::NOT_STARTED)
- {}
- int skipComment(int c) {
- if (c == ';') {
- while (true) {
- c = source_->getChar();
- if (c == '\n' || c == InputSource::END_OF_STREAM) {
- return (c);
- }
- }
- }
- return (c);
- }
- std::vector<InputSourcePtr> sources_;
- InputSource* source_; // current source
- size_t paren_count_;
- bool last_was_eol_;
- Token token_;
- };
- MasterLexer::MasterLexer() : impl_(new MasterLexerImpl) {
- }
- MasterLexer::~MasterLexer() {
- delete impl_;
- }
- bool
- MasterLexer::pushSource(const char* filename, std::string* error) {
- if (filename == NULL) {
- isc_throw(InvalidParameter,
- "NULL filename for MasterLexer::pushSource");
- }
- try {
- impl_->sources_.push_back(InputSourcePtr(new InputSource(filename)));
- } catch (const InputSource::OpenError& ex) {
- if (error != NULL) {
- *error = ex.what();
- }
- return (false);
- }
- impl_->source_ = impl_->sources_.back().get();
- return (true);
- }
- void
- MasterLexer::pushSource(std::istream& input) {
- impl_->sources_.push_back(InputSourcePtr(new InputSource(input)));
- impl_->source_ = impl_->sources_.back().get();
- }
- void
- MasterLexer::popSource() {
- if (impl_->sources_.empty()) {
- isc_throw(InvalidOperation,
- "MasterLexer::popSource on an empty source");
- }
- impl_->sources_.pop_back();
- impl_->source_ = impl_->sources_.empty() ? NULL :
- impl_->sources_.back().get();
- }
- std::string
- MasterLexer::getSourceName() const {
- if (impl_->sources_.empty()) {
- return (std::string());
- }
- return (impl_->sources_.back()->getName());
- }
- size_t
- MasterLexer::getSourceLine() const {
- if (impl_->sources_.empty()) {
- return (0);
- }
- return (impl_->sources_.back()->getCurrentLine());
- }
- namespace {
- const char* const error_text[] = {
- "lexer not started", // NOT_STARTED
- "unbalanced parentheses", // UNBALANCED_PAREN
- "unexpected end of input", // UNEXPECTED_END
- "unbalanced quotes" // UNBALANCED_QUOTES
- };
- const size_t error_text_max_count = sizeof(error_text) / sizeof(error_text[0]);
- }
- std::string
- MasterLexer::Token::getErrorText() const {
- if (type_ != ERROR) {
- isc_throw(InvalidOperation,
- "Token::getErrorText() for non error type");
- }
- // The class integrity ensures the following:
- assert(val_.error_code_ < error_text_max_count);
- return (error_text[val_.error_code_]);
- }
- namespace master_lexer_internal {
- typedef MasterLexer::Token Token; // convenience shortcut
- bool
- State::wasLastEOL(const MasterLexer& lexer) const {
- return (lexer.impl_->last_was_eol_);
- }
- const MasterLexer::Token&
- State::getToken(const MasterLexer& lexer) const {
- return (lexer.impl_->token_);
- }
- size_t
- State::getParenCount(const MasterLexer& lexer) const {
- return (lexer.impl_->paren_count_);
- }
- class Start : public State {
- public:
- Start() {}
- virtual const State* handle(MasterLexer& lexer,
- MasterLexer::Options options) const;
- };
- class CRLF : public State {
- public:
- CRLF() {}
- virtual const State* handle(MasterLexer& lexer, MasterLexer::Options) const
- {
- // We've just seen '\r'. If this is part of a sequence of '\r\n',
- // we combine them as a single END-OF-LINE. Otherwise we treat the
- // single '\r' as an EOL and continue tokeniziation from the character
- // immediately after '\r'. One tricky case is that there's a comment
- // between '\r' and '\n'. This implementation combines these
- // characters and treats them as a single EOL (the behavior derived
- // from BIND 9). Technically this may not be correct, but in practice
- // the caller wouldn't distinguish this case from the case it has
- // two EOLs, so we simplify the process.
- const int c = getLexerImpl(lexer)->skipComment(
- getLexerImpl(lexer)->source_->getChar());
- if (c != '\n') {
- getLexerImpl(lexer)->source_->ungetChar();
- }
- getLexerImpl(lexer)->token_ = Token(Token::END_OF_LINE);
- getLexerImpl(lexer)->last_was_eol_ = true;
- return (NULL);
- }
- };
- // Currently this is provided mostly as a place holder
- class String : public State {
- public:
- String() {}
- virtual const State* handle(MasterLexer& /*lexer*/,
- MasterLexer::Options /*options*/) const
- {
- return (NULL);
- }
- };
- namespace {
- const Start START_STATE;
- const CRLF CRLF_STATE;
- const String STRING_STATE;
- }
- const State&
- State::getInstance(ID state_id) {
- switch (state_id) {
- case Start:
- return (START_STATE);
- case CRLF:
- return (CRLF_STATE);
- case String:
- return (STRING_STATE);
- }
- }
- const State*
- Start::handle(MasterLexer& lexer, MasterLexer::Options options) const {
- size_t& paren_count = getLexerImpl(lexer)->paren_count_; // shortcut
- while (true) {
- const int c = getLexerImpl(lexer)->skipComment(
- getLexerImpl(lexer)->source_->getChar());
- if (c == InputSource::END_OF_STREAM) {
- getLexerImpl(lexer)->last_was_eol_ = false;
- if (paren_count != 0) {
- getLexerImpl(lexer)->token_ = Token(Token::UNBALANCED_PAREN);
- paren_count = 0; // reset to 0; this helps in lenient mode.
- return (NULL);
- }
- getLexerImpl(lexer)->token_ = Token(Token::END_OF_FILE);
- return (NULL);
- } else if (c == ' ' || c == '\t') {
- // If requested and we are not in (), recognize the initial space.
- if (getLexerImpl(lexer)->last_was_eol_ && paren_count == 0 &&
- (options & MasterLexer::INITIAL_WS) != 0) {
- getLexerImpl(lexer)->last_was_eol_ = false;
- getLexerImpl(lexer)->token_ = Token(Token::INITIAL_WS);
- return (NULL);
- }
- continue;
- } else if (c == '\n') {
- getLexerImpl(lexer)->last_was_eol_ = true;
- if (paren_count == 0) { // we don't recognize EOL if we are in ()
- getLexerImpl(lexer)->token_ = Token(Token::END_OF_LINE);
- return (NULL);
- }
- } else if (c == '\r') {
- if (paren_count == 0) { // check if we are in () (see above)
- return (&CRLF_STATE);
- }
- } else if (c == '(') {
- getLexerImpl(lexer)->last_was_eol_ = false;
- ++paren_count;
- continue;
- } else if (c == ')') {
- getLexerImpl(lexer)->last_was_eol_ = false;
- if (paren_count == 0) {
- getLexerImpl(lexer)->token_ = Token(Token::UNBALANCED_PAREN);
- return (NULL);
- }
- --paren_count;
- continue;
- } else {
- // Note: in #2373 we should probably ungetChar().
- getLexerImpl(lexer)->last_was_eol_ = false;
- return (&STRING_STATE);
- }
- }
- }
- } // namespace master_lexer_internal
- } // end of namespace dns
- } // end of namespace isc
|