xref: /src/contrib/kyua/utils/config/parser.cpp (revision b0d29bc47dba79f6f38e67eabadfb4b32ffd9390)
108334c51SBrooks Davis // Copyright 2012 The Kyua Authors.
208334c51SBrooks Davis // All rights reserved.
308334c51SBrooks Davis //
408334c51SBrooks Davis // Redistribution and use in source and binary forms, with or without
508334c51SBrooks Davis // modification, are permitted provided that the following conditions are
608334c51SBrooks Davis // met:
708334c51SBrooks Davis //
808334c51SBrooks Davis // * Redistributions of source code must retain the above copyright
908334c51SBrooks Davis //   notice, this list of conditions and the following disclaimer.
1008334c51SBrooks Davis // * Redistributions in binary form must reproduce the above copyright
1108334c51SBrooks Davis //   notice, this list of conditions and the following disclaimer in the
1208334c51SBrooks Davis //   documentation and/or other materials provided with the distribution.
1308334c51SBrooks Davis // * Neither the name of Google Inc. nor the names of its contributors
1408334c51SBrooks Davis //   may be used to endorse or promote products derived from this software
1508334c51SBrooks Davis //   without specific prior written permission.
1608334c51SBrooks Davis //
1708334c51SBrooks Davis // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
1808334c51SBrooks Davis // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
1908334c51SBrooks Davis // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
2008334c51SBrooks Davis // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
2108334c51SBrooks Davis // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
2208334c51SBrooks Davis // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
2308334c51SBrooks Davis // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
2408334c51SBrooks Davis // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
2508334c51SBrooks Davis // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
2608334c51SBrooks Davis // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
2708334c51SBrooks Davis // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
2808334c51SBrooks Davis 
2908334c51SBrooks Davis #include "utils/config/parser.hpp"
3008334c51SBrooks Davis 
3108334c51SBrooks Davis #include <lutok/exceptions.hpp>
3208334c51SBrooks Davis #include <lutok/operations.hpp>
3308334c51SBrooks Davis #include <lutok/stack_cleaner.hpp>
3408334c51SBrooks Davis #include <lutok/state.ipp>
3508334c51SBrooks Davis 
3608334c51SBrooks Davis #include "utils/config/exceptions.hpp"
3708334c51SBrooks Davis #include "utils/config/lua_module.hpp"
3808334c51SBrooks Davis #include "utils/config/tree.ipp"
3908334c51SBrooks Davis #include "utils/fs/path.hpp"
4008334c51SBrooks Davis #include "utils/logging/macros.hpp"
4108334c51SBrooks Davis #include "utils/noncopyable.hpp"
4208334c51SBrooks Davis 
4308334c51SBrooks Davis namespace config = utils::config;
4408334c51SBrooks Davis 
4508334c51SBrooks Davis 
4608334c51SBrooks Davis // History of configuration file versions:
4708334c51SBrooks Davis //
4808334c51SBrooks Davis // 2 - Changed the syntax() call to take only a version number, instead of the
4908334c51SBrooks Davis //     word 'config' as the first argument and the version as the second one.
5008334c51SBrooks Davis //     Files now start with syntax(2) instead of syntax('config', 1).
5108334c51SBrooks Davis //
5208334c51SBrooks Davis // 1 - Initial version.
5308334c51SBrooks Davis 
5408334c51SBrooks Davis 
5508334c51SBrooks Davis /// Internal implementation of the parser.
5608334c51SBrooks Davis struct utils::config::parser::impl : utils::noncopyable {
5708334c51SBrooks Davis     /// Pointer to the parent parser.  Needed for callbacks.
5808334c51SBrooks Davis     parser* _parent;
5908334c51SBrooks Davis 
6008334c51SBrooks Davis     /// The Lua state used by this parser to process the configuration file.
6108334c51SBrooks Davis     lutok::state _state;
6208334c51SBrooks Davis 
6308334c51SBrooks Davis     /// The tree to be filed in by the configuration parameters, as provided by
6408334c51SBrooks Davis     /// the caller.
6508334c51SBrooks Davis     config::tree& _tree;
6608334c51SBrooks Davis 
6708334c51SBrooks Davis     /// Whether syntax() has been called or not.
6808334c51SBrooks Davis     bool _syntax_called;
6908334c51SBrooks Davis 
7008334c51SBrooks Davis     /// Constructs a new implementation.
7108334c51SBrooks Davis     ///
7208334c51SBrooks Davis     /// \param parent_ Pointer to the class being constructed.
7308334c51SBrooks Davis     /// \param config_tree_ The configuration tree provided by the user.
implutils::config::parser::impl7408334c51SBrooks Davis     impl(parser* const parent_, tree& config_tree_) :
7508334c51SBrooks Davis         _parent(parent_), _tree(config_tree_), _syntax_called(false)
7608334c51SBrooks Davis     {
7708334c51SBrooks Davis     }
7808334c51SBrooks Davis 
7908334c51SBrooks Davis     friend void lua_syntax(lutok::state&);
8008334c51SBrooks Davis 
8108334c51SBrooks Davis     /// Callback executed by the Lua syntax() function.
8208334c51SBrooks Davis     ///
8308334c51SBrooks Davis     /// \param syntax_version The syntax format version as provided by the
8408334c51SBrooks Davis     ///     configuration file in the call to syntax().
8508334c51SBrooks Davis     void
syntax_callbackutils::config::parser::impl8608334c51SBrooks Davis     syntax_callback(const int syntax_version)
8708334c51SBrooks Davis     {
8808334c51SBrooks Davis         if (_syntax_called)
8908334c51SBrooks Davis             throw syntax_error("syntax() can only be called once");
9008334c51SBrooks Davis         _syntax_called = true;
9108334c51SBrooks Davis 
9208334c51SBrooks Davis         // Allow the parser caller to populate the tree with its own schema
9308334c51SBrooks Davis         // depending on the format/version combination.
9408334c51SBrooks Davis         _parent->setup(_tree, syntax_version);
9508334c51SBrooks Davis 
9608334c51SBrooks Davis         // Export the config module to the Lua state so that all global variable
9708334c51SBrooks Davis         // accesses are redirected to the configuration tree.
9808334c51SBrooks Davis         config::redirect(_state, _tree);
9908334c51SBrooks Davis     }
10008334c51SBrooks Davis };
10108334c51SBrooks Davis 
10208334c51SBrooks Davis 
10308334c51SBrooks Davis namespace {
10408334c51SBrooks Davis 
10508334c51SBrooks Davis 
10608334c51SBrooks Davis static int
lua_syntax(lutok::state & state)10708334c51SBrooks Davis lua_syntax(lutok::state& state)
10808334c51SBrooks Davis {
10908334c51SBrooks Davis     if (!state.is_number(-1))
11008334c51SBrooks Davis         throw config::value_error("Last argument to syntax must be a number");
11108334c51SBrooks Davis     const int syntax_version = state.to_integer(-1);
11208334c51SBrooks Davis 
11308334c51SBrooks Davis     if (syntax_version == 1) {
11408334c51SBrooks Davis         if (state.get_top() != 2)
11508334c51SBrooks Davis             throw config::value_error("Version 1 files need two arguments to "
11608334c51SBrooks Davis                                       "syntax()");
11708334c51SBrooks Davis         if (!state.is_string(-2) || state.to_string(-2) != "config")
11808334c51SBrooks Davis             throw config::value_error("First argument to syntax must be "
11908334c51SBrooks Davis                                       "'config' for version 1 files");
12008334c51SBrooks Davis     } else {
12108334c51SBrooks Davis         if (state.get_top() != 1)
12208334c51SBrooks Davis             throw config::value_error("syntax() only takes one argument");
12308334c51SBrooks Davis     }
12408334c51SBrooks Davis 
12508334c51SBrooks Davis     state.get_global("_config_parser");
12608334c51SBrooks Davis     config::parser::impl* impl =
12708334c51SBrooks Davis         *state.to_userdata< config::parser::impl* >(-1);
12808334c51SBrooks Davis     state.pop(1);
12908334c51SBrooks Davis 
13008334c51SBrooks Davis     impl->syntax_callback(syntax_version);
13108334c51SBrooks Davis 
13208334c51SBrooks Davis     return 0;
13308334c51SBrooks Davis }
13408334c51SBrooks Davis 
13508334c51SBrooks Davis 
13608334c51SBrooks Davis }  // anonymous namespace
13708334c51SBrooks Davis 
13808334c51SBrooks Davis 
13908334c51SBrooks Davis /// Constructs a new parser.
14008334c51SBrooks Davis ///
14108334c51SBrooks Davis /// \param [in,out] config_tree The configuration tree into which the values set
14208334c51SBrooks Davis ///     in the configuration file will be stored.
parser(tree & config_tree)14308334c51SBrooks Davis config::parser::parser(tree& config_tree) :
14408334c51SBrooks Davis     _pimpl(new impl(this, config_tree))
14508334c51SBrooks Davis {
14608334c51SBrooks Davis     lutok::stack_cleaner cleaner(_pimpl->_state);
14708334c51SBrooks Davis 
14808334c51SBrooks Davis     _pimpl->_state.push_cxx_function(lua_syntax);
14908334c51SBrooks Davis     _pimpl->_state.set_global("syntax");
15008334c51SBrooks Davis     *_pimpl->_state.new_userdata< config::parser::impl* >() = _pimpl.get();
15108334c51SBrooks Davis     _pimpl->_state.set_global("_config_parser");
15208334c51SBrooks Davis }
15308334c51SBrooks Davis 
15408334c51SBrooks Davis 
15508334c51SBrooks Davis /// Destructor.
~parser(void)15608334c51SBrooks Davis config::parser::~parser(void)
15708334c51SBrooks Davis {
15808334c51SBrooks Davis }
15908334c51SBrooks Davis 
16008334c51SBrooks Davis 
16108334c51SBrooks Davis /// Parses a configuration file.
16208334c51SBrooks Davis ///
16308334c51SBrooks Davis /// \post The tree registered during the construction of this class is updated
16408334c51SBrooks Davis /// to contain the values read from the configuration file.  If the processing
16508334c51SBrooks Davis /// fails, the state of the output tree is undefined.
16608334c51SBrooks Davis ///
16708334c51SBrooks Davis /// \param file The path to the file to process.
16808334c51SBrooks Davis ///
16908334c51SBrooks Davis /// \throw syntax_error If there is any problem processing the file.
17008334c51SBrooks Davis void
parse(const fs::path & file)17108334c51SBrooks Davis config::parser::parse(const fs::path& file)
17208334c51SBrooks Davis {
17308334c51SBrooks Davis     try {
17408334c51SBrooks Davis         lutok::do_file(_pimpl->_state, file.str(), 0, 0, 0);
17508334c51SBrooks Davis     } catch (const lutok::error& e) {
17608334c51SBrooks Davis         throw syntax_error(e.what());
17708334c51SBrooks Davis     }
17808334c51SBrooks Davis 
17908334c51SBrooks Davis     if (!_pimpl->_syntax_called)
18008334c51SBrooks Davis         throw syntax_error("No syntax defined (no call to syntax() found)");
18108334c51SBrooks Davis }
182