syn::Parsing< F > Class Template Reference

Methods for parsing terms and atoms with callback actions. More...

#include <basic.h>

Collaboration diagram for syn::Parsing< F >:

Collaboration graph
[legend]

List of all members.

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.


Detailed Description

template<class F>
class syn::Parsing< F >

Methods for parsing terms and atoms with callback actions.


Constructor & Destructor Documentation

template<class F>
syn::Parsing< F >::Parsing ( F &  a  )  [inline]

Constructor.


Member Function Documentation

template<class F>
const char* syn::Parsing< F >::parse_atom ( const char *  head  )  [inline]

Parse an atom.,.

template<class F>
const char* syn::Parsing< F >::parse_id ( const char *  head  )  [inline]

Parse an identifier (variable or functor).,.

template<class F>
const char* syn::Parsing< F >::parse_list ( const char *  head  )  [inline]

Parse a list of terms.

template<class F>
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

template<class F>
const char* syn::Parsing< F >::parse_termlist ( const char *  head  )  [inline]

Parse a term which is a list,.

template<class F>
const char* syn::Parsing< F >::parse_var ( const char *  head  )  [inline]

Parse a variable.

template<class F>
void syn::Parsing< F >::set_err ( const char *  err  )  [inline]

Set error description.


Member Data Documentation

template<class F>
F& syn::Parsing< F >::action [private]

Callback action.

template<class F>
const char* syn::Parsing< F >::err_desc [private]

Pointer to error description.


The documentation for this class was generated from the following file:
Generated on Sun Nov 23 14:52:46 2008 for Typing linear constraints by  doxygen 1.5.4