wibble 1.1
Public Types | Public Member Functions | Public Attributes | List of all members
wibble::Parser< Token, Stream > Struct Template Reference

#include <parse.h>

Collaboration diagram for wibble::Parser< Token, Stream >:
Collaboration graph
[legend]

Public Types

typedef Token::Id TokenId
 
typedef ParseContext< Token, Stream > Context
 
typedef Context::Fail Fail
 
typedef Fail::Type FailType
 

Public Member Functions

bool valid () const
 
Context & context ()
 
int position ()
 
void rewind (int i)
 
void fail (const char *what, FailType type=FailType::Syntax) __attribute__((noreturn))
 
void semicolon ()
 
void colon ()
 
Token eat (TokenId id)
 
template<typename F , typename G >
void either (F f, void(G::*g)())
 
template<typename F , typename G >
bool maybe (F f, G g)
 
template<typename F , typename G , typename H >
bool maybe (F f, G g, H h)
 
template<typename F >
bool maybe (void(F::*f)())
 
bool maybe (TokenId id)
 
template<typename T , typename I >
void many (I i)
 
template<typename T , typename I >
void list (I i, TokenId sep)
 
template<typename T , typename I , typename F >
void list (I i, void(F::*sep)())
 
template<typename T , typename I >
void list (I i, TokenId first, TokenId sep, TokenId last)
 
Token eat (bool _fail=true)
 
bool next (TokenId id)
 
 Parser (Context &c)
 
 Parser ()
 

Public Attributes

Context * ctx
 
int _position
 

Member Typedef Documentation

◆ Context

template<typename Token , typename Stream >
typedef ParseContext< Token, Stream > wibble::Parser< Token, Stream >::Context

◆ Fail

template<typename Token , typename Stream >
typedef Context::Fail wibble::Parser< Token, Stream >::Fail

◆ FailType

template<typename Token , typename Stream >
typedef Fail::Type wibble::Parser< Token, Stream >::FailType

◆ TokenId

template<typename Token , typename Stream >
typedef Token::Id wibble::Parser< Token, Stream >::TokenId

Constructor & Destructor Documentation

◆ Parser() [1/2]

template<typename Token , typename Stream >
wibble::Parser< Token, Stream >::Parser ( Context &  c)
inline

◆ Parser() [2/2]

template<typename Token , typename Stream >
wibble::Parser< Token, Stream >::Parser ( )
inline

Member Function Documentation

◆ colon()

template<typename Token , typename Stream >
void wibble::Parser< Token, Stream >::colon ( )
inline

References wibble::Parser< Token, Stream >::eat(), wibble::Parser< Token, Stream >::fail(), and wibble::Parser< Token, Stream >::rewind().

◆ context()

template<typename Token , typename Stream >
Context & wibble::Parser< Token, Stream >::context ( )
inline

References assert, and wibble::Parser< Token, Stream >::ctx.

Referenced by wibble::Parser< Token, Stream >::eat(), wibble::Parser< Token, Stream >::fail(), wibble::Parser< Token, Stream >::list(), wibble::Parser< Token, Stream >::list(), wibble::Parser< Token, Stream >::many(), wibble::Parser< Token, Stream >::position(), and wibble::Parser< Token, Stream >::rewind().

◆ eat() [1/2]

template<typename Token , typename Stream >
Token wibble::Parser< Token, Stream >::eat ( bool  _fail = true)
inline

References wibble::Parser< Token, Stream >::_position, wibble::Parser< Token, Stream >::context(), wibble::Parser< Token, Stream >::fail(), and wibble::Parser< Token, Stream >::rewind().

◆ eat() [2/2]

template<typename Token , typename Stream >
Token wibble::Parser< Token, Stream >::eat ( TokenId  id)
inline

References wibble::Parser< Token, Stream >::eat(), wibble::Parser< Token, Stream >::fail(), and wibble::Parser< Token, Stream >::rewind().

Referenced by wibble::Parser< Token, Stream >::colon(), wibble::Parser< Token, Stream >::eat(), wibble::Parser< Token, Stream >::list(), wibble::Parser< Token, Stream >::maybe(), wibble::Parser< Token, Stream >::next(), and wibble::Parser< Token, Stream >::semicolon().

◆ either()

template<typename Token , typename Stream >
template<typename F , typename G >
void wibble::Parser< Token, Stream >::either ( F  f,
void(G::*)()  g 
)
inline

References wibble::Parser< Token, Stream >::maybe().

◆ fail()

template<typename Token , typename Stream >
void wibble::Parser< Token, Stream >::fail ( const char *  what,
FailType  type = FailType::Syntax 
)
inline

References wibble::Parser< Token, Stream >::_position, and wibble::Parser< Token, Stream >::context().

Referenced by wibble::Parser< Token, Stream >::colon(), wibble::Parser< Token, Stream >::eat(), wibble::Parser< Token, Stream >::eat(), wibble::Parser< Token, Stream >::maybe(), and wibble::Parser< Token, Stream >::semicolon().

◆ list() [1/3]

template<typename Token , typename Stream >
template<typename T , typename I >
void wibble::Parser< Token, Stream >::list ( I  i,
TokenId  first,
TokenId  sep,
TokenId  last 
)
inline

References wibble::Parser< Token, Stream >::eat().

◆ list() [2/3]

template<typename Token , typename Stream >
template<typename T , typename I >
void wibble::Parser< Token, Stream >::list ( I  i,
TokenId  sep 
)
inline

References wibble::Parser< Token, Stream >::context(), and wibble::Parser< Token, Stream >::next().

◆ list() [3/3]

template<typename Token , typename Stream >
template<typename T , typename I , typename F >
void wibble::Parser< Token, Stream >::list ( I  i,
void(F::*)()  sep 
)
inline

References wibble::Parser< Token, Stream >::context(), wibble::Parser< Token, Stream >::position(), and wibble::Parser< Token, Stream >::rewind().

◆ many()

template<typename Token , typename Stream >
template<typename T , typename I >
void wibble::Parser< Token, Stream >::many ( I  i)
inline

References wibble::Parser< Token, Stream >::context(), wibble::Parser< Token, Stream >::position(), and wibble::Parser< Token, Stream >::rewind().

◆ maybe() [1/4]

template<typename Token , typename Stream >
template<typename F , typename G >
bool wibble::Parser< Token, Stream >::maybe ( F  f,
G  g 
)
inline

References wibble::Parser< Token, Stream >::maybe().

Referenced by wibble::Parser< Token, Stream >::either(), wibble::Parser< Token, Stream >::maybe(), and wibble::Parser< Token, Stream >::maybe().

◆ maybe() [2/4]

template<typename Token , typename Stream >
template<typename F , typename G , typename H >
bool wibble::Parser< Token, Stream >::maybe ( F  f,
G  g,
H  h 
)
inline

References wibble::Parser< Token, Stream >::maybe().

◆ maybe() [3/4]

template<typename Token , typename Stream >
bool wibble::Parser< Token, Stream >::maybe ( TokenId  id)
inline

References wibble::Parser< Token, Stream >::eat(), wibble::Parser< Token, Stream >::position(), and wibble::Parser< Token, Stream >::rewind().

◆ maybe() [4/4]

template<typename Token , typename Stream >
template<typename F >
bool wibble::Parser< Token, Stream >::maybe ( void(F::*)()  f)
inline

References wibble::Parser< Token, Stream >::fail(), wibble::Parser< Token, Stream >::position(), and wibble::Parser< Token, Stream >::rewind().

◆ next()

template<typename Token , typename Stream >
bool wibble::Parser< Token, Stream >::next ( TokenId  id)
inline

References wibble::Parser< Token, Stream >::eat(), and wibble::Parser< Token, Stream >::rewind().

Referenced by wibble::Parser< Token, Stream >::list().

◆ position()

template<typename Token , typename Stream >
int wibble::Parser< Token, Stream >::position ( )
inline

References wibble::Parser< Token, Stream >::context().

Referenced by wibble::Parser< Token, Stream >::list(), wibble::Parser< Token, Stream >::many(), wibble::Parser< Token, Stream >::maybe(), and wibble::Parser< Token, Stream >::maybe().

◆ rewind()

template<typename Token , typename Stream >
void wibble::Parser< Token, Stream >::rewind ( int  i)
inline

References wibble::Parser< Token, Stream >::_position, and wibble::Parser< Token, Stream >::context().

Referenced by wibble::Parser< Token, Stream >::colon(), wibble::Parser< Token, Stream >::eat(), wibble::Parser< Token, Stream >::eat(), wibble::Parser< Token, Stream >::list(), wibble::Parser< Token, Stream >::many(), wibble::Parser< Token, Stream >::maybe(), wibble::Parser< Token, Stream >::maybe(), wibble::Parser< Token, Stream >::next(), and wibble::Parser< Token, Stream >::semicolon().

◆ semicolon()

template<typename Token , typename Stream >
void wibble::Parser< Token, Stream >::semicolon ( )
inline

References wibble::Parser< Token, Stream >::eat(), wibble::Parser< Token, Stream >::fail(), and wibble::Parser< Token, Stream >::rewind().

◆ valid()

template<typename Token , typename Stream >
bool wibble::Parser< Token, Stream >::valid ( ) const
inline

References wibble::Parser< Token, Stream >::ctx.

Member Data Documentation

◆ _position

template<typename Token , typename Stream >
int wibble::Parser< Token, Stream >::_position

Referenced by wibble::Parser< Token, Stream >::eat(), wibble::Parser< Token, Stream >::fail(), and wibble::Parser< Token, Stream >::rewind().

◆ ctx

template<typename Token , typename Stream >
Context* wibble::Parser< Token, Stream >::ctx

Referenced by wibble::Parser< Token, Stream >::context(), and wibble::Parser< Token, Stream >::valid().

The documentation for this struct was generated from the following file:
Generated by doxygen 1.9.8