Chris@16: /*=============================================================================
Chris@16:     Copyright (c) 2003 Martin Wille
Chris@16:     http://spirit.sourceforge.net/
Chris@16: 
Chris@16:   Distributed under the Boost Software License, Version 1.0. (See accompanying
Chris@16:   file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
Chris@16:  =============================================================================*/
Chris@16: #ifndef BOOST_SPIRIT_UTILITY_SCOPED_LOCK_HPP
Chris@16: #define BOOST_SPIRIT_UTILITY_SCOPED_LOCK_HPP
Chris@16: 
Chris@16: ///////////////////////////////////////////////////////////////////////////////
Chris@16: #include <boost/spirit/home/classic/namespace.hpp>
Chris@16: #if !defined(BOOST_SPIRIT_COMPOSITE_HPP)
Chris@16: #include <boost/spirit/home/classic/core/composite.hpp>
Chris@16: #endif
Chris@16: 
Chris@16: ///////////////////////////////////////////////////////////////////////////////
Chris@16: namespace boost { namespace spirit {
Chris@16: 
Chris@16: BOOST_SPIRIT_CLASSIC_NAMESPACE_BEGIN
Chris@16: 
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     //
Chris@16:     // scoped_lock_parser class
Chris@16:     //
Chris@16:     //      implements locking of a mutex during execution of
Chris@16:     //      the parse method of an embedded parser
Chris@16:     //
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     template <typename MutexT, typename ParserT>
Chris@16:     struct scoped_lock_parser
Chris@16:         : public unary< ParserT, parser< scoped_lock_parser<MutexT, ParserT> > >
Chris@16:     {
Chris@16:         typedef scoped_lock_parser<MutexT, ParserT> self_t;
Chris@16:         typedef MutexT      mutex_t;
Chris@16:         typedef ParserT     parser_t;
Chris@16: 
Chris@16:         template <typename ScannerT>
Chris@16:         struct result
Chris@16:         {
Chris@16:             typedef typename parser_result<parser_t, ScannerT>::type type;
Chris@16:         };
Chris@16: 
Chris@16:         scoped_lock_parser(mutex_t &m, parser_t const &p)
Chris@16:             : unary< ParserT, parser< scoped_lock_parser<MutexT, ParserT> > >(p)
Chris@16:             , mutex(m)
Chris@16:         {}
Chris@16: 
Chris@16: 
Chris@16:         template <typename ScannerT>
Chris@16:         typename parser_result<self_t, ScannerT>::type
Chris@16:         parse(ScannerT const &scan) const
Chris@16:         {
Chris@16:             typedef typename  mutex_t::scoped_lock scoped_lock_t;
Chris@16:             scoped_lock_t lock(mutex);
Chris@16:             return this->subject().parse(scan);
Chris@16:         }
Chris@16: 
Chris@16:         mutex_t &mutex;
Chris@16:     };
Chris@16: 
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     //
Chris@16:     // scoped_lock_parser_gen
Chris@16:     //
Chris@16:     //      generator for scoped_lock_parser objects
Chris@16:     //      operator[] returns scoped_lock_parser according to its argument
Chris@16:     //
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     template <typename MutexT>
Chris@16:     struct scoped_lock_parser_gen
Chris@16:     {
Chris@16:         typedef MutexT mutex_t;
Chris@16:         explicit scoped_lock_parser_gen(mutex_t &m) : mutex(m) {}
Chris@16: 
Chris@16:         template<typename ParserT>
Chris@16:         scoped_lock_parser
Chris@16:         <
Chris@16:             MutexT,
Chris@16:             typename as_parser<ParserT>::type
Chris@16:         >
Chris@16:         operator[](ParserT const &p) const
Chris@16:         {
Chris@16:             typedef ::BOOST_SPIRIT_CLASSIC_NS::as_parser<ParserT> as_parser_t;
Chris@16:             typedef typename as_parser_t::type parser_t;
Chris@16: 
Chris@16:             return scoped_lock_parser<mutex_t, parser_t>
Chris@16:                 (mutex, as_parser_t::convert(p));
Chris@16:         }
Chris@16: 
Chris@16:         mutex_t &mutex;
Chris@16:     };
Chris@16: 
Chris@16: 
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     //
Chris@16:     // scoped_lock_d parser directive
Chris@16:     //
Chris@16:     //      constructs a scoped_lock_parser generator from its argument
Chris@16:     //
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     template <typename MutexT>
Chris@16:     scoped_lock_parser_gen<MutexT>
Chris@16:     scoped_lock_d(MutexT &mutex)
Chris@16:     {
Chris@16:         return scoped_lock_parser_gen<MutexT>(mutex);
Chris@16:     }
Chris@16: 
Chris@16: BOOST_SPIRIT_CLASSIC_NAMESPACE_END
Chris@16: 
Chris@16: }} // namespace BOOST_SPIRIT_CLASSIC_NS
Chris@16: #endif // BOOST_SPIRIT_UTILITY_SCOPED_LOCK_HPP