spot  2.11.6
Public Types | Public Member Functions | Public Attributes | List of all members
tlyy::parser::symbol_type Struct Reference

"External" symbols: returned by the scanner. More...

#include <spot/parsetl/parsetl.hh>

Inheritance diagram for tlyy::parser::symbol_type:
Collaboration diagram for tlyy::parser::symbol_type:

Public Types

typedef basic_symbol< by_kindsuper_type
 Superclass. More...
 

Public Member Functions

 symbol_type ()
 Empty symbol. More...
 
 symbol_type (int tok, const location_type &l)
 Constructor for valueless symbols, and symbols from each type. More...
 
 symbol_type (int tok, const std::string &v, const location_type &l)
 
 symbol_type (int tok, const unsigned &v, const location_type &l)
 
void clear ()
 Destroy contents, and record that is empty. More...
 
std::string name () const
 The user-facing name of this symbol. More...
 
symbol_kind_type type_get () const
 Backward compatibility (Bison 3.6). More...
 
bool empty () const
 Whether empty. More...
 
void move (basic_symbol &s)
 Destructive move, s is emptied into this. More...
 

Public Attributes

semantic_type value
 The semantic value. More...
 
location_type location
 The location. More...
 

Detailed Description

"External" symbols: returned by the scanner.

Member Typedef Documentation

◆ super_type

Superclass.

Constructor & Destructor Documentation

◆ symbol_type() [1/2]

tlyy::parser::symbol_type::symbol_type ( )
inline

Empty symbol.

◆ symbol_type() [2/2]

tlyy::parser::symbol_type::symbol_type ( int  tok,
const location_type l 
)
inline

Constructor for valueless symbols, and symbols from each type.

Member Function Documentation

◆ clear()

template<typename Base >
void tlyy::parser::basic_symbol< Base >::clear ( )
inlineinherited

Destroy contents, and record that is empty.

Referenced by tlyy::parser::basic_symbol< Base >::~basic_symbol().

◆ empty()

template<typename Base >
bool tlyy::parser::basic_symbol< Base >::empty ( ) const
inherited

Whether empty.

◆ move()

template<typename Base >
void tlyy::parser::basic_symbol< Base >::move ( basic_symbol< Base > &  s)
inherited

Destructive move, s is emptied into this.

◆ name()

template<typename Base >
std::string tlyy::parser::basic_symbol< Base >::name ( ) const
inlineinherited

The user-facing name of this symbol.

◆ type_get()

template<typename Base >
symbol_kind_type tlyy::parser::basic_symbol< Base >::type_get ( ) const
inherited

Backward compatibility (Bison 3.6).

Member Data Documentation

◆ location

template<typename Base >
location_type tlyy::parser::basic_symbol< Base >::location
inherited

The location.

◆ value

template<typename Base >
semantic_type tlyy::parser::basic_symbol< Base >::value
inherited

The semantic value.


The documentation for this struct 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