spot 2.12.2
|
A Bison parser. More...
#include <spot/parsetl/parsetl.hh>
Classes | |
struct | basic_symbol |
struct | by_kind |
Type access provider for token (enum) based symbols. More... | |
class | context |
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... | |
class | value_type |
Public Types | |
typedef value_type | semantic_type |
Backward compatibility (Bison 3.8). More... | |
typedef spot::location | location_type |
Symbol locations. More... | |
typedef token::token_kind_type | 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... | |
A Bison parser.
typedef by_kind tlyy::parser::by_type |
Backward compatibility for a private implementation detail (Bison 3.6).
typedef int tlyy::parser::debug_level_type |
Type for debugging levels.
typedef spot::location tlyy::parser::location_type |
Symbol locations.
Backward compatibility (Bison 3.8).
(Internal) symbol kind.
typedef token::token_kind_type tlyy::parser::token_kind_type |
Token kind, as returned by yylex.
typedef token_kind_type tlyy::parser::token_type |
Backward compatibility alias (Bison 3.6).
tlyy::parser::parser | ( | spot::parse_error_list & | error_list_yyarg, |
spot::environment & | parse_environment_yyarg, | ||
spot::formula & | result_yyarg | ||
) |
Build a parser object.
debug_level_type tlyy::parser::debug_level | ( | ) | const |
The current debugging level.
std::ostream & tlyy::parser::debug_stream | ( | ) | const |
The current debugging stream.
|
virtual |
Report a syntax error.
loc | where the syntax error is found. |
msg | a description of the syntax error. |
void tlyy::parser::error | ( | const syntax_error & | err | ) |
Report a syntax error.
int tlyy::parser::operator() | ( | ) |
Parse. An alias for parse ().
|
virtual |
Parse.
void tlyy::parser::set_debug_level | ( | debug_level_type | l | ) |
Set the current debugging level.
void tlyy::parser::set_debug_stream | ( | std::ostream & | ) |
Set the current debugging stream.
|
static |
The user-facing name of the symbol whose (internal) number is YYSYMBOL. No bounds checking.
|
static |
The number of tokens.