spot  2.7.1
Classes | Macros
parsetl.hh File Reference
#include "config.h"
#include <string>
#include <sstream>
#include <spot/tl/parse.hh>
#include <spot/tl/formula.hh>
#include <spot/tl/print.hh>
#include <cstdlib>
#include <iostream>
#include <stdexcept>
#include <vector>
#include "stack.hh"
Include dependency graph for parsetl.hh:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  minmax_t
 
class  tlyy::parser
 A Bison parser. More...
 
union  tlyy::parser::semantic_type
 Symbol semantic values. More...
 
struct  tlyy::parser::syntax_error
 Syntax errors thrown from user actions. More...
 
struct  tlyy::parser::token
 Tokens. More...
 
struct  tlyy::parser::basic_symbol< Base >
 
struct  tlyy::parser::by_type
 Type access provider for token (enum) based symbols. More...
 

Macros

#define YY_ATTRIBUTE(Spec)   /* empty */
 
#define YY_ATTRIBUTE_PURE   YY_ATTRIBUTE ((__pure__))
 
#define YY_ATTRIBUTE_UNUSED   YY_ATTRIBUTE ((__unused__))
 
#define _Noreturn   YY_ATTRIBUTE ((__noreturn__))
 
#define YYUSE(E)   ((void) (E))
 
#define YY_INITIAL_VALUE(Value)   Value
 
#define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
 
#define YY_IGNORE_MAYBE_UNINITIALIZED_END
 
#define YYDEBUG   1
 

Detailed Description

Define the tlyy::parser class.


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