spot  2.11.6
Classes | Public Types | Public Member Functions | Static Public Member Functions | Static Public Attributes | List of all members
tlyy::parser Class Reference

A Bison parser. More...

#include <spot/parsetl/parsetl.hh>

Collaboration diagram for tlyy::parser:

Classes

struct  basic_symbol
 
struct  by_kind
 Type access provider for token (enum) based symbols. More...
 
class  context
 
class  semantic_type
 
struct  symbol_kind
 Symbol kinds. More...
 
struct  symbol_type
 "External" symbols: returned by the scanner. More...
 
struct  syntax_error
 Syntax errors thrown from user actions. More...
 
struct  token
 Token kinds. More...
 

Public Types

typedef spot::location location_type
 Symbol locations. More...
 
typedef token::yytokentype token_kind_type
 Token kind, as returned by yylex. More...
 
typedef token_kind_type token_type
 Backward compatibility alias (Bison 3.6). More...
 
typedef symbol_kind::symbol_kind_type symbol_kind_type
 (Internal) symbol kind. More...
 
typedef by_kind by_type
 Backward compatibility for a private implementation detail (Bison 3.6). More...
 
typedef int debug_level_type
 Type for debugging levels. More...
 

Public Member Functions

 parser (spot::parse_error_list &error_list_yyarg, spot::environment &parse_environment_yyarg, spot::formula &result_yyarg)
 Build a parser object. More...
 
int operator() ()
 
virtual int parse ()
 
std::ostream & debug_stream () const
 The current debugging stream. More...
 
void set_debug_stream (std::ostream &)
 Set the current debugging stream. More...
 
debug_level_type debug_level () const
 The current debugging level. More...
 
void set_debug_level (debug_level_type l)
 Set the current debugging level. More...
 
virtual void error (const location_type &loc, const std::string &msg)
 
void error (const syntax_error &err)
 Report a syntax error. More...
 

Static Public Member Functions

static std::string symbol_name (symbol_kind_type yysymbol)
 
static symbol_type make_TLYYEOF (const location_type &l)
 
static symbol_type make_TLYYerror (const location_type &l)
 
static symbol_type make_TLYYUNDEF (const location_type &l)
 
static symbol_type make_START_LTL (const location_type &l)
 
static symbol_type make_START_LBT (const location_type &l)
 
static symbol_type make_START_SERE (const location_type &l)
 
static symbol_type make_START_BOOL (const location_type &l)
 
static symbol_type make_PAR_OPEN (const location_type &l)
 
static symbol_type make_PAR_CLOSE (const location_type &l)
 
static symbol_type make_PAR_BLOCK (const std::string &v, const location_type &l)
 
static symbol_type make_BRA_BLOCK (const std::string &v, const location_type &l)
 
static symbol_type make_BRA_BANG_BLOCK (const std::string &v, const location_type &l)
 
static symbol_type make_BRACE_OPEN (const location_type &l)
 
static symbol_type make_BRACE_CLOSE (const location_type &l)
 
static symbol_type make_BRACE_BANG_CLOSE (const location_type &l)
 
static symbol_type make_OP_OR (const location_type &l)
 
static symbol_type make_OP_XOR (const location_type &l)
 
static symbol_type make_OP_AND (const location_type &l)
 
static symbol_type make_OP_SHORT_AND (const location_type &l)
 
static symbol_type make_OP_IMPLIES (const location_type &l)
 
static symbol_type make_OP_EQUIV (const location_type &l)
 
static symbol_type make_OP_U (const location_type &l)
 
static symbol_type make_OP_R (const location_type &l)
 
static symbol_type make_OP_W (const location_type &l)
 
static symbol_type make_OP_M (const location_type &l)
 
static symbol_type make_OP_F (const location_type &l)
 
static symbol_type make_OP_G (const location_type &l)
 
static symbol_type make_OP_X (const location_type &l)
 
static symbol_type make_OP_STRONG_X (const location_type &l)
 
static symbol_type make_OP_NOT (const location_type &l)
 
static symbol_type make_OP_XREP (const location_type &l)
 
static symbol_type make_OP_FREP (const location_type &l)
 
static symbol_type make_OP_GREP (const location_type &l)
 
static symbol_type make_OP_STAR (const location_type &l)
 
static symbol_type make_OP_BSTAR (const location_type &l)
 
static symbol_type make_OP_BFSTAR (const location_type &l)
 
static symbol_type make_OP_PLUS (const location_type &l)
 
static symbol_type make_OP_FPLUS (const location_type &l)
 
static symbol_type make_OP_STAR_OPEN (const location_type &l)
 
static symbol_type make_OP_FSTAR_OPEN (const location_type &l)
 
static symbol_type make_OP_EQUAL_OPEN (const location_type &l)
 
static symbol_type make_OP_GOTO_OPEN (const location_type &l)
 
static symbol_type make_OP_SQBKT_CLOSE (const location_type &l)
 
static symbol_type make_OP_SQBKT_STRONG_CLOSE (const location_type &l)
 
static symbol_type make_OP_SQBKT_NUM (const unsigned &v, const location_type &l)
 
static symbol_type make_OP_UNBOUNDED (const location_type &l)
 
static symbol_type make_OP_SQBKT_SEP (const location_type &l)
 
static symbol_type make_OP_UCONCAT (const location_type &l)
 
static symbol_type make_OP_ECONCAT (const location_type &l)
 
static symbol_type make_OP_UCONCAT_NONO (const location_type &l)
 
static symbol_type make_OP_ECONCAT_NONO (const location_type &l)
 
static symbol_type make_OP_FIRST_MATCH (const location_type &l)
 
static symbol_type make_ATOMIC_PROP (const std::string &v, const location_type &l)
 
static symbol_type make_OP_CONCAT (const location_type &l)
 
static symbol_type make_OP_FUSION (const location_type &l)
 
static symbol_type make_CONST_TRUE (const location_type &l)
 
static symbol_type make_CONST_FALSE (const location_type &l)
 
static symbol_type make_END_OF_INPUT (const location_type &l)
 
static symbol_type make_OP_POST_NEG (const location_type &l)
 
static symbol_type make_OP_POST_POS (const location_type &l)
 
static symbol_type make_OP_DELAY_N (const unsigned &v, const location_type &l)
 
static symbol_type make_OP_DELAY_OPEN (const location_type &l)
 
static symbol_type make_OP_DELAY_PLUS (const location_type &l)
 
static symbol_type make_OP_DELAY_STAR (const location_type &l)
 

Static Public Attributes

static const symbol_kind_type YYNTOKENS = symbol_kind::YYNTOKENS
 The number of tokens. More...
 

Detailed Description

A Bison parser.

Member Typedef Documentation

◆ by_type

Backward compatibility for a private implementation detail (Bison 3.6).

◆ debug_level_type

Type for debugging levels.

◆ location_type

typedef spot::location tlyy::parser::location_type

Symbol locations.

◆ symbol_kind_type

(Internal) symbol kind.

◆ token_kind_type

typedef token::yytokentype tlyy::parser::token_kind_type

Token kind, as returned by yylex.

◆ token_type

typedef token_kind_type tlyy::parser::token_type

Backward compatibility alias (Bison 3.6).

Constructor & Destructor Documentation

◆ parser()

tlyy::parser::parser ( spot::parse_error_list error_list_yyarg,
spot::environment parse_environment_yyarg,
spot::formula result_yyarg 
)

Build a parser object.

Member Function Documentation

◆ debug_level()

debug_level_type tlyy::parser::debug_level ( ) const

The current debugging level.

◆ debug_stream()

std::ostream& tlyy::parser::debug_stream ( ) const

The current debugging stream.

◆ error() [1/2]

virtual void tlyy::parser::error ( const location_type loc,
const std::string &  msg 
)
virtual

Report a syntax error.

Parameters
locwhere the syntax error is found.
msga description of the syntax error.

◆ error() [2/2]

void tlyy::parser::error ( const syntax_error err)

Report a syntax error.

◆ operator()()

int tlyy::parser::operator() ( )

Parse. An alias for parse ().

Returns
0 iff parsing succeeded.

◆ parse()

virtual int tlyy::parser::parse ( )
virtual

Parse.

Returns
0 iff parsing succeeded.

◆ set_debug_level()

void tlyy::parser::set_debug_level ( debug_level_type  l)

Set the current debugging level.

◆ set_debug_stream()

void tlyy::parser::set_debug_stream ( std::ostream &  )

Set the current debugging stream.

◆ symbol_name()

static std::string tlyy::parser::symbol_name ( symbol_kind_type  yysymbol)
static

The user-facing name of the symbol whose (internal) number is YYSYMBOL. No bounds checking.

Member Data Documentation

◆ YYNTOKENS

const symbol_kind_type tlyy::parser::YYNTOKENS = symbol_kind::YYNTOKENS
static

The number of tokens.


The documentation for this class was generated from the following file:

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Fri Feb 27 2015 10:00:07 for spot by doxygen 1.9.1