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

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...

Detailed Description

A Bison parser.

Member Typedef Documentation

◆ by_type

typedef by_kind tlyy::parser::by_type

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

◆ debug_level_type

typedef int tlyy::parser::debug_level_type

Type for debugging levels.

◆ location_type

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

Symbol locations.

◆ semantic_type

typedef value_type tlyy::parser::semantic_type

Backward compatibility (Bison 3.8).

◆ symbol_kind_type

typedef symbol_kind::symbol_kind_type tlyy::parser::symbol_kind_type

(Internal) symbol kind.

◆ token_kind_type

typedef token::token_kind_type 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

loc	where the syntax error is found.
msg	a 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