parsetl.hh File Reference

#include "config.h"
#include <string>
#include <sstream>
#include <variant>
#include <spot/tl/parse.hh>
#include <spot/tl/formula.hh>
#include <spot/tl/print.hh>
#include <cstdlib>
#include <iostream>
#include <stdexcept>
#include <vector>

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
struct	nary
struct	pnode
class	tlyy::parser
	A Bison parser. More...
class	tlyy::parser::value_type
struct	tlyy::parser::syntax_error
	Syntax errors thrown from user actions. More...
struct	tlyy::parser::token
	Token kinds. More...
struct	tlyy::parser::symbol_kind
	Symbol kinds. More...
struct	tlyy::parser::basic_symbol< Base >
struct	tlyy::parser::by_kind
	Type access provider for token (enum) based symbols. More...
struct	tlyy::parser::symbol_type
	"External" symbols: returned by the scanner. More...
class	tlyy::parser::context
class	tlyy::parser::stack< T, S >::slice
	Present a slice of the top of a stack. More...

Macros
#define	YY_CPLUSPLUS   199711L
#define	YY_MOVE
#define	YY_MOVE_OR_COPY   copy
#define	YY_MOVE_REF(Type)
#define	YY_RVREF(Type)
#define	YY_COPY(Type)
#define	YY_NOEXCEPT
#define	YY_NOTHROW   throw ()
#define	YY_CONSTEXPR
#define	YY_ATTRIBUTE_PURE
#define	YY_ATTRIBUTE_UNUSED
#define	YY_USE(E)
#define	YY_INITIAL_VALUE(Value)
#define	YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
#define	YY_IGNORE_MAYBE_UNINITIALIZED_END
#define	YY_IGNORE_USELESS_CAST_BEGIN
#define	YY_IGNORE_USELESS_CAST_END
#define	YY_CAST(Type, Val)
#define	YY_REINTERPRET_CAST(Type, Val)
#define	YY_NULLPTR   ((void*)0)
#define	TLYYDEBUG   1

Detailed Description

Define the tlyy::parser class.

Macro Definition Documentation

YY_CAST

#define YY_CAST	(		Type,
			Val )

Value:

((Type) (Val))

YY_COPY

#define YY_COPY

(

Type

)

Value:

const Type&

YY_INITIAL_VALUE

#define YY_INITIAL_VALUE

(

Value

)

Value:

Value

YY_MOVE_REF

#define YY_MOVE_REF

(

Type

)

Value:

Type&

YY_REINTERPRET_CAST

#define YY_REINTERPRET_CAST	(		Type,
			Val )

Value:

((Type) (Val))

YY_RVREF

#define YY_RVREF

(

Type

)

Value:

const Type&

YY_USE

#define YY_USE

(

E

)

Value:

((void) (E))