parser-types.hpp
00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
00029
00030
00031
00032
00033
00034
00035
00036
00037 #ifndef PARSER_TYPES_HPP
00038 #define PARSER_TYPES_HPP
00039
00040 #include "../rtt-config.h"
00041
00042 #include <boost/version.hpp>
00043
00044 #if BOOST_VERSION >= 103800
00045 #include <boost/spirit/include/classic.hpp>
00046 namespace boost_spirit = boost::spirit::classic;
00047 #else
00048 #include <boost/spirit.hpp>
00049 namespace boost_spirit = boost::spirit;
00050 #endif
00051 #include "../CommandInterface.hpp"
00052
00053 namespace RTT
00054 {
00055 class ProgramGraph;
00056 class VertexNode;
00057 class EdgeCondition;
00058 }
00059
00060 namespace RTT
00061 {
00062 template< class T>
00063 class Property;
00064 class PropertyBag;
00065 class PropertyBase;
00066 class ConditionInterface;
00067 }
00068
00069 namespace RTT
00070 {
00071 class TaskContext;
00072
00073 namespace detail {
00074 class ExpressionParser;
00075 class ArgumentsParser;
00076 }
00077
00078
00079
00080
00081
00082
00083 using namespace boost_spirit;
00084
00085 typedef std::string our_buffer_t;
00086 typedef our_buffer_t::iterator our_iterator_t;
00087 typedef position_iterator<our_iterator_t> our_pos_iter_t;
00088
00089
00090 typedef our_pos_iter_t iter_t;
00091
00092
00093
00094
00095
00096
00097
00098
00099 # define RULE( name, def ) \
00100 boost_spirit::contiguous<boost_spirit::sequence<boost_spirit::alpha_parser,boost_spirit::kleene_star<boost_spirit::chset<char> > > > name = (def)
00101
00102
00103
00104
00105
00106
00107 #if 1
00108
00111 #if defined( WIN32 )
00112 #ifdef NDEBUG
00113 #pragma optimize( "", off)
00114 #endif
00115 #endif
00116
00121 struct RTT_API eol_skip_functor
00122 {
00123 private:
00124 eol_skip_functor();
00125 public:
00129 eol_skip_functor(bool& skipref) : skipeol(skipref) {}
00130 eol_skip_functor(eol_skip_functor const& orig) : skipeol( orig.skipeol ) {}
00131 bool& skipeol;
00132 typedef nil_t result_t;
00133
00134 template <typename ScannerT>
00135 std::ptrdiff_t
00136 operator()(ScannerT const& scan, result_t& result) const {
00137 if (scan.at_end() || skipeol == false )
00138 return -1;
00139
00140 std::size_t len = 0;
00141
00142 if ( *scan == '\r') {
00143 ++scan;
00144 ++len;
00145 }
00146
00147 if ( !scan.at_end() && *scan == '\n') {
00148 ++scan;
00149 ++len;
00150 }
00151 if ( len > 0 ) {
00152 return len;
00153 }
00154
00155 return -1;
00156 }
00157 };
00158 #if defined( WIN32 )
00159 #ifdef NDEBUG
00160 #pragma optimize( "", on)
00161 #endif
00162 #endif
00163
00166 # define SKIP_PARSER \
00167 ( comment_p( "#" ) | comment_p( "//" ) | \
00168 comment_p( "" ) | (space_p - eol_p) | functor_parser<eol_skip_functor>( eol_skip_functor(skipref) ) )
00169
00170
00171
00172
00173
00174
00175
00176
00177
00178 typedef boost_spirit::alternative<boost_spirit::alternative<boost_spirit::alternative<boost_spirit::alternative<boost_spirit::confix_parser<boost_spirit::impl::string_as_parser::type,boost_spirit::kleene_star<boost_spirit::anychar_parser>,boost_spirit::alternative<boost_spirit::eol_parser,boost_spirit::end_parser>,boost_spirit::unary_parser_category,boost_spirit::non_nested,boost_spirit::is_lexeme>,boost_spirit::confix_parser<boost_spirit::impl::string_as_parser::type,boost_spirit::kleene_star<boost_spirit::anychar_parser>,boost_spirit::alternative<boost_spirit::eol_parser,boost_spirit::end_parser>,boost_spirit::unary_parser_category,boost_spirit::non_nested,boost_spirit::is_lexeme> >,boost_spirit::confix_parser<boost_spirit::impl::string_as_parser::type,boost_spirit::kleene_star<boost_spirit::anychar_parser>,boost_spirit::impl::string_as_parser::type,boost_spirit::unary_parser_category,boost_spirit::non_nested,boost_spirit::is_lexeme> >,boost_spirit::difference<boost_spirit::space_parser,boost_spirit::eol_parser> >,boost_spirit::functor_parser<RTT::eol_skip_functor> > skip_parser_t;
00179
00180
00181
00182
00183
00184
00185
00186
00187
00188 #else
00189
00190
00191
00192
00193
00194
00195
00196
00197
00198
00199
00200 # define SKIP_PARSER \
00201 ( comment_p( "#" ) | comment_p( "//" ) | \
00202 comment_p( "" ) | (space_p - eol_p) )
00203
00204
00205 typedef __typeof__( SKIP_PARSER ) skip_parser_t;
00206 #endif
00207 typedef skip_parser_iteration_policy<skip_parser_t> iter_pol_t;
00208 typedef scanner_policies<iter_pol_t> scanner_pol_t;
00209 typedef scanner<iter_t, scanner_pol_t> scanner_t;
00210 typedef rule<scanner_t> rule_t;
00211 typedef rule<lexeme_scanner<scanner_t>::type > lexeme_rule_t;
00212
00213 }
00214
00215 #endif