#include <basic.h>
Public Member Functions | |
const char * | parse_atom (const char *head) |
Parse an atom.,. | |
const char * | parse_id (const char *head) |
Parse an identifier (variable or functor).,. | |
const char * | parse_list (const char *head) |
Parse a list of terms. | |
const char * | parse_term (const char *head) |
Parse terms. | |
const char * | parse_termlist (const char *head) |
Parse a term which is a list,. | |
const char * | parse_var (const char *head) |
Parse a variable. | |
Parsing (F &a) | |
Constructor. | |
void | set_err (const char *err) |
Set error description. | |
Private Attributes | |
F & | action |
Callback action. | |
const char * | err_desc |
Pointer to error description. |
syn::Parsing< F >::Parsing | ( | F & | a | ) | [inline] |
Constructor.
const char* syn::Parsing< F >::parse_atom | ( | const char * | head | ) | [inline] |
Parse an atom.,.
const char* syn::Parsing< F >::parse_id | ( | const char * | head | ) | [inline] |
Parse an identifier (variable or functor).,.
const char* syn::Parsing< F >::parse_list | ( | const char * | head | ) | [inline] |
Parse a list of terms.
const char* syn::Parsing< F >::parse_term | ( | const char * | head | ) | [inline] |
Parse terms.
Terms are defined by the following grammatic: T ::= a | V | f(LT) | TL -- term TL ::= [] | [LT] | [LT|TL] -- term list LT ::= T | T,LT -- list of term V ::= _ | Uppercaseidentifier -- variable
const char* syn::Parsing< F >::parse_termlist | ( | const char * | head | ) | [inline] |
Parse a term which is a list,.
const char* syn::Parsing< F >::parse_var | ( | const char * | head | ) | [inline] |
Parse a variable.
void syn::Parsing< F >::set_err | ( | const char * | err | ) | [inline] |
Set error description.
F& syn::Parsing< F >::action [private] |
Callback action.
const char* syn::Parsing< F >::err_desc [private] |
Pointer to error description.