#include "parser.tab.hh"
#include <cstdint>
#include "absl/log/check.h"
#include "absl/strings/match.h"
#include "absl/strings/str_format.h"
#include "ortools/flatzinc/parser_util.cc"
#include <limits.h>

Classes
union	yyalloc
struct	yypcontext_t
struct	Annotation
struct	Argument
struct	Constraint
struct	Domain
class	Model
struct	ParserContext
struct	SolutionOutputSpecs
struct	Variable
struct	VarRefOrValue

Macros
#define	YYBISON 30802
#define	YYBISON_VERSION "3.8.2"
#define	YYSKELETON_NAME "yacc.c"
#define	YYPURE 2
#define	YYPUSH 0
#define	YYPULL 1
#define	YYSTYPE ORFZ_STYPE
#define	yyparse orfz_parse
#define	yylex orfz_lex
#define	yyerror orfz_error
#define	yydebug orfz_debug
#define	yynerrs orfz_nerrs
#define	YY_CAST(Type, Val)
#define	YY_REINTERPRET_CAST(Type, Val)
#define	YY_NULLPTR ((void*)0)
#define	YYPTRDIFF_T long
#define	YYPTRDIFF_MAXIMUM LONG_MAX
#define	YYSIZE_T unsigned
#define	YYSIZE_MAXIMUM
#define	YYSIZEOF(X)
#define	YY_(Msgid)
#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_ASSERT(E)
#define	YYSTACK_ALLOC YYMALLOC
#define	YYSTACK_FREE YYFREE
#define	YYSTACK_ALLOC_MAXIMUM YYSIZE_MAXIMUM
#define	YYMALLOC malloc
#define	YYFREE free
#define	YYSTACK_GAP_MAXIMUM (YYSIZEOF(union yyalloc) - 1)
#define	YYSTACK_BYTES(N)
#define	YYCOPY_NEEDED 1
#define	YYSTACK_RELOCATE(Stack_alloc, Stack)
#define	YYFINAL 3
#define	YYLAST 292
#define	YYNTOKENS 32
#define	YYNNTS 32
#define	YYNRULES 101
#define	YYNSTATES 233
#define	YYMAXUTOK 276
#define	YYTRANSLATE(YYX)
#define	YY_ACCESSING_SYMBOL(State)
#define	YYPACT_NINF (-192)
#define	yypact_value_is_default(Yyn)
#define	YYTABLE_NINF (-19)
#define	yytable_value_is_error(Yyn)
#define	yyerrok (yyerrstatus = 0)
#define	yyclearin (yychar = ORFZ_EMPTY)
#define	YYACCEPT goto yyacceptlab
#define	YYABORT goto yyabortlab
#define	YYERROR goto yyerrorlab
#define	YYNOMEM goto yyexhaustedlab
#define	YYRECOVERING()
#define	YYBACKUP(Token, Value)
#define	YYERRCODE ORFZ_UNDEF
#define	YYDPRINTF(Args)
#define	YY_SYMBOL_PRINT(Title, Kind, Value, Location)
#define	YY_STACK_PRINT(Bottom, Top)
#define	YY_REDUCE_PRINT(Rule)
#define	YYINITDEPTH 200
#define	YYMAXDEPTH 10000
#define	YYCASE_(N, S)
#define	YYPOPSTACK(N)

Typedefs
typedef enum yysymbol_kind_t	yysymbol_kind_t
typedef signed char	yytype_int8
typedef short	yytype_int16
typedef unsigned char	yytype_uint8
typedef unsigned short	yytype_uint16
typedef yytype_uint8	yy_state_t
typedef int	yy_state_fast_t

Enumerations
enum	yysymbol_kind_t { YYSYMBOL_YYEMPTY = -2 , YYSYMBOL_YYEOF = 0 , YYSYMBOL_YYerror = 1 , YYSYMBOL_YYUNDEF = 2 , YYSYMBOL_ARRAY = 3 , YYSYMBOL_TOKEN_BOOL = 4 , YYSYMBOL_CONSTRAINT = 5 , YYSYMBOL_TOKEN_FLOAT = 6 , YYSYMBOL_TOKEN_INT = 7 , YYSYMBOL_MAXIMIZE = 8 , YYSYMBOL_MINIMIZE = 9 , YYSYMBOL_OF = 10 , YYSYMBOL_PREDICATE = 11 , YYSYMBOL_SATISFY = 12 , YYSYMBOL_SET = 13 , YYSYMBOL_SOLVE = 14 , YYSYMBOL_VAR = 15 , YYSYMBOL_DOTDOT = 16 , YYSYMBOL_COLONCOLON = 17 , YYSYMBOL_IVALUE = 18 , YYSYMBOL_SVALUE = 19 , YYSYMBOL_IDENTIFIER = 20 , YYSYMBOL_DVALUE = 21 , YYSYMBOL_22_ = 22 , YYSYMBOL_23_ = 23 , YYSYMBOL_24_ = 24 , YYSYMBOL_25_ = 25 , YYSYMBOL_26_ = 26 , YYSYMBOL_27_ = 27 , YYSYMBOL_28_ = 28 , YYSYMBOL_29_ = 29 , YYSYMBOL_30_ = 30 , YYSYMBOL_31_ = 31 , YYSYMBOL_YYACCEPT = 32 , YYSYMBOL_model = 33 , YYSYMBOL_predicates = 34 , YYSYMBOL_predicate = 35 , YYSYMBOL_predicate_arguments = 36 , YYSYMBOL_predicate_argument = 37 , YYSYMBOL_predicate_array_argument = 38 , YYSYMBOL_predicate_ints = 39 , YYSYMBOL_variable_or_constant_declarations , YYSYMBOL_variable_or_constant_declaration , YYSYMBOL_optional_var_or_value = 42 , YYSYMBOL_optional_var_or_value_array = 43 , YYSYMBOL_var_or_value_array = 44 , YYSYMBOL_var_or_value = 45 , YYSYMBOL_int_domain = 46 , YYSYMBOL_set_domain = 47 , YYSYMBOL_float_domain = 48 , YYSYMBOL_domain = 49 , YYSYMBOL_integers = 50 , YYSYMBOL_integer = 51 , YYSYMBOL_floats = 52 , YYSYMBOL_float = 53 , YYSYMBOL_const_literal = 54 , YYSYMBOL_const_literals = 55 , YYSYMBOL_constraints = 56 , YYSYMBOL_constraint = 57 , YYSYMBOL_arguments = 58 , YYSYMBOL_argument = 59 , YYSYMBOL_annotations = 60 , YYSYMBOL_annotation_arguments = 61 , YYSYMBOL_annotation = 62 , YYSYMBOL_solve = 63 }
enum	{ YYENOMEM = -2 }

Functions
void *	malloc (YYSIZE_T)
void	free (void *)
static const char *	yysymbol_name (yysymbol_kind_t yysymbol) YY_ATTRIBUTE_UNUSED
static int	yypcontext_expected_tokens (const yypcontext_t *yyctx, yysymbol_kind_t yyarg[], int yyargn)
static YYPTRDIFF_T	yystrlen (const char *yystr)
static char *	yystpcpy (char yydest, const char yysrc)
static YYPTRDIFF_T	yytnamerr (char yyres, const char yystr)
static int	yy_syntax_error_arguments (const yypcontext_t *yyctx, yysymbol_kind_t yyarg[], int yyargn)
static int	yysyntax_error (YYPTRDIFF_T yymsg_alloc, char yymsg, const yypcontext_t yyctx)
static void	yydestruct (const char yymsg, yysymbol_kind_t yykind, YYSTYPE yyvaluep, operations_research::fz::ParserContext context, operations_research::fz::Model model, bool ok, void scanner)
int	yyparse (operations_research::fz::ParserContext context, operations_research::fz::Model model, bool ok, void scanner)
int64_t	ConvertAsIntegerOrDie (double d)
template<class T>
const T &	Lookup (const std::vector< T > &v, int index)

Variables
static const yytype_int8	yytranslate []
static const char *const	yytname []
static const yytype_int16	yypact []
static const yytype_int8	yydefact []
static const yytype_int16	yypgoto []
static const yytype_uint8	yydefgoto []
static const yytype_int16	yytable []
static const yytype_int16	yycheck []
static const yytype_int8	yystos []
static const yytype_int8	yyr1 []
static const yytype_int8	yyr2 []

Macro Definition Documentation

◆ YY_

#define YY_ ( Msgid )

Value:

Msgid

Definition at line 314 of file parser.tab.cc.

◆ YY_ACCESSING_SYMBOL

#define YY_ACCESSING_SYMBOL ( State )

Value:

YY_CAST(yysymbol_kind_t, yystos[State])

yysymbol_kind_t

Definition parser.tab.cc:98

YY_CAST

#define YY_CAST(Type, Val)

Definition parser.tab.cc:80

yystos

static const yytype_int8 yystos[]

Definition parser.tab.cc:745

Accessing symbol of state STATE.

Definition at line 556 of file parser.tab.cc.

◆ YY_ASSERT

#define YY_ASSERT ( E )

Value:

((void)(0 && (E)))

Definition at line 376 of file parser.tab.cc.

◆ YY_ATTRIBUTE_PURE

#define YY_ATTRIBUTE_PURE

Definition at line 322 of file parser.tab.cc.

◆ YY_ATTRIBUTE_UNUSED

#define YY_ATTRIBUTE_UNUSED

Definition at line 330 of file parser.tab.cc.

◆ YY_CAST

#define YY_CAST	(		Type,
			Val )

Value:

((Type)(Val))

Definition at line 80 of file parser.tab.cc.

◆ YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN

#define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN

Definition at line 358 of file parser.tab.cc.

◆ YY_IGNORE_MAYBE_UNINITIALIZED_END

#define YY_IGNORE_MAYBE_UNINITIALIZED_END

Definition at line 359 of file parser.tab.cc.

◆ YY_IGNORE_USELESS_CAST_BEGIN

#define YY_IGNORE_USELESS_CAST_BEGIN

Definition at line 372 of file parser.tab.cc.

◆ YY_IGNORE_USELESS_CAST_END

#define YY_IGNORE_USELESS_CAST_END

Definition at line 373 of file parser.tab.cc.

◆ YY_INITIAL_VALUE

#define YY_INITIAL_VALUE ( Value )

Value:

Value

Definition at line 355 of file parser.tab.cc.

◆ YY_NULLPTR

#define YY_NULLPTR ((void*)0)

Definition at line 92 of file parser.tab.cc.

◆ YY_REDUCE_PRINT

#define YY_REDUCE_PRINT ( Rule )

Definition at line 921 of file parser.tab.cc.

◆ YY_REINTERPRET_CAST

#define YY_REINTERPRET_CAST	(		Type,
			Val )

Value:

((Type)(Val))

Definition at line 81 of file parser.tab.cc.

◆ YY_STACK_PRINT

#define YY_STACK_PRINT	(		Bottom,
			Top )

Definition at line 920 of file parser.tab.cc.

◆ YY_SYMBOL_PRINT

#define YY_SYMBOL_PRINT	(	Title,
		Kind,
		Value,
		Location )

Definition at line 919 of file parser.tab.cc.

◆ YY_USE

#define YY_USE ( E )

Value:

((void)(E))

Definition at line 336 of file parser.tab.cc.

◆ YYABORT

#define YYABORT goto yyabortlab

Definition at line 784 of file parser.tab.cc.

◆ YYACCEPT

#define YYACCEPT goto yyacceptlab

Definition at line 783 of file parser.tab.cc.

◆ YYBACKUP

#define YYBACKUP	(		Token,
			Value )

Value:

  do                                                \
    if (yychar == ORFZ_EMPTY) {                     \
      yychar = (Token);                             \
      yylval = (Value);                             \
      YYPOPSTACK(yylen);                            \
      yystate = *yyssp;                             \
      goto yybackup;                                \
    } else {                                        \
      yyerror(context, model, ok, scanner,          \
              YY_("syntax error: cannot back up")); \
      YYERROR;                                      \
    }                                               \
  while (0)

Definition at line 790 of file parser.tab.cc.

◆ YYBISON

#define YYBISON 30802

Definition at line 49 of file parser.tab.cc.

◆ YYBISON_VERSION

#define YYBISON_VERSION "3.8.2"

Definition at line 52 of file parser.tab.cc.

◆ YYCASE_

#define YYCASE_	(		N,
			S )

Value:

  case N:             \
    yyformat = S;     \
    break

◆ yyclearin

#define yyclearin (yychar = ORFZ_EMPTY)

Definition at line 781 of file parser.tab.cc.

◆ YYCOPY_NEEDED

#define YYCOPY_NEEDED 1

Definition at line 466 of file parser.tab.cc.

◆ yydebug

#define yydebug orfz_debug

Definition at line 72 of file parser.tab.cc.

◆ YYDPRINTF

#define YYDPRINTF ( Args )

Value:

((void)0)

Definition at line 918 of file parser.tab.cc.

◆ YYERRCODE

#define YYERRCODE ORFZ_UNDEF

Definition at line 807 of file parser.tab.cc.

◆ yyerrok

#define yyerrok (yyerrstatus = 0)

Definition at line 780 of file parser.tab.cc.

◆ YYERROR

#define YYERROR goto yyerrorlab

Definition at line 785 of file parser.tab.cc.

◆ yyerror

#define yyerror orfz_error

Definition at line 71 of file parser.tab.cc.

◆ YYFINAL

#define YYFINAL 3

Definition at line 502 of file parser.tab.cc.

◆ YYFREE

#define YYFREE free

Definition at line 440 of file parser.tab.cc.

◆ YYINITDEPTH

#define YYINITDEPTH 200

Definition at line 926 of file parser.tab.cc.

◆ YYLAST

#define YYLAST 292

Definition at line 504 of file parser.tab.cc.

◆ yylex

#define yylex orfz_lex

Definition at line 70 of file parser.tab.cc.

◆ YYMALLOC

#define YYMALLOC malloc

Definition at line 434 of file parser.tab.cc.

◆ YYMAXDEPTH

#define YYMAXDEPTH 10000

Definition at line 937 of file parser.tab.cc.

◆ YYMAXUTOK

#define YYMAXUTOK 276

Definition at line 516 of file parser.tab.cc.

◆ yynerrs

#define yynerrs orfz_nerrs

Definition at line 73 of file parser.tab.cc.

◆ YYNNTS

#define YYNNTS 32

Definition at line 509 of file parser.tab.cc.

◆ YYNOMEM

#define YYNOMEM goto yyexhaustedlab

Definition at line 786 of file parser.tab.cc.

◆ YYNRULES

#define YYNRULES 101

Definition at line 511 of file parser.tab.cc.

◆ YYNSTATES

#define YYNSTATES 233

Definition at line 513 of file parser.tab.cc.

◆ YYNTOKENS

#define YYNTOKENS 32

Definition at line 507 of file parser.tab.cc.

◆ YYPACT_NINF

#define YYPACT_NINF (-192)

Definition at line 636 of file parser.tab.cc.

◆ yypact_value_is_default

#define yypact_value_is_default ( Yyn )

Value:

((Yyn) == YYPACT_NINF)

YYPACT_NINF

#define YYPACT_NINF

Definition parser.tab.cc:636

Definition at line 638 of file parser.tab.cc.

◆ yyparse

#define yyparse orfz_parse

Definition at line 69 of file parser.tab.cc.

◆ YYPOPSTACK

#define YYPOPSTACK ( N )

Value:

(yyvsp -= (N), yyssp -= (N))

◆ YYPTRDIFF_MAXIMUM

#define YYPTRDIFF_MAXIMUM LONG_MAX

Definition at line 276 of file parser.tab.cc.

◆ YYPTRDIFF_T

#define YYPTRDIFF_T long

Definition at line 275 of file parser.tab.cc.

◆ YYPULL

#define YYPULL 1

Definition at line 64 of file parser.tab.cc.

◆ YYPURE

#define YYPURE 2

Definition at line 58 of file parser.tab.cc.

◆ YYPUSH

#define YYPUSH 0

Definition at line 61 of file parser.tab.cc.

◆ YYRECOVERING

#define YYRECOVERING ( )

Value:

(!!yyerrstatus)

Definition at line 788 of file parser.tab.cc.

◆ YYSIZE_MAXIMUM

#define YYSIZE_MAXIMUM

Value:

  YY_CAST(YYPTRDIFF_T,                                                   \
          (YYPTRDIFF_MAXIMUM < YY_CAST(YYSIZE_T, -1) ? YYPTRDIFF_MAXIMUM \
                                                     : YY_CAST(YYSIZE_T, -1)))

Definition at line 293 of file parser.tab.cc.

◆ YYSIZE_T

#define YYSIZE_T unsigned

Definition at line 289 of file parser.tab.cc.

◆ YYSIZEOF

#define YYSIZEOF ( X )

Value:

YY_CAST(YYPTRDIFF_T, sizeof(X))

Definition at line 298 of file parser.tab.cc.

◆ YYSKELETON_NAME

#define YYSKELETON_NAME "yacc.c"

Definition at line 55 of file parser.tab.cc.

◆ YYSTACK_ALLOC

#define YYSTACK_ALLOC YYMALLOC

Definition at line 420 of file parser.tab.cc.

◆ YYSTACK_ALLOC_MAXIMUM

#define YYSTACK_ALLOC_MAXIMUM YYSIZE_MAXIMUM

Definition at line 423 of file parser.tab.cc.

◆ YYSTACK_BYTES

#define YYSTACK_BYTES ( N )

Value:

((N) * (YYSIZEOF(yy_state_t) + YYSIZEOF(YYSTYPE)) + YYSTACK_GAP_MAXIMUM)

YYSTYPE

#define YYSTYPE

Definition parser.tab.cc:67

yy_state_t

yytype_uint8 yy_state_t

Definition parser.tab.cc:301

YYSIZEOF

#define YYSIZEOF(X)

Definition parser.tab.cc:298

YYSTACK_GAP_MAXIMUM

#define YYSTACK_GAP_MAXIMUM

Definition parser.tab.cc:459

Definition at line 463 of file parser.tab.cc.

◆ YYSTACK_FREE

#define YYSTACK_FREE YYFREE

Definition at line 421 of file parser.tab.cc.

◆ YYSTACK_GAP_MAXIMUM

#define YYSTACK_GAP_MAXIMUM (YYSIZEOF(union yyalloc) - 1)

Definition at line 459 of file parser.tab.cc.

◆ YYSTACK_RELOCATE

#define YYSTACK_RELOCATE	(		Stack_alloc,
			Stack )

Value:

  do {                                                                 \
    YYPTRDIFF_T yynewbytes;                                            \
    YYCOPY(&yyptr->Stack_alloc, Stack, yysize);                        \
    Stack = &yyptr->Stack_alloc;                                       \
    yynewbytes = yystacksize * YYSIZEOF(*Stack) + YYSTACK_GAP_MAXIMUM; \
    yyptr += yynewbytes / YYSIZEOF(*yyptr);                            \
  } while (0)

Definition at line 473 of file parser.tab.cc.

◆ YYSTYPE

#define YYSTYPE ORFZ_STYPE

Definition at line 67 of file parser.tab.cc.

◆ YYTABLE_NINF

#define YYTABLE_NINF (-19)

Definition at line 640 of file parser.tab.cc.

◆ yytable_value_is_error

#define yytable_value_is_error ( Yyn )

Value:

0

Definition at line 642 of file parser.tab.cc.

◆ YYTRANSLATE

#define YYTRANSLATE ( YYX )

Value:

  (0 <= (YYX) && (YYX) <= YYMAXUTOK                 \
       ? YY_CAST(yysymbol_kind_t, yytranslate[YYX]) \
       : YYSYMBOL_YYUNDEF)

Definition at line 520 of file parser.tab.cc.

Typedef Documentation

◆ yy_state_fast_t

typedef int yy_state_fast_t

Definition at line 304 of file parser.tab.cc.

◆ yy_state_t

typedef yytype_uint8 yy_state_t

Definition at line 301 of file parser.tab.cc.

◆ yysymbol_kind_t

typedef enum yysymbol_kind_t yysymbol_kind_t

Definition at line 167 of file parser.tab.cc.

◆ yytype_int16

typedef short yytype_int16

Definition at line 227 of file parser.tab.cc.

◆ yytype_int8

typedef signed char yytype_int8

Definition at line 219 of file parser.tab.cc.

◆ yytype_uint16

typedef unsigned short yytype_uint16

Definition at line 259 of file parser.tab.cc.

◆ yytype_uint8

typedef unsigned char yytype_uint8

Definition at line 248 of file parser.tab.cc.

Enumeration Type Documentation

◆ anonymous enum

anonymous enum

Enumerator
YYENOMEM

Definition at line 778 of file parser.tab.cc.

◆ yysymbol_kind_t

enum yysymbol_kind_t

Enumerator
YYSYMBOL_YYEMPTY
YYSYMBOL_YYEOF
YYSYMBOL_YYerror
YYSYMBOL_YYUNDEF
YYSYMBOL_ARRAY
YYSYMBOL_TOKEN_BOOL
YYSYMBOL_CONSTRAINT
YYSYMBOL_TOKEN_FLOAT
YYSYMBOL_TOKEN_INT
YYSYMBOL_MAXIMIZE
YYSYMBOL_MINIMIZE
YYSYMBOL_OF
YYSYMBOL_PREDICATE
YYSYMBOL_SATISFY
YYSYMBOL_SET
YYSYMBOL_SOLVE
YYSYMBOL_VAR
YYSYMBOL_DOTDOT
YYSYMBOL_COLONCOLON
YYSYMBOL_IVALUE
YYSYMBOL_SVALUE
YYSYMBOL_IDENTIFIER
YYSYMBOL_DVALUE
YYSYMBOL_22_
YYSYMBOL_23_
YYSYMBOL_24_
YYSYMBOL_25_
YYSYMBOL_26_
YYSYMBOL_27_
YYSYMBOL_28_
YYSYMBOL_29_
YYSYMBOL_30_
YYSYMBOL_31_
YYSYMBOL_YYACCEPT
YYSYMBOL_model
YYSYMBOL_predicates
YYSYMBOL_predicate
YYSYMBOL_predicate_arguments
YYSYMBOL_predicate_argument
YYSYMBOL_predicate_array_argument
YYSYMBOL_predicate_ints
YYSYMBOL_variable_or_constant_declarations
YYSYMBOL_variable_or_constant_declaration
YYSYMBOL_optional_var_or_value
YYSYMBOL_optional_var_or_value_array
YYSYMBOL_var_or_value_array
YYSYMBOL_var_or_value
YYSYMBOL_int_domain
YYSYMBOL_set_domain
YYSYMBOL_float_domain
YYSYMBOL_domain
YYSYMBOL_integers
YYSYMBOL_integer
YYSYMBOL_floats
YYSYMBOL_float
YYSYMBOL_const_literal
YYSYMBOL_const_literals
YYSYMBOL_constraints
YYSYMBOL_constraint
YYSYMBOL_arguments
YYSYMBOL_argument
YYSYMBOL_annotations
YYSYMBOL_annotation_arguments
YYSYMBOL_annotation
YYSYMBOL_solve

Definition at line 98 of file parser.tab.cc.

Function Documentation

◆ ConvertAsIntegerOrDie()

int64_t operations_research::fz::ConvertAsIntegerOrDie ( double d )

Definition at line 68 of file parser_util.cc.

◆ free()

void free ( void * )

◆ Lookup()

template<class T>

const T & operations_research::fz::Lookup	(	const std::vector< T > &	v,
		int	index )

Definition at line 78 of file parser_util.cc.

◆ malloc()

void * malloc ( YYSIZE_T )

◆ yy_syntax_error_arguments()

int yy_syntax_error_arguments	(	const yypcontext_t *	yyctx,
		yysymbol_kind_t	yyarg[],
		int	yyargn )

static

Definition at line 1054 of file parser.tab.cc.

◆ yydestruct()

void yydestruct	(	const char *	yymsg,
		yysymbol_kind_t	yykind,
		YYSTYPE *	yyvaluep,
		operations_research::fz::ParserContext *	context,
		operations_research::fz::Model *	model,
		bool *	ok,
		void *	scanner )

static

Definition at line 1178 of file parser.tab.cc.

◆ yyparse()

int yyparse	(	operations_research::fz::ParserContext *	context,
		operations_research::fz::Model *	model,
		bool *	ok,
		void *	scanner )

Definition at line 1200 of file parser.tab.cc.

◆ yypcontext_expected_tokens()

int yypcontext_expected_tokens	(	const yypcontext_t *	yyctx,
		yysymbol_kind_t	yyarg[],
		int	yyargn )

static

Definition at line 952 of file parser.tab.cc.

◆ yystpcpy()

char * yystpcpy	(	char *	yydest,
		const char *	yysrc )

static

Definition at line 1000 of file parser.tab.cc.

◆ yystrlen()

YYPTRDIFF_T yystrlen ( const char * yystr )

static

Definition at line 986 of file parser.tab.cc.

◆ yysymbol_name()

const char * yysymbol_name ( yysymbol_kind_t yysymbol )

static

Definition at line 631 of file parser.tab.cc.

◆ yysyntax_error()

int yysyntax_error	(	YYPTRDIFF_T *	yymsg_alloc,
		char **	yymsg,
		const yypcontext_t *	yyctx )

static

Definition at line 1103 of file parser.tab.cc.

◆ yytnamerr()

YYPTRDIFF_T yytnamerr	(	char *	yyres,
		const char *	yystr )

static

Definition at line 1019 of file parser.tab.cc.

Variable Documentation

◆ yycheck

const yytype_int16 yycheck[]

static

Initial value:

= {
    7,   51,  58, 79, 76, 77,  114, 22,  1,   16,  3,   4,   5,   6,   7,   71,
    4,   208, 11, 7,  13, 14,  15,  3,   4,   18,  6,   7,   21,  0,   18,  17,
    223, 13,  25, 15, 43, 30,  18,  17,  31,  21,  30,  29,  20,  18,  154, 20,
    98,  17,  30, 29, 3,  4,   17,  6,   7,   107, 31,  5,   132, 29,  13,  22,
    15,  7,   29, 18, 14, 119, 21,  4,   25,  6,   7,   131, 18,  127, 31,  30,
    13,  4,   15, 6,  7,  18,  162, 17,  21,  23,  13,  4,   15,  6,   7,   18,
    27,  30,  21, 29, 13, 18,  19,  20,  21,  18,  16,  30,  21,  18,  27,  20,
    21,  30,  18, 19, 20, 30,  18,  19,  20,  30,  17,  27,  28,  10,  30,  27,
    20,  21,  30, 18, 16, 20,  29,  142, 28,  193, 194, 195, 18,  197, 20,  21,
    18,  25,  20, 21, 24, 25,  28,  31,  30,  18,  28,  20,  30,  207, 165, 18,
    167, 20,  21, 28, 8,  9,   24,  25,  12,  25,  25,  30,  25,  17,  22,  31,
    31,  23,  31, 26, 25, 27,  25,  28,  25,  28,  25,  28,  25,  28,  25,  28,
    26,  28,  20, 21, 18, 18,  21,  27,  20,  20,  27,  16,  22,  22,  16,  109,
    24,  20,  25, 18, 26, 25,  23,  20,  18,  18,  26,  16,  20,  16,  28,  16,
    28,  28,  7,  18, 27, 16,  10,  10,  18,  27,  18,  27,  18,  20,  16,  28,
    28,  18,  18, 18, 18, 18,  17,  143, 210, 143, 143, 226, 134, -1,  26,  20,
    26,  26,  26, 20, 20, 28,  28,  26,  26,  20,  20,  18,  27,  27,  27,  27,
    -1,  -1,  27, -1, 28, -1,  -1,  -1,  -1,  66,  -1,  -1,  -1,  -1,  -1,  -1,
    -1,  -1,  -1, -1, 56}

Definition at line 722 of file parser.tab.cc.

◆ yydefact

const yytype_int8 yydefact[]

static

Initial value:

= {
    5,  0,  0,  1,  0,  0,  0,  73, 4,  0,  3,  0,   40,  48, 41, 0,  0,  0,
    0,  0,  0,  50, 51, 52, 0,  0,  0,  0,  0,  0,   0,   0,  55, 56, 0,  54,
    17, 0,  0,  87, 0,  0,  0,  0,  0,  8,  0,  0,   44,  45, 0,  0,  0,  42,
    49, 0,  0,  43, 87, 0,  0,  72, 2,  0,  0,  6,   0,   0,  0,  0,  0,  87,
    0,  53, 0,  0,  0,  0,  99, 0,  16, 0,  0,  13,  0,   7,  9,  0,  46, 47,
    28, 57, 0,  77, 79, 82, 78, 0,  0,  0,  76, 101, 100, 92, 93, 94, 0,  0,
    86, 0,  0,  0,  10, 0,  0,  25, 63, 68, 67, 0,   19,  0,  0,  34, 38, 35,
    85, 0,  0,  33, 0,  87, 0,  0,  0,  0,  98, 0,   89,  0,  15, 14, 0,  0,
    27, 0,  0,  66, 0,  80, 0,  0,  0,  0,  0,  84,  81,  74, 75, 90, 0,  0,
    0,  97, 91, 0,  0,  0,  0,  0,  0,  64, 0,  65,  83,  36, 0,  37, 32, 95,
    96, 88, 0,  0,  0,  0,  0,  0,  69, 39, 0,  11,  0,   87, 87, 87, 12, 87,
    0,  0,  0,  31, 0,  0,  0,  0,  26, 0,  0,  0,   0,   21, 0,  71, 0,  61,
    60, 23, 0,  59, 30, 0,  20, 0,  24, 0,  0,  22,  29,  70, 0,  58, 62}

Definition at line 671 of file parser.tab.cc.

◆ yydefgoto

const yytype_uint8 yydefgoto[]

static

Initial value:

= {
    0,  1,  2,  6,  44,  45,  82,  83,  7,  20, 115, 206, 128, 129, 21,  22,
    23, 46, 34, 35, 218, 219, 120, 214, 25, 40, 99,  100, 60,  137, 138, 41}

Definition at line 693 of file parser.tab.cc.

◆ yypact

const yytype_int16 yypact[]

static

Initial value:

= {
    -192, 29,   7,    -192, -15,  24,   41,   20,   -192, 66,   -192, 69,
    -192, -192, -192, 115,  87,   90,   116,  113,  152,  -192, -192, -192,
    153,  54,   49,   178,  12,   166,  179,  177,  -192, 172,  9,    -192,
    -192, 180,  181,  -192, 182,  183,  175,  87,   184,  185,  186,  187,
    -192, -192, 190,  113,  189,  -192, -192, 193,  113,  -192, -192, 191,
    156,  -192, -192, 58,   192,  -192, 49,   195,  198,  199,  47,   -192,
    194,  -192, 14,   83,   83,   83,   -192, 100,  188,  203,  196,  -192,
    200,  -192, -192, 197,  -192, -192, 22,   -192, 91,   205,  -192, 201,
    -192, 122,  113,  124,  -192, -192, -192, 207,  -192, 154,  96,   113,
    -192, 219,  209,  220,  -192, 221,  141,  -192, 213,  206,  -192, 27,
    -192, 214,  216,  222,  208,  -192, -192, 113,  155,  -192, 120,  -192,
    83,   218,  100,  223,  -192, 157,  -192, 144,  -192, -192, 67,   77,
    -192, 224,  225,  -192, 145,  -192, 211,  226,  227,  147,  141,  -192,
    -192, 229,  -192, -192, 142,  212,  100,  -192, -192, 87,   228,  87,
    230,  231,  232,  -192, 233,  -192, -192, -192, 234,  -192, -192, -192,
    -192, -192, 237,  217,  238,  235,  239,  240,  -192, -192, 245,  -192,
    246,  -192, -192, -192, -192, -192, 32,   37,   70,   105,  241,  242,
    243,  244,  -192, 135,  91,   108,  126,  -192, 159,  -192, 161,  247,
    -192, -192, 163,  -192, -192, 165,  -192, 91,   -192, 249,  174,  -192,
    -192, -192, 248,  -192, -192}

Definition at line 646 of file parser.tab.cc.

◆ yypgoto

const yytype_int16 yypgoto[]

static

Initial value:

= {
    -192, -192, -192, -192, 215,  -192, -192, 98,  -192, -192, -192,
    -192, 38,   -108, 104,  106,  107,  -7,   -50, 236,  -192, 25,
    -191, -192, -192, -192, -192, -72,  -56,  118, -76,  -192}

Definition at line 687 of file parser.tab.cc.

◆ yyr1

const yytype_int8 yyr1[]

static

Initial value:

= {
    0,  32, 33, 34, 34, 34, 35, 36, 36, 37, 37, 37, 37, 38, 38, 39, 39,
    40, 40, 41, 41, 41, 41, 41, 41, 41, 41, 42, 42, 43, 43, 43, 44, 44,
    45, 45, 45, 45, 45, 45, 46, 46, 46, 46, 47, 47, 47, 47, 48, 48, 49,
    49, 49, 50, 50, 51, 51, 51, 52, 52, 53, 53, 53, 54, 54, 54, 54, 54,
    54, 54, 55, 55, 56, 56, 57, 58, 58, 59, 59, 59, 59, 59, 59, 59, 59,
    59, 60, 60, 61, 61, 62, 62, 62, 62, 62, 62, 62, 62, 62, 63, 63, 63}

Definition at line 761 of file parser.tab.cc.

◆ yyr2

const yytype_int8 yyr2[]

static

Initial value:

= {
    0,  2,  5,  3,  3, 0,  5, 3, 1, 3, 4, 8, 9, 1, 3, 3, 1, 3, 0, 6, 15,
    14, 15, 14, 15, 6, 13, 2, 0, 4, 3, 0, 3, 1, 1, 1, 3, 3, 1, 4, 1, 1,
    3,  3,  3,  3,  5, 5,  1, 3, 1, 1, 1, 3, 1, 1, 1, 4, 3, 1, 1, 1, 4,
    1,  3,  3,  2,  1, 1,  4, 3, 1, 3, 0, 6, 3, 1, 1, 1, 1, 3, 3, 1, 4,
    3,  2,  3,  0,  3, 1,  3, 3, 1, 1, 1, 4, 4, 3, 2, 3, 4, 4}

Definition at line 771 of file parser.tab.cc.

◆ yystos

const yytype_int8 yystos[]

static

Initial value:

= {
    0,  33, 34, 0,  1,  11, 35, 40, 22, 20, 22, 3,  4,  6,  7,  13, 15, 18,
    21, 30, 41, 46, 47, 48, 49, 56, 23, 27, 10, 49, 16, 16, 18, 20, 50, 51,
    22, 26, 5,  14, 57, 63, 3,  15, 36, 37, 49, 18, 4,  7,  18, 30, 26, 18,
    21, 27, 25, 31, 20, 20, 60, 22, 22, 27, 49, 24, 25, 26, 16, 16, 50, 20,
    18, 51, 60, 23, 8,  9,  12, 17, 7,  18, 38, 39, 26, 36, 20, 18, 18, 31,
    60, 28, 29, 18, 19, 20, 21, 27, 30, 58, 59, 59, 59, 18, 19, 20, 27, 30,
    62, 25, 16, 28, 20, 28, 29, 42, 18, 20, 21, 30, 54, 16, 27, 18, 20, 21,
    28, 30, 44, 45, 50, 24, 25, 16, 23, 27, 28, 61, 62, 50, 39, 18, 10, 10,
    45, 16, 27, 31, 50, 18, 18, 16, 27, 50, 25, 28, 31, 60, 59, 18, 61, 18,
    25, 28, 31, 15, 49, 15, 46, 47, 48, 18, 18, 31, 28, 18, 18, 31, 45, 24,
    28, 62, 49, 26, 49, 26, 26, 26, 28, 28, 26, 20, 26, 20, 20, 20, 20, 20,
    60, 60, 60, 60, 29, 29, 29, 29, 43, 27, 27, 27, 27, 28, 50, 54, 55, 20,
    21, 28, 52, 53, 28, 44, 28, 25, 28, 27, 25, 28, 28, 54, 18, 53, 28}

Definition at line 745 of file parser.tab.cc.

◆ yytable

const yytype_int16 yytable[]

static

Initial value:

= {
    24,  70,  74,  108, 101, 102, 144, 8,   4,   29,  -18, -18, -18, -18, -18,
    90,  48,  213, 5,   49,  -18, -18, -18, 11,  12,  -18, 13,  14,  -18, 3,
    50,  79,  229, 15,  56,  16,  64,  -18, 17,  79,  57,  18,  51,  92,  9,
    32,  178, 33,  130, 79,  19,  114, 42,  12,  79,  13,  14,  139, 147, 38,
    158, 202, 15,  10,  43,  80,  203, 17,  39,  148, 18,  12,  56,  13,  14,
    157, 81,  153, 89,  19,  15,  12,  165, 13,  14,  17,  181, 79,  18,  26,
    15,  12,  167, 13,  14,  17,  27,  19,  18,  204, 15,  93,  94,  95,  96,
    17,  30,  19,  18,  116, 97,  117, 118, 98,  103, 104, 105, 19,  103, 104,
    105, 119, 79,  106, 136, 28,  107, 106, 215, 216, 107, 32,  31,  33,  205,
    166, 217, 198, 199, 200, 123, 201, 124, 125, 123, 56,  124, 125, 131, 132,
    126, 156, 127, 32,  220, 33,  127, 212, 182, 123, 184, 124, 125, 211, 76,
    77,  179, 162, 78,  56,  56,  127, 56,  79,  36,  164, 173, 134, 177, 37,
    154, 135, 162, 155, 56,  163, 223, 222, 226, 224, 154, 227, 52,  228, 215,
    216, 47,  53,  54,  55,  58,  59,  63,  68,  61,  62,  69,  140, 65,  71,
    66,  72,  67,  109, 75,  86,  87,  88,  84,  110, 112, 121, 91,  133, 111,
    113, 80,  141, 122, 145, 142, 143, 149, 146, 150, 152, 159, 191, 151, 174,
    180, 161, 171, 172, 175, 176, 79,  168, 221, 169, 170, 231, 160, 0,   183,
    193, 185, 186, 187, 194, 195, 188, 189, 190, 192, 196, 197, 230, 207, 208,
    209, 210, 0,   0,   225, 0,   232, 0,   0,   0,   0,   85,  0,   0,   0,
    0,   0,   0,   0,   0,   0,   0,   73}

Definition at line 700 of file parser.tab.cc.

◆ yytname

const char* const yytname[]

static

Definition at line 565 of file parser.tab.cc.

◆ yytranslate

const yytype_int8 yytranslate[]

static

Initial value:

= {
    0,  2,  2, 2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2, 2, 2,  2,
    2,  2,  2, 2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2, 2, 2,  2,
    23, 24, 2, 2,  25, 2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2, 2, 26, 22,
    2,  29, 2, 2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2, 2, 2,  2,
    2,  2,  2, 2,  2,  2,  2,  2,  2,  2,  2,  27, 2,  28, 2,  2,  2, 2, 2,  2,
    2,  2,  2, 2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2, 2, 2,  2,
    2,  2,  2, 30, 2,  31, 2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2, 2, 2,  2,
    2,  2,  2, 2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2, 2, 2,  2,
    2,  2,  2, 2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2, 2, 2,  2,
    2,  2,  2, 2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2, 2, 2,  2,
    2,  2,  2, 2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2, 2, 2,  2,
    2,  2,  2, 2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2, 2, 2,  2,
    2,  2,  2, 2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  1, 2, 3,  4,
    5,  6,  7, 8,  9,  10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21}

Definition at line 527 of file parser.tab.cc.

Classes

Macros

Typedefs

Enumerations

Functions

Variables

Macro Definition Documentation

◆ YY_

◆ YY_ACCESSING_SYMBOL

◆ YY_ASSERT

◆ YY_ATTRIBUTE_PURE

◆ YY_ATTRIBUTE_UNUSED

◆ YY_CAST

◆ YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN

◆ YY_IGNORE_MAYBE_UNINITIALIZED_END

◆ YY_IGNORE_USELESS_CAST_BEGIN

◆ YY_IGNORE_USELESS_CAST_END

◆ YY_INITIAL_VALUE

◆ YY_NULLPTR

◆ YY_REDUCE_PRINT

◆ YY_REINTERPRET_CAST

◆ YY_STACK_PRINT

◆ YY_SYMBOL_PRINT

◆ YY_USE

◆ YYABORT

◆ YYACCEPT

◆ YYBACKUP

◆ YYBISON

◆ YYBISON_VERSION

◆ YYCASE_

◆ yyclearin

◆ YYCOPY_NEEDED

◆ yydebug

◆ YYDPRINTF

◆ YYERRCODE

◆ yyerrok

◆ YYERROR

◆ yyerror

◆ YYFINAL

◆ YYFREE

◆ YYINITDEPTH

◆ YYLAST

◆ yylex

◆ YYMALLOC

◆ YYMAXDEPTH

◆ YYMAXUTOK

◆ yynerrs

◆ YYNNTS

◆ YYNOMEM

◆ YYNRULES

◆ YYNSTATES

◆ YYNTOKENS

◆ YYPACT_NINF

◆ yypact_value_is_default

◆ yyparse

◆ YYPOPSTACK

◆ YYPTRDIFF_MAXIMUM

◆ YYPTRDIFF_T

◆ YYPULL

◆ YYPURE

◆ YYPUSH

◆ YYRECOVERING

◆ YYSIZE_MAXIMUM

◆ YYSIZE_T

◆ YYSIZEOF

◆ YYSKELETON_NAME

◆ YYSTACK_ALLOC

◆ YYSTACK_ALLOC_MAXIMUM

◆ YYSTACK_BYTES

◆ YYSTACK_FREE

◆ YYSTACK_GAP_MAXIMUM

◆ YYSTACK_RELOCATE

◆ YYSTYPE

◆ YYTABLE_NINF

◆ yytable_value_is_error

◆ YYTRANSLATE

Typedef Documentation

◆ yy_state_fast_t

◆ yy_state_t

◆ yysymbol_kind_t