raw
experimental-genesis    1 //  /****************************\
experimental-genesis    2 // *      EXPERIMENTAL BRANCH.    *
experimental-genesis    3 // *    FOR LABORATORY USE ONLY.  *
experimental-genesis    4 // ********************************
experimental-genesis    5 //           ************
experimental-genesis    6 //          **************
experimental-genesis    7 //         ****************
experimental-genesis    8 //        ****   ****   ****
experimental-genesis    9 //        ***     ***    ***
experimental-genesis   10 //        ***     ***    ***
experimental-genesis   11 //         ***    * *    **
experimental-genesis   12 //         ******** ********
experimental-genesis   13 //         *******   ******
experimental-genesis   14 //             ***   **
experimental-genesis   15 //           *  ******* **
experimental-genesis   16 //           ** * * * * *
experimental-genesis   17 //     **     *         *     ***
experimental-genesis   18 //    ****    * *     * *    ****
experimental-genesis   19 //    ****    *** * * **     ***
experimental-genesis   20 //     ****    *********   ******
experimental-genesis   21 //    *******    *****    *******
experimental-genesis   22 //    *********        ****** **
experimental-genesis   23 //     **   ******   ******
experimental-genesis   24 //            **  *******       **
experimental-genesis   25 //    **       *******         ***
experimental-genesis   26 //   ****   ********  ************
experimental-genesis   27 //   ************    ************
experimental-genesis   28 //    ********             *******
experimental-genesis   29 //   ******                   ****
experimental-genesis   30 //    ***                      ***
experimental-genesis   31 // ********************************
experimental-genesis   32 #ifndef JSON_SPIRIT_READER_TEMPLATE
experimental-genesis   33 #define JSON_SPIRIT_READER_TEMPLATE
experimental-genesis   34 
experimental-genesis   35 //          Copyright John W. Wilkinson 2007 - 2009.
experimental-genesis   36 // Distributed under the MIT License, see accompanying file LICENSE.txt
experimental-genesis   37 
experimental-genesis   38 // json spirit version 4.03
experimental-genesis   39 
experimental-genesis   40 #include "json_spirit_value.h"
experimental-genesis   41 #include "json_spirit_error_position.h"
experimental-genesis   42 
experimental-genesis   43 //#define BOOST_SPIRIT_THREADSAFE  // uncomment for multithreaded use, requires linking to boost.thread
experimental-genesis   44 
experimental-genesis   45 #include <boost/bind.hpp>
experimental-genesis   46 #include <boost/function.hpp>
experimental-genesis   47 #include <boost/version.hpp>
experimental-genesis   48 
experimental-genesis   49 #if BOOST_VERSION >= 103800
experimental-genesis   50     #include <boost/spirit/include/classic_core.hpp>
experimental-genesis   51     #include <boost/spirit/include/classic_confix.hpp>
experimental-genesis   52     #include <boost/spirit/include/classic_escape_char.hpp>
experimental-genesis   53     #include <boost/spirit/include/classic_multi_pass.hpp>
experimental-genesis   54     #include <boost/spirit/include/classic_position_iterator.hpp>
experimental-genesis   55     #define spirit_namespace boost::spirit::classic
experimental-genesis   56 #else
experimental-genesis   57     #include <boost/spirit/core.hpp>
experimental-genesis   58     #include <boost/spirit/utility/confix.hpp>
experimental-genesis   59     #include <boost/spirit/utility/escape_char.hpp>
experimental-genesis   60     #include <boost/spirit/iterator/multi_pass.hpp>
experimental-genesis   61     #include <boost/spirit/iterator/position_iterator.hpp>
experimental-genesis   62     #define spirit_namespace boost::spirit
experimental-genesis   63 #endif
experimental-genesis   64 
experimental-genesis   65 namespace json_spirit
experimental-genesis   66 {
experimental-genesis   67     const spirit_namespace::int_parser < boost::int64_t >  int64_p  = spirit_namespace::int_parser < boost::int64_t  >();
experimental-genesis   68     const spirit_namespace::uint_parser< boost::uint64_t > uint64_p = spirit_namespace::uint_parser< boost::uint64_t >();
experimental-genesis   69 
experimental-genesis   70     template< class Iter_type >
experimental-genesis   71     bool is_eq( Iter_type first, Iter_type last, const char* c_str )
experimental-genesis   72     {
experimental-genesis   73         for( Iter_type i = first; i != last; ++i, ++c_str )
experimental-genesis   74         {
experimental-genesis   75             if( *c_str == 0 ) return false;
experimental-genesis   76 
experimental-genesis   77             if( *i != *c_str ) return false;
experimental-genesis   78         }
experimental-genesis   79 
experimental-genesis   80         return true;
experimental-genesis   81     }
experimental-genesis   82 
experimental-genesis   83     template< class Char_type >
experimental-genesis   84     Char_type hex_to_num( const Char_type c )
experimental-genesis   85     {
experimental-genesis   86         if( ( c >= '0' ) && ( c <= '9' ) ) return c - '0';
experimental-genesis   87         if( ( c >= 'a' ) && ( c <= 'f' ) ) return c - 'a' + 10;
experimental-genesis   88         if( ( c >= 'A' ) && ( c <= 'F' ) ) return c - 'A' + 10;
experimental-genesis   89         return 0;
experimental-genesis   90     }
experimental-genesis   91 
experimental-genesis   92     template< class Char_type, class Iter_type >
experimental-genesis   93     Char_type hex_str_to_char( Iter_type& begin )
experimental-genesis   94     {
experimental-genesis   95         const Char_type c1( *( ++begin ) );
experimental-genesis   96         const Char_type c2( *( ++begin ) );
experimental-genesis   97 
experimental-genesis   98         return ( hex_to_num( c1 ) << 4 ) + hex_to_num( c2 );
experimental-genesis   99     }       
experimental-genesis  100 
experimental-genesis  101     template< class Char_type, class Iter_type >
experimental-genesis  102     Char_type unicode_str_to_char( Iter_type& begin )
experimental-genesis  103     {
experimental-genesis  104         const Char_type c1( *( ++begin ) );
experimental-genesis  105         const Char_type c2( *( ++begin ) );
experimental-genesis  106         const Char_type c3( *( ++begin ) );
experimental-genesis  107         const Char_type c4( *( ++begin ) );
experimental-genesis  108 
experimental-genesis  109         return ( hex_to_num( c1 ) << 12 ) + 
experimental-genesis  110                ( hex_to_num( c2 ) <<  8 ) + 
experimental-genesis  111                ( hex_to_num( c3 ) <<  4 ) + 
experimental-genesis  112                hex_to_num( c4 );
experimental-genesis  113     }
experimental-genesis  114 
experimental-genesis  115     template< class String_type >
experimental-genesis  116     void append_esc_char_and_incr_iter( String_type& s, 
experimental-genesis  117                                         typename String_type::const_iterator& begin, 
experimental-genesis  118                                         typename String_type::const_iterator end )
experimental-genesis  119     {
experimental-genesis  120         typedef typename String_type::value_type Char_type;
experimental-genesis  121              
experimental-genesis  122         const Char_type c2( *begin );
experimental-genesis  123 
experimental-genesis  124         switch( c2 )
experimental-genesis  125         {
experimental-genesis  126             case 't':  s += '\t'; break;
experimental-genesis  127             case 'b':  s += '\b'; break;
experimental-genesis  128             case 'f':  s += '\f'; break;
experimental-genesis  129             case 'n':  s += '\n'; break;
experimental-genesis  130             case 'r':  s += '\r'; break;
experimental-genesis  131             case '\\': s += '\\'; break;
experimental-genesis  132             case '/':  s += '/';  break;
experimental-genesis  133             case '"':  s += '"';  break;
experimental-genesis  134             case 'x':  
experimental-genesis  135             {
experimental-genesis  136                 if( end - begin >= 3 )  //  expecting "xHH..."
experimental-genesis  137                 {
experimental-genesis  138                     s += hex_str_to_char< Char_type >( begin );  
experimental-genesis  139                 }
experimental-genesis  140                 break;
experimental-genesis  141             }
experimental-genesis  142             case 'u':  
experimental-genesis  143             {
experimental-genesis  144                 if( end - begin >= 5 )  //  expecting "uHHHH..."
experimental-genesis  145                 {
experimental-genesis  146                     s += unicode_str_to_char< Char_type >( begin );  
experimental-genesis  147                 }
experimental-genesis  148                 break;
experimental-genesis  149             }
experimental-genesis  150         }
experimental-genesis  151     }
experimental-genesis  152 
experimental-genesis  153     template< class String_type >
experimental-genesis  154     String_type substitute_esc_chars( typename String_type::const_iterator begin, 
experimental-genesis  155                                    typename String_type::const_iterator end )
experimental-genesis  156     {
experimental-genesis  157         typedef typename String_type::const_iterator Iter_type;
experimental-genesis  158 
experimental-genesis  159         if( end - begin < 2 ) return String_type( begin, end );
experimental-genesis  160 
experimental-genesis  161         String_type result;
experimental-genesis  162         
experimental-genesis  163         result.reserve( end - begin );
experimental-genesis  164 
experimental-genesis  165         const Iter_type end_minus_1( end - 1 );
experimental-genesis  166 
experimental-genesis  167         Iter_type substr_start = begin;
experimental-genesis  168         Iter_type i = begin;
experimental-genesis  169 
experimental-genesis  170         for( ; i < end_minus_1; ++i )
experimental-genesis  171         {
experimental-genesis  172             if( *i == '\\' )
experimental-genesis  173             {
experimental-genesis  174                 result.append( substr_start, i );
experimental-genesis  175 
experimental-genesis  176                 ++i;  // skip the '\'
experimental-genesis  177              
experimental-genesis  178                 append_esc_char_and_incr_iter( result, i, end );
experimental-genesis  179 
experimental-genesis  180                 substr_start = i + 1;
experimental-genesis  181             }
experimental-genesis  182         }
experimental-genesis  183 
experimental-genesis  184         result.append( substr_start, end );
experimental-genesis  185 
experimental-genesis  186         return result;
experimental-genesis  187     }
experimental-genesis  188 
experimental-genesis  189     template< class String_type >
experimental-genesis  190     String_type get_str_( typename String_type::const_iterator begin, 
experimental-genesis  191                        typename String_type::const_iterator end )
experimental-genesis  192     {
experimental-genesis  193         assert( end - begin >= 2 );
experimental-genesis  194 
experimental-genesis  195         typedef typename String_type::const_iterator Iter_type;
experimental-genesis  196 
experimental-genesis  197         Iter_type str_without_quotes( ++begin );
experimental-genesis  198         Iter_type end_without_quotes( --end );
experimental-genesis  199 
experimental-genesis  200         return substitute_esc_chars< String_type >( str_without_quotes, end_without_quotes );
experimental-genesis  201     }
experimental-genesis  202 
experimental-genesis  203     inline std::string get_str( std::string::const_iterator begin, std::string::const_iterator end )
experimental-genesis  204     {
experimental-genesis  205         return get_str_< std::string >( begin, end );
experimental-genesis  206     }
experimental-genesis  207 
experimental-genesis  208     inline std::wstring get_str( std::wstring::const_iterator begin, std::wstring::const_iterator end )
experimental-genesis  209     {
experimental-genesis  210         return get_str_< std::wstring >( begin, end );
experimental-genesis  211     }
experimental-genesis  212     
experimental-genesis  213     template< class String_type, class Iter_type >
experimental-genesis  214     String_type get_str( Iter_type begin, Iter_type end )
experimental-genesis  215     {
experimental-genesis  216         const String_type tmp( begin, end );  // convert multipass iterators to string iterators
experimental-genesis  217 
experimental-genesis  218         return get_str( tmp.begin(), tmp.end() );
experimental-genesis  219     }
experimental-genesis  220 
experimental-genesis  221     // this class's methods get called by the spirit parse resulting
experimental-genesis  222     // in the creation of a JSON object or array
experimental-genesis  223     //
experimental-genesis  224     // NB Iter_type could be a std::string iterator, wstring iterator, a position iterator or a multipass iterator
experimental-genesis  225     //
experimental-genesis  226     template< class Value_type, class Iter_type >
experimental-genesis  227     class Semantic_actions 
experimental-genesis  228     {
experimental-genesis  229     public:
experimental-genesis  230 
experimental-genesis  231         typedef typename Value_type::Config_type Config_type;
experimental-genesis  232         typedef typename Config_type::String_type String_type;
experimental-genesis  233         typedef typename Config_type::Object_type Object_type;
experimental-genesis  234         typedef typename Config_type::Array_type Array_type;
experimental-genesis  235         typedef typename String_type::value_type Char_type;
experimental-genesis  236 
experimental-genesis  237         Semantic_actions( Value_type& value )
experimental-genesis  238         :   value_( value )
experimental-genesis  239         ,   current_p_( 0 )
experimental-genesis  240         {
experimental-genesis  241         }
experimental-genesis  242 
experimental-genesis  243         void begin_obj( Char_type c )
experimental-genesis  244         {
experimental-genesis  245             assert( c == '{' );
experimental-genesis  246 
experimental-genesis  247             begin_compound< Object_type >();
experimental-genesis  248         }
experimental-genesis  249 
experimental-genesis  250         void end_obj( Char_type c )
experimental-genesis  251         {
experimental-genesis  252             assert( c == '}' );
experimental-genesis  253 
experimental-genesis  254             end_compound();
experimental-genesis  255         }
experimental-genesis  256 
experimental-genesis  257         void begin_array( Char_type c )
experimental-genesis  258         {
experimental-genesis  259             assert( c == '[' );
experimental-genesis  260      
experimental-genesis  261             begin_compound< Array_type >();
experimental-genesis  262         }
experimental-genesis  263 
experimental-genesis  264         void end_array( Char_type c )
experimental-genesis  265         {
experimental-genesis  266             assert( c == ']' );
experimental-genesis  267 
experimental-genesis  268             end_compound();
experimental-genesis  269         }
experimental-genesis  270 
experimental-genesis  271         void new_name( Iter_type begin, Iter_type end )
experimental-genesis  272         {
experimental-genesis  273             assert( current_p_->type() == obj_type );
experimental-genesis  274 
experimental-genesis  275             name_ = get_str< String_type >( begin, end );
experimental-genesis  276         }
experimental-genesis  277 
experimental-genesis  278         void new_str( Iter_type begin, Iter_type end )
experimental-genesis  279         {
experimental-genesis  280             add_to_current( get_str< String_type >( begin, end ) );
experimental-genesis  281         }
experimental-genesis  282 
experimental-genesis  283         void new_true( Iter_type begin, Iter_type end )
experimental-genesis  284         {
experimental-genesis  285             assert( is_eq( begin, end, "true" ) );
experimental-genesis  286 
experimental-genesis  287             add_to_current( true );
experimental-genesis  288         }
experimental-genesis  289 
experimental-genesis  290         void new_false( Iter_type begin, Iter_type end )
experimental-genesis  291         {
experimental-genesis  292             assert( is_eq( begin, end, "false" ) );
experimental-genesis  293 
experimental-genesis  294             add_to_current( false );
experimental-genesis  295         }
experimental-genesis  296 
experimental-genesis  297         void new_null( Iter_type begin, Iter_type end )
experimental-genesis  298         {
experimental-genesis  299             assert( is_eq( begin, end, "null" ) );
experimental-genesis  300 
experimental-genesis  301             add_to_current( Value_type() );
experimental-genesis  302         }
experimental-genesis  303 
experimental-genesis  304         void new_int( boost::int64_t i )
experimental-genesis  305         {
experimental-genesis  306             add_to_current( i );
experimental-genesis  307         }
experimental-genesis  308 
experimental-genesis  309         void new_uint64( boost::uint64_t ui )
experimental-genesis  310         {
experimental-genesis  311             add_to_current( ui );
experimental-genesis  312         }
experimental-genesis  313 
experimental-genesis  314         void new_real( double d )
experimental-genesis  315         {
experimental-genesis  316             add_to_current( d );
experimental-genesis  317         }
experimental-genesis  318 
experimental-genesis  319     private:
experimental-genesis  320 
experimental-genesis  321         Semantic_actions& operator=( const Semantic_actions& ); 
experimental-genesis  322                                     // to prevent "assignment operator could not be generated" warning
experimental-genesis  323 
experimental-genesis  324         Value_type* add_first( const Value_type& value )
experimental-genesis  325         {
experimental-genesis  326             assert( current_p_ == 0 );
experimental-genesis  327 
experimental-genesis  328             value_ = value;
experimental-genesis  329             current_p_ = &value_;
experimental-genesis  330             return current_p_;
experimental-genesis  331         }
experimental-genesis  332 
experimental-genesis  333         template< class Array_or_obj >
experimental-genesis  334         void begin_compound()
experimental-genesis  335         {
experimental-genesis  336             if( current_p_ == 0 )
experimental-genesis  337             {
experimental-genesis  338                 add_first( Array_or_obj() );
experimental-genesis  339             }
experimental-genesis  340             else
experimental-genesis  341             {
experimental-genesis  342                 stack_.push_back( current_p_ );
experimental-genesis  343 
experimental-genesis  344                 Array_or_obj new_array_or_obj;   // avoid copy by building new array or object in place
experimental-genesis  345 
experimental-genesis  346                 current_p_ = add_to_current( new_array_or_obj );
experimental-genesis  347             }
experimental-genesis  348         }
experimental-genesis  349 
experimental-genesis  350         void end_compound()
experimental-genesis  351         {
experimental-genesis  352             if( current_p_ != &value_ )
experimental-genesis  353             {
experimental-genesis  354                 current_p_ = stack_.back();
experimental-genesis  355                 
experimental-genesis  356                 stack_.pop_back();
experimental-genesis  357             }    
experimental-genesis  358         }
experimental-genesis  359 
experimental-genesis  360         Value_type* add_to_current( const Value_type& value )
experimental-genesis  361         {
experimental-genesis  362             if( current_p_ == 0 )
experimental-genesis  363             {
experimental-genesis  364                 return add_first( value );
experimental-genesis  365             }
experimental-genesis  366             else if( current_p_->type() == array_type )
experimental-genesis  367             {
experimental-genesis  368                 current_p_->get_array().push_back( value );
experimental-genesis  369 
experimental-genesis  370                 return &current_p_->get_array().back(); 
experimental-genesis  371             }
experimental-genesis  372             
experimental-genesis  373             assert( current_p_->type() == obj_type );
experimental-genesis  374 
experimental-genesis  375             return &Config_type::add( current_p_->get_obj(), name_, value );
experimental-genesis  376         }
experimental-genesis  377 
experimental-genesis  378         Value_type& value_;             // this is the object or array that is being created
experimental-genesis  379         Value_type* current_p_;         // the child object or array that is currently being constructed
experimental-genesis  380 
experimental-genesis  381         std::vector< Value_type* > stack_;   // previous child objects and arrays
experimental-genesis  382 
experimental-genesis  383         String_type name_;              // of current name/value pair
experimental-genesis  384     };
experimental-genesis  385 
experimental-genesis  386     template< typename Iter_type >
experimental-genesis  387     void throw_error( spirit_namespace::position_iterator< Iter_type > i, const std::string& reason )
experimental-genesis  388     {
experimental-genesis  389         throw Error_position( i.get_position().line, i.get_position().column, reason );
experimental-genesis  390     }
experimental-genesis  391 
experimental-genesis  392     template< typename Iter_type >
experimental-genesis  393     void throw_error( Iter_type i, const std::string& reason )
experimental-genesis  394     {
experimental-genesis  395        throw reason;
experimental-genesis  396     }
experimental-genesis  397 
experimental-genesis  398     // the spirit grammer 
experimental-genesis  399     //
experimental-genesis  400     template< class Value_type, class Iter_type >
experimental-genesis  401     class Json_grammer : public spirit_namespace::grammar< Json_grammer< Value_type, Iter_type > >
experimental-genesis  402     {
experimental-genesis  403     public:
experimental-genesis  404 
experimental-genesis  405         typedef Semantic_actions< Value_type, Iter_type > Semantic_actions_t;
experimental-genesis  406 
experimental-genesis  407         Json_grammer( Semantic_actions_t& semantic_actions )
experimental-genesis  408         :   actions_( semantic_actions )
experimental-genesis  409         {
experimental-genesis  410         }
experimental-genesis  411 
experimental-genesis  412         static void throw_not_value( Iter_type begin, Iter_type end )
experimental-genesis  413         {
experimental-genesis  414     	    throw_error( begin, "not a value" );
experimental-genesis  415         }
experimental-genesis  416 
experimental-genesis  417         static void throw_not_array( Iter_type begin, Iter_type end )
experimental-genesis  418         {
experimental-genesis  419     	    throw_error( begin, "not an array" );
experimental-genesis  420         }
experimental-genesis  421 
experimental-genesis  422         static void throw_not_object( Iter_type begin, Iter_type end )
experimental-genesis  423         {
experimental-genesis  424     	    throw_error( begin, "not an object" );
experimental-genesis  425         }
experimental-genesis  426 
experimental-genesis  427         static void throw_not_pair( Iter_type begin, Iter_type end )
experimental-genesis  428         {
experimental-genesis  429     	    throw_error( begin, "not a pair" );
experimental-genesis  430         }
experimental-genesis  431 
experimental-genesis  432         static void throw_not_colon( Iter_type begin, Iter_type end )
experimental-genesis  433         {
experimental-genesis  434     	    throw_error( begin, "no colon in pair" );
experimental-genesis  435         }
experimental-genesis  436 
experimental-genesis  437         static void throw_not_string( Iter_type begin, Iter_type end )
experimental-genesis  438         {
experimental-genesis  439     	    throw_error( begin, "not a string" );
experimental-genesis  440         }
experimental-genesis  441 
experimental-genesis  442         template< typename ScannerT >
experimental-genesis  443         class definition
experimental-genesis  444         {
experimental-genesis  445         public:
experimental-genesis  446 
experimental-genesis  447             definition( const Json_grammer& self )
experimental-genesis  448             {
experimental-genesis  449                 using namespace spirit_namespace;
experimental-genesis  450 
experimental-genesis  451                 typedef typename Value_type::String_type::value_type Char_type;
experimental-genesis  452 
experimental-genesis  453                 // first we convert the semantic action class methods to functors with the 
experimental-genesis  454                 // parameter signature expected by spirit
experimental-genesis  455 
experimental-genesis  456                 typedef boost::function< void( Char_type )            > Char_action;
experimental-genesis  457                 typedef boost::function< void( Iter_type, Iter_type ) > Str_action;
experimental-genesis  458                 typedef boost::function< void( double )               > Real_action;
experimental-genesis  459                 typedef boost::function< void( boost::int64_t )       > Int_action;
experimental-genesis  460                 typedef boost::function< void( boost::uint64_t )      > Uint64_action;
experimental-genesis  461 
experimental-genesis  462                 Char_action   begin_obj  ( boost::bind( &Semantic_actions_t::begin_obj,   &self.actions_, _1 ) );
experimental-genesis  463                 Char_action   end_obj    ( boost::bind( &Semantic_actions_t::end_obj,     &self.actions_, _1 ) );
experimental-genesis  464                 Char_action   begin_array( boost::bind( &Semantic_actions_t::begin_array, &self.actions_, _1 ) );
experimental-genesis  465                 Char_action   end_array  ( boost::bind( &Semantic_actions_t::end_array,   &self.actions_, _1 ) );
experimental-genesis  466                 Str_action    new_name   ( boost::bind( &Semantic_actions_t::new_name,    &self.actions_, _1, _2 ) );
experimental-genesis  467                 Str_action    new_str    ( boost::bind( &Semantic_actions_t::new_str,     &self.actions_, _1, _2 ) );
experimental-genesis  468                 Str_action    new_true   ( boost::bind( &Semantic_actions_t::new_true,    &self.actions_, _1, _2 ) );
experimental-genesis  469                 Str_action    new_false  ( boost::bind( &Semantic_actions_t::new_false,   &self.actions_, _1, _2 ) );
experimental-genesis  470                 Str_action    new_null   ( boost::bind( &Semantic_actions_t::new_null,    &self.actions_, _1, _2 ) );
experimental-genesis  471                 Real_action   new_real   ( boost::bind( &Semantic_actions_t::new_real,    &self.actions_, _1 ) );
experimental-genesis  472                 Int_action    new_int    ( boost::bind( &Semantic_actions_t::new_int,     &self.actions_, _1 ) );
experimental-genesis  473                 Uint64_action new_uint64 ( boost::bind( &Semantic_actions_t::new_uint64,  &self.actions_, _1 ) );
experimental-genesis  474 
experimental-genesis  475                 // actual grammer
experimental-genesis  476 
experimental-genesis  477                 json_
experimental-genesis  478                     = value_ | eps_p[ &throw_not_value ]
experimental-genesis  479                     ;
experimental-genesis  480 
experimental-genesis  481                 value_
experimental-genesis  482                     = string_[ new_str ] 
experimental-genesis  483                     | number_ 
experimental-genesis  484                     | object_ 
experimental-genesis  485                     | array_ 
experimental-genesis  486                     | str_p( "true" ) [ new_true  ] 
experimental-genesis  487                     | str_p( "false" )[ new_false ] 
experimental-genesis  488                     | str_p( "null" ) [ new_null  ]
experimental-genesis  489                     ;
experimental-genesis  490 
experimental-genesis  491                 object_ 
experimental-genesis  492                     = ch_p('{')[ begin_obj ]
experimental-genesis  493                     >> !members_
experimental-genesis  494                     >> ( ch_p('}')[ end_obj ] | eps_p[ &throw_not_object ] )
experimental-genesis  495                     ;
experimental-genesis  496 
experimental-genesis  497                 members_
experimental-genesis  498                     = pair_ >> *( ',' >> pair_ )
experimental-genesis  499                     ;
experimental-genesis  500 
experimental-genesis  501                 pair_
experimental-genesis  502                     = string_[ new_name ]
experimental-genesis  503                     >> ( ':' | eps_p[ &throw_not_colon ] )
experimental-genesis  504                     >> ( value_ | eps_p[ &throw_not_value ] )
experimental-genesis  505                     ;
experimental-genesis  506 
experimental-genesis  507                 array_
experimental-genesis  508                     = ch_p('[')[ begin_array ]
experimental-genesis  509                     >> !elements_
experimental-genesis  510                     >> ( ch_p(']')[ end_array ] | eps_p[ &throw_not_array ] )
experimental-genesis  511                     ;
experimental-genesis  512 
experimental-genesis  513                 elements_
experimental-genesis  514                     = value_ >> *( ',' >> value_ )
experimental-genesis  515                     ;
experimental-genesis  516 
experimental-genesis  517                 string_ 
experimental-genesis  518                     = lexeme_d // this causes white space inside a string to be retained
experimental-genesis  519                       [
experimental-genesis  520                           confix_p
experimental-genesis  521                           ( 
experimental-genesis  522                               '"', 
experimental-genesis  523                               *lex_escape_ch_p,
experimental-genesis  524                               '"'
experimental-genesis  525                           ) 
experimental-genesis  526                       ]
experimental-genesis  527                     ;
experimental-genesis  528 
experimental-genesis  529                 number_
experimental-genesis  530                     = strict_real_p[ new_real   ] 
experimental-genesis  531                     | int64_p      [ new_int    ]
experimental-genesis  532                     | uint64_p     [ new_uint64 ]
experimental-genesis  533                     ;
experimental-genesis  534             }
experimental-genesis  535 
experimental-genesis  536             spirit_namespace::rule< ScannerT > json_, object_, members_, pair_, array_, elements_, value_, string_, number_;
experimental-genesis  537 
experimental-genesis  538             const spirit_namespace::rule< ScannerT >& start() const { return json_; }
experimental-genesis  539         };
experimental-genesis  540 
experimental-genesis  541     private:
experimental-genesis  542 
experimental-genesis  543         Json_grammer& operator=( const Json_grammer& ); // to prevent "assignment operator could not be generated" warning
experimental-genesis  544 
experimental-genesis  545         Semantic_actions_t& actions_;
experimental-genesis  546     };
experimental-genesis  547 
experimental-genesis  548     template< class Iter_type, class Value_type >
experimental-genesis  549     Iter_type read_range_or_throw( Iter_type begin, Iter_type end, Value_type& value )
experimental-genesis  550     {
experimental-genesis  551         Semantic_actions< Value_type, Iter_type > semantic_actions( value );
experimental-genesis  552      
experimental-genesis  553         const spirit_namespace::parse_info< Iter_type > info = 
experimental-genesis  554                             spirit_namespace::parse( begin, end, 
experimental-genesis  555                                                     Json_grammer< Value_type, Iter_type >( semantic_actions ), 
experimental-genesis  556                                                     spirit_namespace::space_p );
experimental-genesis  557 
experimental-genesis  558         if( !info.hit )
experimental-genesis  559         {
experimental-genesis  560             assert( false ); // in theory exception should already have been thrown
experimental-genesis  561             throw_error( info.stop, "error" );
experimental-genesis  562         }
experimental-genesis  563 
experimental-genesis  564         return info.stop;
experimental-genesis  565     }
experimental-genesis  566 
experimental-genesis  567     template< class Iter_type, class Value_type >
experimental-genesis  568     void add_posn_iter_and_read_range_or_throw( Iter_type begin, Iter_type end, Value_type& value )
experimental-genesis  569     {
experimental-genesis  570         typedef spirit_namespace::position_iterator< Iter_type > Posn_iter_t;
experimental-genesis  571 
experimental-genesis  572         const Posn_iter_t posn_begin( begin, end );
experimental-genesis  573         const Posn_iter_t posn_end( end, end );
experimental-genesis  574      
experimental-genesis  575         read_range_or_throw( posn_begin, posn_end, value );
experimental-genesis  576     }
experimental-genesis  577 
experimental-genesis  578     template< class Iter_type, class Value_type >
experimental-genesis  579     bool read_range( Iter_type& begin, Iter_type end, Value_type& value )
experimental-genesis  580     {
experimental-genesis  581         try
experimental-genesis  582         {
experimental-genesis  583             begin = read_range_or_throw( begin, end, value );
experimental-genesis  584 
experimental-genesis  585             return true;
experimental-genesis  586         }
experimental-genesis  587         catch( ... )
experimental-genesis  588         {
experimental-genesis  589             return false;
experimental-genesis  590         }
experimental-genesis  591     }
experimental-genesis  592 
experimental-genesis  593     template< class String_type, class Value_type >
experimental-genesis  594     void read_string_or_throw( const String_type& s, Value_type& value )
experimental-genesis  595     {
experimental-genesis  596         add_posn_iter_and_read_range_or_throw( s.begin(), s.end(), value );
experimental-genesis  597     }
experimental-genesis  598 
experimental-genesis  599     template< class String_type, class Value_type >
experimental-genesis  600     bool read_string( const String_type& s, Value_type& value )
experimental-genesis  601     {
experimental-genesis  602         typename String_type::const_iterator begin = s.begin();
experimental-genesis  603 
experimental-genesis  604         return read_range( begin, s.end(), value );
experimental-genesis  605     }
experimental-genesis  606 
experimental-genesis  607     template< class Istream_type >
experimental-genesis  608     struct Multi_pass_iters
experimental-genesis  609     {
experimental-genesis  610         typedef typename Istream_type::char_type Char_type;
experimental-genesis  611         typedef std::istream_iterator< Char_type, Char_type > istream_iter;
experimental-genesis  612         typedef spirit_namespace::multi_pass< istream_iter > Mp_iter;
experimental-genesis  613 
experimental-genesis  614         Multi_pass_iters( Istream_type& is )
experimental-genesis  615         {
experimental-genesis  616             is.unsetf( std::ios::skipws );
experimental-genesis  617 
experimental-genesis  618             begin_ = spirit_namespace::make_multi_pass( istream_iter( is ) );
experimental-genesis  619             end_   = spirit_namespace::make_multi_pass( istream_iter() );
experimental-genesis  620         }
experimental-genesis  621 
experimental-genesis  622         Mp_iter begin_;
experimental-genesis  623         Mp_iter end_;
experimental-genesis  624     };
experimental-genesis  625 
experimental-genesis  626     template< class Istream_type, class Value_type >
experimental-genesis  627     bool read_stream( Istream_type& is, Value_type& value )
experimental-genesis  628     {
experimental-genesis  629         Multi_pass_iters< Istream_type > mp_iters( is );
experimental-genesis  630 
experimental-genesis  631         return read_range( mp_iters.begin_, mp_iters.end_, value );
experimental-genesis  632     }
experimental-genesis  633 
experimental-genesis  634     template< class Istream_type, class Value_type >
experimental-genesis  635     void read_stream_or_throw( Istream_type& is, Value_type& value )
experimental-genesis  636     {
experimental-genesis  637         const Multi_pass_iters< Istream_type > mp_iters( is );
experimental-genesis  638 
experimental-genesis  639         add_posn_iter_and_read_range_or_throw( mp_iters.begin_, mp_iters.end_, value );
experimental-genesis  640     }
experimental-genesis  641 }
experimental-genesis  642 
experimental-genesis  643 #endif