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

A Bison parser. More...

#include <spot/parsetl/parsetl.hh>

Collaboration diagram for tlyy::parser:
Collaboration graph

Classes

struct  basic_symbol
 
struct  by_type
 Type access provider for token (enum) based symbols. More...
 
union  semantic_type
 Symbol semantic values. More...
 
struct  syntax_error
 Syntax errors thrown from user actions. More...
 
struct  token
 Tokens. More...
 

Public Types

enum  { empty_symbol = -2 }
 The symbol type number to denote an empty symbol. More...
 
typedef spot::location location_type
 Symbol locations. More...
 
typedef token::yytokentype token_type
 (External) token type, as returned by yylex. More...
 
typedef int symbol_number_type
 Symbol type: an internal symbol number. More...
 
typedef unsigned char token_number_type
 Internal symbol number for tokens (subsumed by symbol_number_type). More...
 
typedef basic_symbol< by_typesymbol_type
 "External" symbols: returned by the scanner. 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...
 
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...
 

Detailed Description

A Bison parser.

Member Typedef Documentation

◆ debug_level_type

Type for debugging levels.

◆ location_type

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

Symbol locations.

◆ symbol_number_type

Symbol type: an internal symbol number.

◆ symbol_type

"External" symbols: returned by the scanner.

◆ token_number_type

typedef unsigned char tlyy::parser::token_number_type

Internal symbol number for tokens (subsumed by symbol_number_type).

◆ token_type

typedef token::yytokentype tlyy::parser::token_type

(External) token type, as returned by yylex.

Member Enumeration Documentation

◆ anonymous enum

anonymous enum

The symbol type number to denote an empty symbol.

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.

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


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 Mon Dec 25 2017 14:51:16 for spot by doxygen 1.8.13