knowrob::parsers::terms Namespace Reference

Typedefs
using	TermRule = boost::spirit::qi::rule< std::string::const_iterator, std::shared_ptr< Term >(), boost::spirit::ascii::space_type >
using	VariableRule = boost::spirit::qi::rule< std::string::const_iterator, std::shared_ptr< Variable >(), boost::spirit::ascii::space_type >
using	AtomRule = boost::spirit::qi::rule< std::string::const_iterator, std::shared_ptr< Atom >(), boost::spirit::ascii::space_type >
using	FunctionRule = boost::spirit::qi::rule< std::string::const_iterator, std::shared_ptr< Function >(), boost::spirit::ascii::space_type >

Functions
AtomRule &	iri ()
AtomRule &	atom_regular ()
AtomRule &	atom ()
TermRule &	string ()
TermRule &	number ()
TermRule &	blank ()
TermRule &	xsd ()
TermRule &	atomic ()
VariableRule &	var_upper ()
VariableRule &	var_question ()
VariableRule &	var ()
TermRule &	atomic_list ()
TermRule &	nil ()
TermRule &	key_value_pair ()
TermRule &	option ()
TermRule &	options ()
TermRule &	options_or_nil ()
TermRule &	term ()
FunctionRule &	function ()
auto &	term_and_function ()

Typedef Documentation

AtomRule

typedef boost::spirit::qi::rule< std::string::const_iterator, std::shared_ptr< Atom >(), boost::spirit::ascii::space_type > knowrob::parsers::terms::AtomRule

Definition at line 18 of file terms.h.

FunctionRule

typedef boost::spirit::qi::rule< std::string::const_iterator, std::shared_ptr< Function >(), boost::spirit::ascii::space_type > knowrob::parsers::terms::FunctionRule

Definition at line 19 of file terms.h.

TermRule

typedef boost::spirit::qi::rule< std::string::const_iterator, std::shared_ptr< Term >(), boost::spirit::ascii::space_type > knowrob::parsers::terms::TermRule

Definition at line 16 of file terms.h.

VariableRule

typedef boost::spirit::qi::rule< std::string::const_iterator, std::shared_ptr< Variable >(), boost::spirit::ascii::space_type > knowrob::parsers::terms::VariableRule

Definition at line 17 of file terms.h.

Function Documentation

atom()

AtomRule & knowrob::parsers::terms::atom

(

)

Definition at line 59 of file terms.cpp.

                     {
        RETURN_ATOM_RULE(iri() | atom_regular());
    }

atom_regular()

AtomRule & knowrob::parsers::terms::atom_regular

(

)

Definition at line 55 of file terms.cpp.

                             {
        RETURN_ATOM_RULE(str::atom()[qi::_val = boost::phoenix::bind(&makeAtom, qi::_1)]);
    }

atomic()

TermRule & knowrob::parsers::terms::atomic

(

)

Definition at line 79 of file terms.cpp.

                       {
        RETURN_TERM_RULE(atom() | string() | xsd() | number());
    }

atomic_list()

TermRule & knowrob::parsers::terms::atomic_list

(

)

Definition at line 95 of file terms.cpp.

                            {
        RETURN_TERM_RULE(('[' >> (atomic() % ',') >> ']')[qi::_val = ptr_<ListTerm>()(qi::_1)]);
    }

blank()

TermRule & knowrob::parsers::terms::blank

(

)

Definition at line 71 of file terms.cpp.

                      {
        RETURN_TERM_RULE(str::blank()[qi::_val = ptr_<String>()(qi::_1)]);
    }

function()

FunctionRule & knowrob::parsers::terms::function

(

)

Definition at line 140 of file terms.cpp.

                             {
        RETURN_FUNCTION_RULE(term_and_function().function);
    }

iri()

AtomRule & knowrob::parsers::terms::iri

(

)

Definition at line 51 of file terms.cpp.

                    {
        RETURN_ATOM_RULE(str::iri()[qi::_val = boost::phoenix::bind(&makeIRI, qi::_1)]);
    }

key_value_pair()

TermRule & knowrob::parsers::terms::key_value_pair

(

)

Definition at line 103 of file terms.cpp.

                               {
        static auto equalFunctor = Atom::Tabled("=");
        RETURN_TERM_RULE((atom() >> '=' >> atomic())
                         [qi::_val = ptr_<Function>()(equalFunctor,
                                                      boost::phoenix::bind(&createTermVector2, qi::_1, qi::_2))]);
    }

nil()

TermRule & knowrob::parsers::terms::nil

(

)

Definition at line 99 of file terms.cpp.

                    {
        RETURN_TERM_RULE(qi::attr(ListTerm::nil()));
    }

number()

TermRule & knowrob::parsers::terms::number

(

)

Definition at line 67 of file terms.cpp.

                       {
        RETURN_TERM_RULE(qi::double_[qi::_val = ptr_<Double>()(qi::_1)]);
    }

option()

TermRule & knowrob::parsers::terms::option

(

)

Definition at line 110 of file terms.cpp.

                       {
        RETURN_TERM_RULE(key_value_pair() | atomic() | blank());
    }

options()

TermRule & knowrob::parsers::terms::options

(

)

Definition at line 114 of file terms.cpp.

                        {
        RETURN_TERM_RULE(('[' >> (option() % ',') >> ']')[qi::_val = ptr_<ListTerm>()(qi::_1)]);
    }

options_or_nil()

TermRule & knowrob::parsers::terms::options_or_nil

(

)

Definition at line 118 of file terms.cpp.

                               {
        RETURN_TERM_RULE(options() | nil());
    }

string()

TermRule & knowrob::parsers::terms::string

(

)

Definition at line 63 of file terms.cpp.

                       {
        RETURN_TERM_RULE(double_quotes()[qi::_val = ptr_<String>()(qi::_1)]);
    }

term()

TermRule & knowrob::parsers::terms::term

(

)

Definition at line 136 of file terms.cpp.

                     {
        RETURN_TERM_RULE(term_and_function().term);
    }

term_and_function()

auto& knowrob::parsers::terms::term_and_function

(

)

Definition at line 131 of file terms.cpp.

                              {
        static term_and_function_parsers p;
        return p;
    }

var()

VariableRule & knowrob::parsers::terms::var

(

)

Definition at line 91 of file terms.cpp.

                        {
        RETURN_VAR_RULE(var_upper() | var_question());
    }

var_question()

VariableRule & knowrob::parsers::terms::var_question

(

)

Definition at line 87 of file terms.cpp.

                                 {
        RETURN_VAR_RULE('?' >> str::lower_prefix()[qi::_val = ptr_<Variable>()(qi::_1)]);
    }

var_upper()

VariableRule & knowrob::parsers::terms::var_upper

(

)

Definition at line 83 of file terms.cpp.

                              {
        RETURN_VAR_RULE(str::upper_prefix()[qi::_val = ptr_<Variable>()(qi::_1)]);
    }

xsd()

TermRule & knowrob::parsers::terms::xsd

(

)

Definition at line 75 of file terms.cpp.

                    {
        RETURN_TERM_RULE((xsd_value() >> "^^" >> iri())[qi::_val = boost::phoenix::bind(&makeXSD, qi::_1, qi::_2)]);
    }