[857] | 1 | /*=============================================================================
|
---|
| 2 | Copyright (c) 2001-2003 Joel de Guzman
|
---|
| 3 | http://spirit.sourceforge.net/
|
---|
| 4 |
|
---|
| 5 | Use, modification and distribution is subject to the Boost Software
|
---|
| 6 | License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
|
---|
| 7 | http://www.boost.org/LICENSE_1_0.txt)
|
---|
| 8 | =============================================================================*/
|
---|
| 9 | #ifndef BOOST_SPIRIT_EXCEPTIONS_IPP
|
---|
| 10 | #define BOOST_SPIRIT_EXCEPTIONS_IPP
|
---|
| 11 |
|
---|
| 12 | namespace boost { namespace spirit { namespace impl {
|
---|
| 13 |
|
---|
| 14 | #ifdef __BORLANDC__
|
---|
| 15 | template <typename ParserT, typename ScannerT>
|
---|
| 16 | typename parser_result<ParserT, ScannerT>::type
|
---|
| 17 | fallback_parser_helper(ParserT const& subject, ScannerT const& scan);
|
---|
| 18 | #endif
|
---|
| 19 |
|
---|
| 20 | template <typename RT, typename ParserT, typename ScannerT>
|
---|
| 21 | RT fallback_parser_parse(ParserT const& p, ScannerT const& scan)
|
---|
| 22 | {
|
---|
| 23 | typedef typename ScannerT::iterator_t iterator_t;
|
---|
| 24 | typedef typename RT::attr_t attr_t;
|
---|
| 25 | typedef error_status<attr_t> error_status_t;
|
---|
| 26 | typedef typename ParserT::error_descr_t error_descr_t;
|
---|
| 27 |
|
---|
| 28 | iterator_t save = scan.first;
|
---|
| 29 | error_status_t hr(error_status_t::retry);
|
---|
| 30 |
|
---|
| 31 | while (hr.result == error_status_t::retry)
|
---|
| 32 | {
|
---|
| 33 | try
|
---|
| 34 | {
|
---|
| 35 | #ifndef __BORLANDC__
|
---|
| 36 | return p.subject().parse(scan);
|
---|
| 37 | #else
|
---|
| 38 | return impl::fallback_parser_helper(p, scan);
|
---|
| 39 | #endif
|
---|
| 40 | }
|
---|
| 41 |
|
---|
| 42 | catch (parser_error<error_descr_t, iterator_t>& error)
|
---|
| 43 | {
|
---|
| 44 | scan.first = save;
|
---|
| 45 | hr = p.handler(scan, error);
|
---|
| 46 | switch (hr.result)
|
---|
| 47 | {
|
---|
| 48 | case error_status_t::fail:
|
---|
| 49 | return scan.no_match();
|
---|
| 50 | case error_status_t::accept:
|
---|
| 51 | return scan.create_match
|
---|
| 52 | (std::size_t(hr.length), hr.value, save, scan.first);
|
---|
| 53 | case error_status_t::rethrow:
|
---|
| 54 | boost::throw_exception(error);
|
---|
| 55 | default:
|
---|
| 56 | continue;
|
---|
| 57 | }
|
---|
| 58 | }
|
---|
| 59 | }
|
---|
| 60 | return scan.no_match();
|
---|
| 61 | }
|
---|
| 62 |
|
---|
| 63 | ///////////////////////////////////////////////////////////////////////////
|
---|
| 64 | //
|
---|
| 65 | // Borland does not like calling the subject directly in the try block.
|
---|
| 66 | // Removing the #ifdef __BORLANDC__ code makes Borland complain that
|
---|
| 67 | // some variables and types cannot be found in the catch block. Weird!
|
---|
| 68 | //
|
---|
| 69 | ///////////////////////////////////////////////////////////////////////////
|
---|
| 70 | #ifdef __BORLANDC__
|
---|
| 71 |
|
---|
| 72 | template <typename ParserT, typename ScannerT>
|
---|
| 73 | typename parser_result<ParserT, ScannerT>::type
|
---|
| 74 | fallback_parser_helper(ParserT const& p, ScannerT const& scan)
|
---|
| 75 | {
|
---|
| 76 | return p.subject().parse(scan);
|
---|
| 77 | }
|
---|
| 78 |
|
---|
| 79 | #endif
|
---|
| 80 |
|
---|
| 81 | }}} // namespace boost::spirit::impl
|
---|
| 82 |
|
---|
| 83 | ///////////////////////////////////////////////////////////////////////////////
|
---|
| 84 | #endif
|
---|
| 85 |
|
---|