libutap  0.93
Uppaal Timed Automata Parser
Macros | Typedefs | Enumerations | Functions | Variables
parser.cc File Reference
#include "libparser.h"
#include "utap/position.h"
#include <cstring>
#include <stddef.h>
#include "lexer.cc"
Include dependency graph for parser.cc:

Go to the source code of this file.

Macros

#define YYBISON   1
 
#define YYBISON_VERSION   "3.3.2"
 
#define YYSKELETON_NAME   "yacc.c"
 
#define YYPURE   0
 
#define YYPUSH   0
 
#define YYPULL   1
 
#define yyparse   utap_parse
 
#define yylex   utap_lex
 
#define yyerror   utap_error
 
#define yydebug   utap_debug
 
#define yynerrs   utap_nerrs
 
#define yylval   utap_lval
 
#define yychar   utap_char
 
#define yylloc   utap_lloc
 
#define YYLLOC_DEFAULT(Current, Rhs, N)
 
#define YYLTYPE   position_t
 
#define YYERROR_VERBOSE   1
 
#define CALL(first, last, call)   do { ch->setPosition(first.start, last.end); try { ch->call; } catch (TypeException &te) { ch->handleError(te.what()); } } while (0)
 
#define YY_(msg)   utap_msg(msg)
 
#define NB_STR   8
 
#define YY_NULLPTR   ((void*)0)
 
#define YYERROR_VERBOSE   1
 
#define YYDEBUG   0
 
#define YYTOKENTYPE
 
#define T_ASSIGNMENT   258
 
#define T_ASSPLUS   259
 
#define T_ASSMINUS   260
 
#define T_ASSMULT   261
 
#define T_ASSDIV   262
 
#define T_ASSMOD   263
 
#define T_ASSOR   264
 
#define T_ASSAND   265
 
#define T_ASSXOR   266
 
#define T_ASSLSHIFT   267
 
#define T_ASSRSHIFT   268
 
#define T_EXCLAM   269
 
#define T_INCREMENT   270
 
#define T_DECREMENT   271
 
#define T_PLUS   272
 
#define T_MINUS   273
 
#define T_MULT   274
 
#define T_DIV   275
 
#define T_MOD   276
 
#define T_OR   277
 
#define T_XOR   278
 
#define T_LSHIFT   279
 
#define T_RSHIFT   280
 
#define T_BOOL_AND   281
 
#define T_BOOL_OR   282
 
#define T_KW_AND   283
 
#define T_KW_OR   284
 
#define T_KW_XOR   285
 
#define T_KW_IMPLY   286
 
#define T_KW_NOT   287
 
#define T_SUP   288
 
#define T_INF   289
 
#define T_ABS   290
 
#define T_FABS   291
 
#define T_FMOD   292
 
#define T_FMA   293
 
#define T_FMAX   294
 
#define T_FMIN   295
 
#define T_FDIM   296
 
#define T_EXP   297
 
#define T_EXP2   298
 
#define T_EXPM1   299
 
#define T_LN   300
 
#define T_LOG   301
 
#define T_LOG10   302
 
#define T_LOG2   303
 
#define T_LOG1P   304
 
#define T_POW   305
 
#define T_SQRT   306
 
#define T_CBRT   307
 
#define T_HYPOT   308
 
#define T_SIN   309
 
#define T_COS   310
 
#define T_TAN   311
 
#define T_ASIN   312
 
#define T_ACOS   313
 
#define T_ATAN   314
 
#define T_ATAN2   315
 
#define T_SINH   316
 
#define T_COSH   317
 
#define T_TANH   318
 
#define T_ASINH   319
 
#define T_ACOSH   320
 
#define T_ATANH   321
 
#define T_ERF   322
 
#define T_ERFC   323
 
#define T_TGAMMA   324
 
#define T_LGAMMA   325
 
#define T_CEIL   326
 
#define T_FLOOR   327
 
#define T_TRUNC   328
 
#define T_ROUND   329
 
#define T_FINT   330
 
#define T_LDEXP   331
 
#define T_ILOGB   332
 
#define T_LOGB   333
 
#define T_NEXTAFTER   334
 
#define T_NEXTTOWARD   335
 
#define T_COPYSIGN   336
 
#define T_FPCLASSIFY   337
 
#define T_ISFINITE   338
 
#define T_ISINF   339
 
#define T_ISNAN   340
 
#define T_ISNORMAL   341
 
#define T_SIGNBIT   342
 
#define T_ISUNORDERED   343
 
#define T_RANDOM   344
 
#define T_RANDOM_ARCSINE   345
 
#define T_RANDOM_BETA   346
 
#define T_RANDOM_GAMMA   347
 
#define T_RANDOM_NORMAL   348
 
#define T_RANDOM_POISSON   349
 
#define T_RANDOM_TRI   350
 
#define T_RANDOM_WEIBULL   351
 
#define T_FORALL   352
 
#define T_EXISTS   353
 
#define T_FOREACH   354
 
#define T_SUM   355
 
#define T_LT   356
 
#define T_LEQ   357
 
#define T_EQ   358
 
#define T_NEQ   359
 
#define T_GEQ   360
 
#define T_GT   361
 
#define T_FOR   362
 
#define T_WHILE   363
 
#define T_DO   364
 
#define T_BREAK   365
 
#define T_CONTINUE   366
 
#define T_SWITCH   367
 
#define T_IF   368
 
#define T_ELSE   369
 
#define T_CASE   370
 
#define T_DEFAULT   371
 
#define T_RETURN   372
 
#define T_ASSERT   373
 
#define T_PRIORITY   374
 
#define T_TYPEDEF   375
 
#define T_STRUCT   376
 
#define T_CONST   377
 
#define T_OLDCONST   378
 
#define T_URGENT   379
 
#define T_BROADCAST   380
 
#define T_TRUE   381
 
#define T_FALSE   382
 
#define T_META   383
 
#define T_SYSTEM   384
 
#define T_PROCESS   385
 
#define T_STATE   386
 
#define T_BRANCHPOINT   387
 
#define T_COMMIT   388
 
#define T_INIT   389
 
#define T_TRANS   390
 
#define T_SELECT   391
 
#define T_GUARD   392
 
#define T_SYNC   393
 
#define T_ASSIGN   394
 
#define T_PROBABILITY   395
 
#define T_BEFORE   396
 
#define T_AFTER   397
 
#define T_PROGRESS   398
 
#define T_ARROW   399
 
#define T_UNCONTROL_ARROW   400
 
#define T_IO   401
 
#define T_QUERY   402
 
#define T_DEADLOCK   403
 
#define T_EF   404
 
#define T_EG   405
 
#define T_AF   406
 
#define T_AG   407
 
#define T_LEADSTO   408
 
#define T_RESULTSET   409
 
#define T_EF_PLUS   410
 
#define T_AG_PLUS   411
 
#define T_EF_MULT   412
 
#define T_AG_MULT   413
 
#define T_SCENARIO   414
 
#define T_CONTROL   415
 
#define T_CONTROL_T   416
 
#define T_SIMULATION   417
 
#define T_SIMULATE   418
 
#define T_CONSISTENCY   419
 
#define T_SPECIFICATION   420
 
#define T_IMPLEMENTATION   421
 
#define T_REFINEMENT   422
 
#define T_GANTT   423
 
#define T_PMAX   424
 
#define T_PROBA   425
 
#define T_DIAMOND   426
 
#define T_BOX   427
 
#define T_HASH   428
 
#define T_ERROR   429
 
#define T_ID   430
 
#define T_TYPENAME   431
 
#define T_NAT   432
 
#define T_FLOATING   433
 
#define T_POS_NEG_MAX   434
 
#define T_BOOL   435
 
#define T_INT   436
 
#define T_CHAN   437
 
#define T_CLOCK   438
 
#define T_VOID   439
 
#define T_SCALAR   440
 
#define T_DOUBLE   441
 
#define T_NEW   442
 
#define T_NEW_DECLARATION   443
 
#define T_NEW_LOCAL_DECL   444
 
#define T_NEW_INST   445
 
#define T_NEW_SYSTEM   446
 
#define T_NEW_PARAMETERS   447
 
#define T_NEW_INVARIANT   448
 
#define T_NEW_GUARD   449
 
#define T_NEW_SYNC   450
 
#define T_NEW_ASSIGN   451
 
#define T_NEW_SELECT   452
 
#define T_EXPONENTIALRATE   453
 
#define T_OLD   454
 
#define T_OLD_DECLARATION   455
 
#define T_OLD_LOCAL_DECL   456
 
#define T_OLD_INST   457
 
#define T_OLD_PARAMETERS   458
 
#define T_OLD_INVARIANT   459
 
#define T_OLD_GUARD   460
 
#define T_OLD_ASSIGN   461
 
#define T_PROPERTY   462
 
#define T_EXPRESSION   463
 
#define T_EXPRESSION_LIST   464
 
#define T_XTA_PROCESS   465
 
#define T_INSTANCELINE   466
 
#define T_MESSAGE   467
 
#define T_UPDATE   468
 
#define T_CONDITION   469
 
#define T_MITL_AND   470
 
#define T_MITL_OR   471
 
#define T_MITL_NEXT   472
 
#define T_DYNAMIC   473
 
#define T_HYBRID   474
 
#define T_SPAWN   475
 
#define T_EXIT   476
 
#define T_NUMOF   477
 
#define T_MIN   478
 
#define T_MAX   479
 
#define UOPERATOR   480
 
#define YYSTYPE_IS_TRIVIAL   1
 
#define YYSTYPE_IS_DECLARED   1
 
#define YYSIZE_T   size_t
 
#define YYSIZE_MAXIMUM   ((YYSIZE_T) -1)
 
#define YY_ATTRIBUTE(Spec)   /* empty */
 
#define YY_ATTRIBUTE_PURE   YY_ATTRIBUTE ((__pure__))
 
#define YY_ATTRIBUTE_UNUSED   YY_ATTRIBUTE ((__unused__))
 
#define YYUSE(E)   ((void) (E))
 
#define YY_INITIAL_VALUE(Value)   Value
 
#define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
 
#define YY_IGNORE_MAYBE_UNINITIALIZED_END
 
#define YYSTACK_ALLOC   YYMALLOC
 
#define YYSTACK_FREE   YYFREE
 
#define YYSTACK_ALLOC_MAXIMUM   YYSIZE_MAXIMUM
 
#define YYMALLOC   malloc
 
#define YYFREE   free
 
#define YYSTACK_GAP_MAXIMUM   (sizeof (union yyalloc) - 1)
 
#define YYSTACK_BYTES(N)
 
#define YYCOPY_NEEDED   1
 
#define YYSTACK_RELOCATE(Stack_alloc, Stack)
 
#define YYCOPY(Dst, Src, Count)
 
#define YYFINAL   199
 
#define YYLAST   12460
 
#define YYNTOKENS   247
 
#define YYNNTS   211
 
#define YYNRULES   627
 
#define YYNSTATES   1266
 
#define YYUNDEFTOK   2
 
#define YYMAXUTOK   480
 
#define YYTRANSLATE(YYX)   ((unsigned) (YYX) <= YYMAXUTOK ? yytranslate[YYX] : YYUNDEFTOK)
 
#define YYPACT_NINF   -1135
 
#define yypact_value_is_default(Yystate)   (!!((Yystate) == (-1135)))
 
#define YYTABLE_NINF   -625
 
#define yytable_value_is_error(Yytable_value)   0
 
#define yyerrok   (yyerrstatus = 0)
 
#define yyclearin   (yychar = YYEMPTY)
 
#define YYEMPTY   (-2)
 
#define YYEOF   0
 
#define YYACCEPT   goto yyacceptlab
 
#define YYABORT   goto yyabortlab
 
#define YYERROR   goto yyerrorlab
 
#define YYRECOVERING()   (!!yyerrstatus)
 
#define YYBACKUP(Token, Value)
 
#define YYTERROR   1
 
#define YYERRCODE   256
 
#define YYRHSLOC(Rhs, K)   ((Rhs)[K])
 
#define YYDPRINTF(Args)
 
#define YY_SYMBOL_PRINT(Title, Type, 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)   (yyvsp -= (N), yyssp -= (N), yylsp -= (N))
 
#define YYSYNTAX_ERROR
 

Typedefs

typedef union YYSTYPE YYSTYPE
 
typedef unsigned char yytype_uint8
 
typedef signed char yytype_int8
 
typedef unsigned short yytype_uint16
 
typedef short yytype_int16
 

Enumerations

enum  yytokentype {
  T_ASSIGNMENT = 258, T_ASSPLUS = 259, T_ASSMINUS = 260, T_ASSMULT = 261,
  T_ASSDIV = 262, T_ASSMOD = 263, T_ASSOR = 264, T_ASSAND = 265,
  T_ASSXOR = 266, T_ASSLSHIFT = 267, T_ASSRSHIFT = 268, T_EXCLAM = 269,
  T_INCREMENT = 270, T_DECREMENT = 271, T_PLUS = 272, T_MINUS = 273,
  T_MULT = 274, T_DIV = 275, T_MOD = 276, T_OR = 277,
  T_XOR = 278, T_LSHIFT = 279, T_RSHIFT = 280, T_BOOL_AND = 281,
  T_BOOL_OR = 282, T_KW_AND = 283, T_KW_OR = 284, T_KW_XOR = 285,
  T_KW_IMPLY = 286, T_KW_NOT = 287, T_SUP = 288, T_INF = 289,
  T_ABS = 290, T_FABS = 291, T_FMOD = 292, T_FMA = 293,
  T_FMAX = 294, T_FMIN = 295, T_FDIM = 296, T_EXP = 297,
  T_EXP2 = 298, T_EXPM1 = 299, T_LN = 300, T_LOG = 301,
  T_LOG10 = 302, T_LOG2 = 303, T_LOG1P = 304, T_POW = 305,
  T_SQRT = 306, T_CBRT = 307, T_HYPOT = 308, T_SIN = 309,
  T_COS = 310, T_TAN = 311, T_ASIN = 312, T_ACOS = 313,
  T_ATAN = 314, T_ATAN2 = 315, T_SINH = 316, T_COSH = 317,
  T_TANH = 318, T_ASINH = 319, T_ACOSH = 320, T_ATANH = 321,
  T_ERF = 322, T_ERFC = 323, T_TGAMMA = 324, T_LGAMMA = 325,
  T_CEIL = 326, T_FLOOR = 327, T_TRUNC = 328, T_ROUND = 329,
  T_FINT = 330, T_LDEXP = 331, T_ILOGB = 332, T_LOGB = 333,
  T_NEXTAFTER = 334, T_NEXTTOWARD = 335, T_COPYSIGN = 336, T_FPCLASSIFY = 337,
  T_ISFINITE = 338, T_ISINF = 339, T_ISNAN = 340, T_ISNORMAL = 341,
  T_SIGNBIT = 342, T_ISUNORDERED = 343, T_RANDOM = 344, T_RANDOM_ARCSINE = 345,
  T_RANDOM_BETA = 346, T_RANDOM_GAMMA = 347, T_RANDOM_NORMAL = 348, T_RANDOM_POISSON = 349,
  T_RANDOM_TRI = 350, T_RANDOM_WEIBULL = 351, T_FORALL = 352, T_EXISTS = 353,
  T_FOREACH = 354, T_SUM = 355, T_LT = 356, T_LEQ = 357,
  T_EQ = 358, T_NEQ = 359, T_GEQ = 360, T_GT = 361,
  T_FOR = 362, T_WHILE = 363, T_DO = 364, T_BREAK = 365,
  T_CONTINUE = 366, T_SWITCH = 367, T_IF = 368, T_ELSE = 369,
  T_CASE = 370, T_DEFAULT = 371, T_RETURN = 372, T_ASSERT = 373,
  T_PRIORITY = 374, T_TYPEDEF = 375, T_STRUCT = 376, T_CONST = 377,
  T_OLDCONST = 378, T_URGENT = 379, T_BROADCAST = 380, T_TRUE = 381,
  T_FALSE = 382, T_META = 383, T_SYSTEM = 384, T_PROCESS = 385,
  T_STATE = 386, T_BRANCHPOINT = 387, T_COMMIT = 388, T_INIT = 389,
  T_TRANS = 390, T_SELECT = 391, T_GUARD = 392, T_SYNC = 393,
  T_ASSIGN = 394, T_PROBABILITY = 395, T_BEFORE = 396, T_AFTER = 397,
  T_PROGRESS = 398, T_ARROW = 399, T_UNCONTROL_ARROW = 400, T_IO = 401,
  T_QUERY = 402, T_DEADLOCK = 403, T_EF = 404, T_EG = 405,
  T_AF = 406, T_AG = 407, T_LEADSTO = 408, T_RESULTSET = 409,
  T_EF_PLUS = 410, T_AG_PLUS = 411, T_EF_MULT = 412, T_AG_MULT = 413,
  T_SCENARIO = 414, T_CONTROL = 415, T_CONTROL_T = 416, T_SIMULATION = 417,
  T_SIMULATE = 418, T_CONSISTENCY = 419, T_SPECIFICATION = 420, T_IMPLEMENTATION = 421,
  T_REFINEMENT = 422, T_GANTT = 423, T_PMAX = 424, T_PROBA = 425,
  T_DIAMOND = 426, T_BOX = 427, T_HASH = 428, T_ERROR = 429,
  T_ID = 430, T_TYPENAME = 431, T_NAT = 432, T_FLOATING = 433,
  T_POS_NEG_MAX = 434, T_BOOL = 435, T_INT = 436, T_CHAN = 437,
  T_CLOCK = 438, T_VOID = 439, T_SCALAR = 440, T_DOUBLE = 441,
  T_NEW = 442, T_NEW_DECLARATION = 443, T_NEW_LOCAL_DECL = 444, T_NEW_INST = 445,
  T_NEW_SYSTEM = 446, T_NEW_PARAMETERS = 447, T_NEW_INVARIANT = 448, T_NEW_GUARD = 449,
  T_NEW_SYNC = 450, T_NEW_ASSIGN = 451, T_NEW_SELECT = 452, T_EXPONENTIALRATE = 453,
  T_OLD = 454, T_OLD_DECLARATION = 455, T_OLD_LOCAL_DECL = 456, T_OLD_INST = 457,
  T_OLD_PARAMETERS = 458, T_OLD_INVARIANT = 459, T_OLD_GUARD = 460, T_OLD_ASSIGN = 461,
  T_PROPERTY = 462, T_EXPRESSION = 463, T_EXPRESSION_LIST = 464, T_XTA_PROCESS = 465,
  T_INSTANCELINE = 466, T_MESSAGE = 467, T_UPDATE = 468, T_CONDITION = 469,
  T_MITL_AND = 470, T_MITL_OR = 471, T_MITL_NEXT = 472, T_DYNAMIC = 473,
  T_HYBRID = 474, T_SPAWN = 475, T_EXIT = 476, T_NUMOF = 477,
  T_MIN = 478, T_MAX = 479, UOPERATOR = 480
}
 

Functions

static void utap_error (const char *msg)
 
static int lexer_flex ()
 
static int utap_lex ()
 
const char * utap_msg (const char *msg)
 
int utap_parse (void)
 
void * malloc (YYSIZE_T)
 
void free (void *)
 
static YYSIZE_T yystrlen (const char *yystr)
 
static char * yystpcpy (char *yydest, const char *yysrc)
 
static YYSIZE_T yytnamerr (char *yyres, const char *yystr)
 
static int yysyntax_error (YYSIZE_T *yymsg_alloc, char **yymsg, yytype_int16 *yyssp, int yytoken)
 
static void yydestruct (const char *yymsg, int yytype, YYSTYPE *yyvaluep, YYLTYPE *yylocationp)
 
int yyparse (void)
 
static void setStartToken (xta_part_t part, bool newxta)
 
static int32_t parseXTA (ParserBuilder *aParserBuilder, bool newxta, xta_part_t part, std::string xpath)
 
static int32_t parseProperty (ParserBuilder *aParserBuilder, const std::string &xpath)
 
int32_t parseXTA (const char *str, ParserBuilder *builder, bool newxta, xta_part_t part, const std::string &xpath)
 Parse a buffer in the XTA format, reporting the system to the given implementation of the the ParserBuilder interface and reporting errors to the ErrorHandler. More...
 
int32_t parseXTA (const char *str, ParserBuilder *builder, bool newxta)
 
int32_t parseXTA (FILE *file, ParserBuilder *builder, bool newxta)
 Parse a file in the XTA format, reporting the system to the given implementation of the the ParserBuilder interface and reporting errors to the ErrorHandler. More...
 
int32_t parseProperty (const char *str, ParserBuilder *aParserBuilder, const std::string &xpath)
 Parse properties from a buffer. More...
 
int32_t parseProperty (FILE *file, ParserBuilder *aParserBuilder)
 Parse properties from a file. More...
 

Variables

static ParserBuilder * ch
 
static syntax_t syntax
 
static int syntax_token = 0
 
static char rootTransId [MAXLEN]
 
static int types = 0
 
YYSTYPE utap_lval
 
YYLTYPE utap_lloc
 
static const yytype_uint8 yytranslate []
 
static const char *const yytname []
 
static const yytype_int16 yypact []
 
static const yytype_uint16 yydefact []
 
static const yytype_int16 yypgoto []
 
static const yytype_int16 yydefgoto []
 
static const yytype_int16 yytable []
 
static const yytype_int16 yycheck []
 
static const yytype_uint16 yystos []
 
static const yytype_uint16 yyr1 []
 
static const yytype_uint8 yyr2 []
 
int yychar
 
YYSTYPE yylval
 
YYLTYPE yylloc
 
int yynerrs
 

Macro Definition Documentation

◆ CALL

#define CALL (   first,
  last,
  call 
)    do { ch->setPosition(first.start, last.end); try { ch->call; } catch (TypeException &te) { ch->handleError(te.what()); } } while (0)

Definition at line 131 of file parser.cc.

Referenced by yyparse().

◆ NB_STR

#define NB_STR   8

Referenced by utap_msg().

◆ T_ABS

#define T_ABS   290

Definition at line 497 of file parser.cc.

◆ T_ACOS

#define T_ACOS   313

Definition at line 520 of file parser.cc.

◆ T_ACOSH

#define T_ACOSH   320

Definition at line 527 of file parser.cc.

◆ T_AF

#define T_AF   406

Definition at line 613 of file parser.cc.

◆ T_AFTER

#define T_AFTER   397

Definition at line 604 of file parser.cc.

◆ T_AG

#define T_AG   407

Definition at line 614 of file parser.cc.

◆ T_AG_MULT

#define T_AG_MULT   413

Definition at line 620 of file parser.cc.

◆ T_AG_PLUS

#define T_AG_PLUS   411

Definition at line 618 of file parser.cc.

◆ T_ARROW

#define T_ARROW   399

Definition at line 606 of file parser.cc.

◆ T_ASIN

#define T_ASIN   312

Definition at line 519 of file parser.cc.

◆ T_ASINH

#define T_ASINH   319

Definition at line 526 of file parser.cc.

◆ T_ASSAND

#define T_ASSAND   265

Definition at line 472 of file parser.cc.

◆ T_ASSDIV

#define T_ASSDIV   262

Definition at line 469 of file parser.cc.

◆ T_ASSERT

#define T_ASSERT   373

Definition at line 580 of file parser.cc.

◆ T_ASSIGN

#define T_ASSIGN   394

Definition at line 601 of file parser.cc.

◆ T_ASSIGNMENT

#define T_ASSIGNMENT   258

Definition at line 465 of file parser.cc.

◆ T_ASSLSHIFT

#define T_ASSLSHIFT   267

Definition at line 474 of file parser.cc.

◆ T_ASSMINUS

#define T_ASSMINUS   260

Definition at line 467 of file parser.cc.

◆ T_ASSMOD

#define T_ASSMOD   263

Definition at line 470 of file parser.cc.

◆ T_ASSMULT

#define T_ASSMULT   261

Definition at line 468 of file parser.cc.

◆ T_ASSOR

#define T_ASSOR   264

Definition at line 471 of file parser.cc.

◆ T_ASSPLUS

#define T_ASSPLUS   259

Definition at line 466 of file parser.cc.

◆ T_ASSRSHIFT

#define T_ASSRSHIFT   268

Definition at line 475 of file parser.cc.

◆ T_ASSXOR

#define T_ASSXOR   266

Definition at line 473 of file parser.cc.

◆ T_ATAN

#define T_ATAN   314

Definition at line 521 of file parser.cc.

◆ T_ATAN2

#define T_ATAN2   315

Definition at line 522 of file parser.cc.

◆ T_ATANH

#define T_ATANH   321

Definition at line 528 of file parser.cc.

◆ T_BEFORE

#define T_BEFORE   396

Definition at line 603 of file parser.cc.

◆ T_BOOL

#define T_BOOL   435

Definition at line 642 of file parser.cc.

◆ T_BOOL_AND

#define T_BOOL_AND   281

Definition at line 488 of file parser.cc.

◆ T_BOOL_OR

#define T_BOOL_OR   282

Definition at line 489 of file parser.cc.

◆ T_BOX

#define T_BOX   427

Definition at line 634 of file parser.cc.

◆ T_BRANCHPOINT

#define T_BRANCHPOINT   387

Definition at line 594 of file parser.cc.

◆ T_BREAK

#define T_BREAK   365

Definition at line 572 of file parser.cc.

◆ T_BROADCAST

#define T_BROADCAST   380

Definition at line 587 of file parser.cc.

◆ T_CASE

#define T_CASE   370

Definition at line 577 of file parser.cc.

◆ T_CBRT

#define T_CBRT   307

Definition at line 514 of file parser.cc.

◆ T_CEIL

#define T_CEIL   326

Definition at line 533 of file parser.cc.

◆ T_CHAN

#define T_CHAN   437

Definition at line 644 of file parser.cc.

◆ T_CLOCK

#define T_CLOCK   438

Definition at line 645 of file parser.cc.

◆ T_COMMIT

#define T_COMMIT   388

Definition at line 595 of file parser.cc.

◆ T_CONDITION

#define T_CONDITION   469

Definition at line 676 of file parser.cc.

Referenced by setStartToken().

◆ T_CONSISTENCY

#define T_CONSISTENCY   419

Definition at line 626 of file parser.cc.

◆ T_CONST

#define T_CONST   377

Definition at line 584 of file parser.cc.

◆ T_CONTINUE

#define T_CONTINUE   366

Definition at line 573 of file parser.cc.

◆ T_CONTROL

#define T_CONTROL   415

Definition at line 622 of file parser.cc.

◆ T_CONTROL_T

#define T_CONTROL_T   416

Definition at line 623 of file parser.cc.

◆ T_COPYSIGN

#define T_COPYSIGN   336

Definition at line 543 of file parser.cc.

◆ T_COS

#define T_COS   310

Definition at line 517 of file parser.cc.

◆ T_COSH

#define T_COSH   317

Definition at line 524 of file parser.cc.

◆ T_DEADLOCK

#define T_DEADLOCK   403

Definition at line 610 of file parser.cc.

◆ T_DECREMENT

#define T_DECREMENT   271

Definition at line 478 of file parser.cc.

◆ T_DEFAULT

#define T_DEFAULT   371

Definition at line 578 of file parser.cc.

◆ T_DIAMOND

#define T_DIAMOND   426

Definition at line 633 of file parser.cc.

◆ T_DIV

#define T_DIV   275

Definition at line 482 of file parser.cc.

◆ T_DO

#define T_DO   364

Definition at line 571 of file parser.cc.

◆ T_DOUBLE

#define T_DOUBLE   441

Definition at line 648 of file parser.cc.

◆ T_DYNAMIC

#define T_DYNAMIC   473

Definition at line 680 of file parser.cc.

◆ T_EF

#define T_EF   404

Definition at line 611 of file parser.cc.

◆ T_EF_MULT

#define T_EF_MULT   412

Definition at line 619 of file parser.cc.

◆ T_EF_PLUS

#define T_EF_PLUS   410

Definition at line 617 of file parser.cc.

◆ T_EG

#define T_EG   405

Definition at line 612 of file parser.cc.

◆ T_ELSE

#define T_ELSE   369

Definition at line 576 of file parser.cc.

◆ T_EQ

#define T_EQ   358

Definition at line 565 of file parser.cc.

◆ T_ERF

#define T_ERF   322

Definition at line 529 of file parser.cc.

◆ T_ERFC

#define T_ERFC   323

Definition at line 530 of file parser.cc.

◆ T_ERROR

#define T_ERROR   429

Definition at line 636 of file parser.cc.

◆ T_EXCLAM

#define T_EXCLAM   269

Definition at line 476 of file parser.cc.

◆ T_EXISTS

#define T_EXISTS   353

Definition at line 560 of file parser.cc.

◆ T_EXIT

#define T_EXIT   476

Definition at line 683 of file parser.cc.

◆ T_EXP

#define T_EXP   297

Definition at line 504 of file parser.cc.

◆ T_EXP2

#define T_EXP2   298

Definition at line 505 of file parser.cc.

◆ T_EXPM1

#define T_EXPM1   299

Definition at line 506 of file parser.cc.

◆ T_EXPONENTIALRATE

#define T_EXPONENTIALRATE   453

Definition at line 660 of file parser.cc.

Referenced by setStartToken().

◆ T_EXPRESSION

#define T_EXPRESSION   463

Definition at line 670 of file parser.cc.

Referenced by setStartToken().

◆ T_EXPRESSION_LIST

#define T_EXPRESSION_LIST   464

Definition at line 671 of file parser.cc.

Referenced by setStartToken().

◆ T_FABS

#define T_FABS   291

Definition at line 498 of file parser.cc.

◆ T_FALSE

#define T_FALSE   382

Definition at line 589 of file parser.cc.

◆ T_FDIM

#define T_FDIM   296

Definition at line 503 of file parser.cc.

◆ T_FINT

#define T_FINT   330

Definition at line 537 of file parser.cc.

◆ T_FLOATING

#define T_FLOATING   433

Definition at line 640 of file parser.cc.

◆ T_FLOOR

#define T_FLOOR   327

Definition at line 534 of file parser.cc.

◆ T_FMA

#define T_FMA   293

Definition at line 500 of file parser.cc.

◆ T_FMAX

#define T_FMAX   294

Definition at line 501 of file parser.cc.

◆ T_FMIN

#define T_FMIN   295

Definition at line 502 of file parser.cc.

◆ T_FMOD

#define T_FMOD   292

Definition at line 499 of file parser.cc.

◆ T_FOR

#define T_FOR   362

Definition at line 569 of file parser.cc.

◆ T_FORALL

#define T_FORALL   352

Definition at line 559 of file parser.cc.

◆ T_FOREACH

#define T_FOREACH   354

Definition at line 561 of file parser.cc.

◆ T_FPCLASSIFY

#define T_FPCLASSIFY   337

Definition at line 544 of file parser.cc.

◆ T_GANTT

#define T_GANTT   423

Definition at line 630 of file parser.cc.

◆ T_GEQ

#define T_GEQ   360

Definition at line 567 of file parser.cc.

◆ T_GT

#define T_GT   361

Definition at line 568 of file parser.cc.

◆ T_GUARD

#define T_GUARD   392

Definition at line 599 of file parser.cc.

◆ T_HASH

#define T_HASH   428

Definition at line 635 of file parser.cc.

◆ T_HYBRID

#define T_HYBRID   474

Definition at line 681 of file parser.cc.

◆ T_HYPOT

#define T_HYPOT   308

Definition at line 515 of file parser.cc.

◆ T_ID

#define T_ID   430

Definition at line 637 of file parser.cc.

◆ T_IF

#define T_IF   368

Definition at line 575 of file parser.cc.

◆ T_ILOGB

#define T_ILOGB   332

Definition at line 539 of file parser.cc.

◆ T_IMPLEMENTATION

#define T_IMPLEMENTATION   421

Definition at line 628 of file parser.cc.

◆ T_INCREMENT

#define T_INCREMENT   270

Definition at line 477 of file parser.cc.

◆ T_INF

#define T_INF   289

Definition at line 496 of file parser.cc.

◆ T_INIT

#define T_INIT   389

Definition at line 596 of file parser.cc.

◆ T_INSTANCELINE

#define T_INSTANCELINE   466

Definition at line 673 of file parser.cc.

Referenced by setStartToken().

◆ T_INT

#define T_INT   436

Definition at line 643 of file parser.cc.

◆ T_IO

#define T_IO   401

Definition at line 608 of file parser.cc.

◆ T_ISFINITE

#define T_ISFINITE   338

Definition at line 545 of file parser.cc.

◆ T_ISINF

#define T_ISINF   339

Definition at line 546 of file parser.cc.

◆ T_ISNAN

#define T_ISNAN   340

Definition at line 547 of file parser.cc.

◆ T_ISNORMAL

#define T_ISNORMAL   341

Definition at line 548 of file parser.cc.

◆ T_ISUNORDERED

#define T_ISUNORDERED   343

Definition at line 550 of file parser.cc.

◆ T_KW_AND

#define T_KW_AND   283

Definition at line 490 of file parser.cc.

◆ T_KW_IMPLY

#define T_KW_IMPLY   286

Definition at line 493 of file parser.cc.

◆ T_KW_NOT

#define T_KW_NOT   287

Definition at line 494 of file parser.cc.

◆ T_KW_OR

#define T_KW_OR   284

Definition at line 491 of file parser.cc.

◆ T_KW_XOR

#define T_KW_XOR   285

Definition at line 492 of file parser.cc.

◆ T_LDEXP

#define T_LDEXP   331

Definition at line 538 of file parser.cc.

◆ T_LEADSTO

#define T_LEADSTO   408

Definition at line 615 of file parser.cc.

◆ T_LEQ

#define T_LEQ   357

Definition at line 564 of file parser.cc.

◆ T_LGAMMA

#define T_LGAMMA   325

Definition at line 532 of file parser.cc.

◆ T_LN

#define T_LN   300

Definition at line 507 of file parser.cc.

◆ T_LOG

#define T_LOG   301

Definition at line 508 of file parser.cc.

◆ T_LOG10

#define T_LOG10   302

Definition at line 509 of file parser.cc.

◆ T_LOG1P

#define T_LOG1P   304

Definition at line 511 of file parser.cc.

◆ T_LOG2

#define T_LOG2   303

Definition at line 510 of file parser.cc.

◆ T_LOGB

#define T_LOGB   333

Definition at line 540 of file parser.cc.

◆ T_LSHIFT

#define T_LSHIFT   279

Definition at line 486 of file parser.cc.

◆ T_LT

#define T_LT   356

Definition at line 563 of file parser.cc.

◆ T_MAX

#define T_MAX   479

Definition at line 686 of file parser.cc.

◆ T_MESSAGE

#define T_MESSAGE   467

Definition at line 674 of file parser.cc.

Referenced by setStartToken().

◆ T_META

#define T_META   383

Definition at line 590 of file parser.cc.

◆ T_MIN

#define T_MIN   478

Definition at line 685 of file parser.cc.

◆ T_MINUS

#define T_MINUS   273

Definition at line 480 of file parser.cc.

◆ T_MITL_AND

#define T_MITL_AND   470

Definition at line 677 of file parser.cc.

◆ T_MITL_NEXT

#define T_MITL_NEXT   472

Definition at line 679 of file parser.cc.

◆ T_MITL_OR

#define T_MITL_OR   471

Definition at line 678 of file parser.cc.

◆ T_MOD

#define T_MOD   276

Definition at line 483 of file parser.cc.

◆ T_MULT

#define T_MULT   274

Definition at line 481 of file parser.cc.

◆ T_NAT

#define T_NAT   432

Definition at line 639 of file parser.cc.

◆ T_NEQ

#define T_NEQ   359

Definition at line 566 of file parser.cc.

◆ T_NEW

#define T_NEW   442

Definition at line 649 of file parser.cc.

Referenced by setStartToken().

◆ T_NEW_ASSIGN

#define T_NEW_ASSIGN   451

Definition at line 658 of file parser.cc.

Referenced by setStartToken().

◆ T_NEW_DECLARATION

#define T_NEW_DECLARATION   443

Definition at line 650 of file parser.cc.

Referenced by setStartToken().

◆ T_NEW_GUARD

#define T_NEW_GUARD   449

Definition at line 656 of file parser.cc.

Referenced by setStartToken().

◆ T_NEW_INST

#define T_NEW_INST   445

Definition at line 652 of file parser.cc.

Referenced by setStartToken().

◆ T_NEW_INVARIANT

#define T_NEW_INVARIANT   448

Definition at line 655 of file parser.cc.

Referenced by setStartToken().

◆ T_NEW_LOCAL_DECL

#define T_NEW_LOCAL_DECL   444

Definition at line 651 of file parser.cc.

Referenced by setStartToken().

◆ T_NEW_PARAMETERS

#define T_NEW_PARAMETERS   447

Definition at line 654 of file parser.cc.

Referenced by setStartToken().

◆ T_NEW_SELECT

#define T_NEW_SELECT   452

Definition at line 659 of file parser.cc.

Referenced by setStartToken().

◆ T_NEW_SYNC

#define T_NEW_SYNC   450

Definition at line 657 of file parser.cc.

Referenced by setStartToken().

◆ T_NEW_SYSTEM

#define T_NEW_SYSTEM   446

Definition at line 653 of file parser.cc.

Referenced by setStartToken().

◆ T_NEXTAFTER

#define T_NEXTAFTER   334

Definition at line 541 of file parser.cc.

◆ T_NEXTTOWARD

#define T_NEXTTOWARD   335

Definition at line 542 of file parser.cc.

◆ T_NUMOF

#define T_NUMOF   477

Definition at line 684 of file parser.cc.

◆ T_OLD

#define T_OLD   454

Definition at line 661 of file parser.cc.

Referenced by setStartToken().

◆ T_OLD_ASSIGN

#define T_OLD_ASSIGN   461

Definition at line 668 of file parser.cc.

Referenced by setStartToken().

◆ T_OLD_DECLARATION

#define T_OLD_DECLARATION   455

Definition at line 662 of file parser.cc.

Referenced by setStartToken().

◆ T_OLD_GUARD

#define T_OLD_GUARD   460

Definition at line 667 of file parser.cc.

Referenced by setStartToken().

◆ T_OLD_INST

#define T_OLD_INST   457

Definition at line 664 of file parser.cc.

Referenced by setStartToken().

◆ T_OLD_INVARIANT

#define T_OLD_INVARIANT   459

Definition at line 666 of file parser.cc.

Referenced by setStartToken().

◆ T_OLD_LOCAL_DECL

#define T_OLD_LOCAL_DECL   456

Definition at line 663 of file parser.cc.

Referenced by setStartToken().

◆ T_OLD_PARAMETERS

#define T_OLD_PARAMETERS   458

Definition at line 665 of file parser.cc.

Referenced by setStartToken().

◆ T_OLDCONST

#define T_OLDCONST   378

Definition at line 585 of file parser.cc.

◆ T_OR

#define T_OR   277

Definition at line 484 of file parser.cc.

◆ T_PLUS

#define T_PLUS   272

Definition at line 479 of file parser.cc.

◆ T_PMAX

#define T_PMAX   424

Definition at line 631 of file parser.cc.

◆ T_POS_NEG_MAX

#define T_POS_NEG_MAX   434

Definition at line 641 of file parser.cc.

◆ T_POW

#define T_POW   305

Definition at line 512 of file parser.cc.

◆ T_PRIORITY

#define T_PRIORITY   374

Definition at line 581 of file parser.cc.

◆ T_PROBA

#define T_PROBA   425

Definition at line 632 of file parser.cc.

◆ T_PROBABILITY

#define T_PROBABILITY   395

Definition at line 602 of file parser.cc.

Referenced by setStartToken().

◆ T_PROCESS

#define T_PROCESS   385

Definition at line 592 of file parser.cc.

◆ T_PROGRESS

#define T_PROGRESS   398

Definition at line 605 of file parser.cc.

◆ T_PROPERTY

#define T_PROPERTY   462

Definition at line 669 of file parser.cc.

Referenced by setStartToken().

◆ T_QUERY

#define T_QUERY   402

Definition at line 609 of file parser.cc.

◆ T_RANDOM

#define T_RANDOM   344

Definition at line 551 of file parser.cc.

◆ T_RANDOM_ARCSINE

#define T_RANDOM_ARCSINE   345

Definition at line 552 of file parser.cc.

◆ T_RANDOM_BETA

#define T_RANDOM_BETA   346

Definition at line 553 of file parser.cc.

◆ T_RANDOM_GAMMA

#define T_RANDOM_GAMMA   347

Definition at line 554 of file parser.cc.

◆ T_RANDOM_NORMAL

#define T_RANDOM_NORMAL   348

Definition at line 555 of file parser.cc.

◆ T_RANDOM_POISSON

#define T_RANDOM_POISSON   349

Definition at line 556 of file parser.cc.

◆ T_RANDOM_TRI

#define T_RANDOM_TRI   350

Definition at line 557 of file parser.cc.

◆ T_RANDOM_WEIBULL

#define T_RANDOM_WEIBULL   351

Definition at line 558 of file parser.cc.

◆ T_REFINEMENT

#define T_REFINEMENT   422

Definition at line 629 of file parser.cc.

◆ T_RESULTSET

#define T_RESULTSET   409

Definition at line 616 of file parser.cc.

◆ T_RETURN

#define T_RETURN   372

Definition at line 579 of file parser.cc.

◆ T_ROUND

#define T_ROUND   329

Definition at line 536 of file parser.cc.

◆ T_RSHIFT

#define T_RSHIFT   280

Definition at line 487 of file parser.cc.

◆ T_SCALAR

#define T_SCALAR   440

Definition at line 647 of file parser.cc.

◆ T_SCENARIO

#define T_SCENARIO   414

Definition at line 621 of file parser.cc.

◆ T_SELECT

#define T_SELECT   391

Definition at line 598 of file parser.cc.

◆ T_SIGNBIT

#define T_SIGNBIT   342

Definition at line 549 of file parser.cc.

◆ T_SIMULATE

#define T_SIMULATE   418

Definition at line 625 of file parser.cc.

◆ T_SIMULATION

#define T_SIMULATION   417

Definition at line 624 of file parser.cc.

◆ T_SIN

#define T_SIN   309

Definition at line 516 of file parser.cc.

◆ T_SINH

#define T_SINH   316

Definition at line 523 of file parser.cc.

◆ T_SPAWN

#define T_SPAWN   475

Definition at line 682 of file parser.cc.

◆ T_SPECIFICATION

#define T_SPECIFICATION   420

Definition at line 627 of file parser.cc.

◆ T_SQRT

#define T_SQRT   306

Definition at line 513 of file parser.cc.

◆ T_STATE

#define T_STATE   386

Definition at line 593 of file parser.cc.

◆ T_STRUCT

#define T_STRUCT   376

Definition at line 583 of file parser.cc.

◆ T_SUM

#define T_SUM   355

Definition at line 562 of file parser.cc.

◆ T_SUP

#define T_SUP   288

Definition at line 495 of file parser.cc.

◆ T_SWITCH

#define T_SWITCH   367

Definition at line 574 of file parser.cc.

◆ T_SYNC

#define T_SYNC   393

Definition at line 600 of file parser.cc.

◆ T_SYSTEM

#define T_SYSTEM   384

Definition at line 591 of file parser.cc.

◆ T_TAN

#define T_TAN   311

Definition at line 518 of file parser.cc.

◆ T_TANH

#define T_TANH   318

Definition at line 525 of file parser.cc.

◆ T_TGAMMA

#define T_TGAMMA   324

Definition at line 531 of file parser.cc.

◆ T_TRANS

#define T_TRANS   390

Definition at line 597 of file parser.cc.

◆ T_TRUE

#define T_TRUE   381

Definition at line 588 of file parser.cc.

◆ T_TRUNC

#define T_TRUNC   328

Definition at line 535 of file parser.cc.

◆ T_TYPEDEF

#define T_TYPEDEF   375

Definition at line 582 of file parser.cc.

◆ T_TYPENAME

#define T_TYPENAME   431

Definition at line 638 of file parser.cc.

◆ T_UNCONTROL_ARROW

#define T_UNCONTROL_ARROW   400

Definition at line 607 of file parser.cc.

◆ T_UPDATE

#define T_UPDATE   468

Definition at line 675 of file parser.cc.

Referenced by setStartToken().

◆ T_URGENT

#define T_URGENT   379

Definition at line 586 of file parser.cc.

◆ T_VOID

#define T_VOID   439

Definition at line 646 of file parser.cc.

◆ T_WHILE

#define T_WHILE   363

Definition at line 570 of file parser.cc.

◆ T_XOR

#define T_XOR   278

Definition at line 485 of file parser.cc.

◆ T_XTA_PROCESS

#define T_XTA_PROCESS   465

Definition at line 672 of file parser.cc.

Referenced by setStartToken().

◆ UOPERATOR

#define UOPERATOR   480

Definition at line 687 of file parser.cc.

◆ YY_

#define YY_ (   msg)    utap_msg(msg)

Definition at line 133 of file parser.cc.

Referenced by yyparse(), and yysyntax_error().

◆ YY_ATTRIBUTE

#define YY_ATTRIBUTE (   Spec)    /* empty */

Definition at line 795 of file parser.cc.

◆ YY_ATTRIBUTE_PURE

#define YY_ATTRIBUTE_PURE   YY_ATTRIBUTE ((__pure__))

Definition at line 800 of file parser.cc.

◆ YY_ATTRIBUTE_UNUSED

#define YY_ATTRIBUTE_UNUSED   YY_ATTRIBUTE ((__unused__))

Definition at line 804 of file parser.cc.

◆ YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN

#define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN

Definition at line 826 of file parser.cc.

Referenced by yydestruct(), and yyparse().

◆ YY_IGNORE_MAYBE_UNINITIALIZED_END

#define YY_IGNORE_MAYBE_UNINITIALIZED_END

Definition at line 827 of file parser.cc.

Referenced by yydestruct(), and yyparse().

◆ YY_INITIAL_VALUE

#define YY_INITIAL_VALUE (   Value)    Value

Definition at line 823 of file parser.cc.

◆ YY_NULLPTR

#define YY_NULLPTR   ((void*)0)

Definition at line 213 of file parser.cc.

Referenced by yysyntax_error().

◆ YY_REDUCE_PRINT

#define YY_REDUCE_PRINT (   Rule)

Definition at line 4574 of file parser.cc.

Referenced by yyparse().

◆ YY_STACK_PRINT

#define YY_STACK_PRINT (   Bottom,
  Top 
)

Definition at line 4573 of file parser.cc.

Referenced by yyparse().

◆ YY_SYMBOL_PRINT

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

Definition at line 4572 of file parser.cc.

Referenced by yydestruct(), and yyparse().

◆ YYABORT

#define YYABORT   goto yyabortlab

Definition at line 4351 of file parser.cc.

Referenced by yyparse().

◆ YYACCEPT

#define YYACCEPT   goto yyacceptlab

Definition at line 4350 of file parser.cc.

Referenced by yyparse().

◆ YYBACKUP

#define YYBACKUP (   Token,
  Value 
)
Value:
do \
if (yychar == YYEMPTY) \
{ \
yychar = (Token); \
yylval = (Value); \
YYPOPSTACK (yylen); \
yystate = *yyssp; \
goto yybackup; \
} \
else \
{ \
yyerror (YY_("syntax error: cannot back up")); \
YYERROR; \
} \
while (0)
if
if(!(yy_init))
Definition: lexer.cc:1042
yychar
#define yychar
Definition: parser.cc:74
YY_
#define YY_(msg)
Definition: parser.cc:133
YYEMPTY
#define YYEMPTY
Definition: parser.cc:4347

Definition at line 4357 of file parser.cc.

◆ YYBISON

#define YYBISON   1

Definition at line 48 of file parser.cc.

◆ YYBISON_VERSION

#define YYBISON_VERSION   "3.3.2"

Definition at line 51 of file parser.cc.

◆ YYCASE_

#define YYCASE_ (   N,
  S 
)
Value:
case N: \
yyformat = S; \
break

Referenced by yysyntax_error().

◆ yychar

#define yychar   utap_char

Definition at line 74 of file parser.cc.

Referenced by yyparse().

◆ yyclearin

#define yyclearin   (yychar = YYEMPTY)

Definition at line 4346 of file parser.cc.

◆ YYCOPY

#define YYCOPY (   Dst,
  Src,
  Count 
)
Value:
do \
{ \
YYSIZE_T yyi; \
for (yyi = 0; yyi < (Count); yyi++) \
(Dst)[yyi] = (Src)[yyi]; \
} \
while (0)

Definition at line 952 of file parser.cc.

◆ YYCOPY_NEEDED

#define YYCOPY_NEEDED   1

Definition at line 924 of file parser.cc.

◆ yydebug

#define yydebug   utap_debug

Definition at line 70 of file parser.cc.

◆ YYDEBUG

#define YYDEBUG   0

Definition at line 228 of file parser.cc.

◆ YYDPRINTF

#define YYDPRINTF (   Args)

Definition at line 4571 of file parser.cc.

Referenced by yyparse().

◆ YYEMPTY

#define YYEMPTY   (-2)

Definition at line 4347 of file parser.cc.

Referenced by yyparse(), and yysyntax_error().

◆ YYEOF

#define YYEOF   0

Definition at line 4348 of file parser.cc.

Referenced by yyparse().

◆ YYERRCODE

#define YYERRCODE   256

Definition at line 4376 of file parser.cc.

◆ yyerrok

#define yyerrok   (yyerrstatus = 0)

Definition at line 4345 of file parser.cc.

◆ yyerror

#define yyerror   utap_error

Definition at line 69 of file parser.cc.

Referenced by if(), and yyparse().

◆ YYERROR

#define YYERROR   goto yyerrorlab

Definition at line 4352 of file parser.cc.

Referenced by yyparse().

◆ YYERROR_VERBOSE [1/2]

#define YYERROR_VERBOSE   1

Definition at line 220 of file parser.cc.

◆ YYERROR_VERBOSE [2/2]

#define YYERROR_VERBOSE   1

Definition at line 220 of file parser.cc.

◆ YYFINAL

#define YYFINAL   199

Definition at line 965 of file parser.cc.

Referenced by yyparse().

◆ YYFREE

#define YYFREE   free

Definition at line 893 of file parser.cc.

◆ YYINITDEPTH

#define YYINITDEPTH   200

Definition at line 4580 of file parser.cc.

Referenced by yyparse().

◆ YYLAST

#define YYLAST   12460

Definition at line 967 of file parser.cc.

Referenced by yyparse(), and yysyntax_error().

◆ yylex

#define yylex   utap_lex

Definition at line 68 of file parser.cc.

Referenced by yyparse().

◆ yylloc

#define yylloc   utap_lloc

Definition at line 75 of file parser.cc.

Referenced by yyparse().

◆ YYLLOC_DEFAULT

#define YYLLOC_DEFAULT (   Current,
  Rhs,
  N 
)
Value:
do \
if (N) \
{ \
(Current).start = YYRHSLOC (Rhs, 1).start; \
(Current).end = YYRHSLOC (Rhs, N).end; \
} \
else \
{ \
(Current).start = (Current).end = \
YYRHSLOC (Rhs, 0).end; \
} \
while (0)
YYRHSLOC
#define YYRHSLOC(Rhs, K)
Definition: parser.cc:4403
if
if(!(yy_init))
Definition: lexer.cc:1042

Definition at line 89 of file parser.cc.

Referenced by yyparse().

◆ YYLTYPE

#define YYLTYPE   position_t

Definition at line 103 of file parser.cc.

Referenced by yyparse().

◆ yylval

#define yylval   utap_lval

Definition at line 73 of file parser.cc.

Referenced by yyparse().

◆ YYMALLOC

#define YYMALLOC   malloc

Definition at line 887 of file parser.cc.

◆ YYMAXDEPTH

#define YYMAXDEPTH   10000

Definition at line 4591 of file parser.cc.

Referenced by yyparse().

◆ YYMAXUTOK

#define YYMAXUTOK   480

Definition at line 979 of file parser.cc.

◆ yynerrs

#define yynerrs   utap_nerrs

Definition at line 71 of file parser.cc.

Referenced by yyparse().

◆ YYNNTS

#define YYNNTS   211

Definition at line 972 of file parser.cc.

◆ YYNRULES

#define YYNRULES   627

Definition at line 974 of file parser.cc.

◆ YYNSTATES

#define YYNSTATES   1266

Definition at line 976 of file parser.cc.

◆ YYNTOKENS

#define YYNTOKENS   247

Definition at line 970 of file parser.cc.

Referenced by yyparse(), and yysyntax_error().

◆ YYPACT_NINF

#define YYPACT_NINF   -1135

Definition at line 1239 of file parser.cc.

◆ yypact_value_is_default

#define yypact_value_is_default (   Yystate)    (!!((Yystate) == (-1135)))

Definition at line 1241 of file parser.cc.

Referenced by yyparse(), and yysyntax_error().

◆ yyparse

#define yyparse   utap_parse

Definition at line 67 of file parser.cc.

◆ YYPOPSTACK

#define YYPOPSTACK (   N)    (yyvsp -= (N), yyssp -= (N), yylsp -= (N))

Referenced by yyparse().

◆ YYPULL

#define YYPULL   1

Definition at line 63 of file parser.cc.

◆ YYPURE

#define YYPURE   0

Definition at line 57 of file parser.cc.

◆ YYPUSH

#define YYPUSH   0

Definition at line 60 of file parser.cc.

◆ YYRECOVERING

#define YYRECOVERING ( )    (!!yyerrstatus)

Definition at line 4355 of file parser.cc.

◆ YYRHSLOC

#define YYRHSLOC (   Rhs,
  K 
)    ((Rhs)[K])

Definition at line 4403 of file parser.cc.

◆ YYSIZE_MAXIMUM

#define YYSIZE_MAXIMUM   ((YYSIZE_T) -1)

Definition at line 775 of file parser.cc.

◆ YYSIZE_T

#define YYSIZE_T   size_t

Definition at line 769 of file parser.cc.

Referenced by yyparse(), yystpcpy(), yystrlen(), yysyntax_error(), and yytnamerr().

◆ YYSKELETON_NAME

#define YYSKELETON_NAME   "yacc.c"

Definition at line 54 of file parser.cc.

◆ YYSTACK_ALLOC

#define YYSTACK_ALLOC   YYMALLOC

Definition at line 873 of file parser.cc.

Referenced by yyparse().

◆ YYSTACK_ALLOC_MAXIMUM

#define YYSTACK_ALLOC_MAXIMUM   YYSIZE_MAXIMUM

Definition at line 876 of file parser.cc.

Referenced by yysyntax_error().

◆ YYSTACK_BYTES

#define YYSTACK_BYTES (   N)
Value:
((N) * (sizeof (yytype_int16) + sizeof (YYSTYPE) + sizeof (YYLTYPE)) \
+ 2 * YYSTACK_GAP_MAXIMUM)
yytype_int16
short yytype_int16
Definition: parser.cc:759
YYSTACK_GAP_MAXIMUM
#define YYSTACK_GAP_MAXIMUM
Definition: parser.cc:916
YYSTYPE
union YYSTYPE YYSTYPE
Definition: parser.cc:706
YYLTYPE
#define YYLTYPE
Definition: parser.cc:103

Definition at line 920 of file parser.cc.

Referenced by yyparse().

◆ YYSTACK_FREE

#define YYSTACK_FREE   YYFREE

Definition at line 874 of file parser.cc.

Referenced by yyparse().

◆ YYSTACK_GAP_MAXIMUM

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

Definition at line 916 of file parser.cc.

◆ YYSTACK_RELOCATE

#define YYSTACK_RELOCATE (   Stack_alloc,
  Stack 
)
Value:
do \
{ \
YYSIZE_T yynewbytes; \
YYCOPY (&yyptr->Stack_alloc, Stack, yysize); \
Stack = &yyptr->Stack_alloc; \
yynewbytes = yystacksize * sizeof (*Stack) + YYSTACK_GAP_MAXIMUM; \
yyptr += yynewbytes / sizeof (*yyptr); \
} \
while (0)
YYSTACK_GAP_MAXIMUM
#define YYSTACK_GAP_MAXIMUM
Definition: parser.cc:916

Definition at line 931 of file parser.cc.

Referenced by yyparse().

◆ YYSTYPE_IS_DECLARED

#define YYSTYPE_IS_DECLARED   1

Definition at line 708 of file parser.cc.

◆ YYSTYPE_IS_TRIVIAL

#define YYSTYPE_IS_TRIVIAL   1

Definition at line 707 of file parser.cc.

◆ YYSYNTAX_ERROR

#define YYSYNTAX_ERROR
Value:
yysyntax_error (&yymsg_alloc, &yymsg, \
yyssp, yytoken)
yysyntax_error
static int yysyntax_error(YYSIZE_T *yymsg_alloc, char **yymsg, yytype_int16 *yyssp, int yytoken)
Definition: parser.cc:4693

Referenced by yyparse().

◆ YYTABLE_NINF

#define YYTABLE_NINF   -625

Definition at line 1244 of file parser.cc.

◆ yytable_value_is_error

#define yytable_value_is_error (   Yytable_value)    0

Definition at line 1246 of file parser.cc.

Referenced by yyparse(), and yysyntax_error().

◆ YYTERROR

#define YYTERROR   1

Definition at line 4375 of file parser.cc.

Referenced by yyparse(), and yysyntax_error().

◆ YYTOKENTYPE

#define YYTOKENTYPE

Definition at line 236 of file parser.cc.

◆ YYTRANSLATE

#define YYTRANSLATE (   YYX)    ((unsigned) (YYX) <= YYMAXUTOK ? yytranslate[YYX] : YYUNDEFTOK)

Definition at line 983 of file parser.cc.

Referenced by yyparse().

◆ YYUNDEFTOK

#define YYUNDEFTOK   2

Definition at line 978 of file parser.cc.

◆ YYUSE

#define YYUSE (   E)    ((void) (E))

Definition at line 809 of file parser.cc.

Referenced by yydestruct().

Typedef Documentation

◆ YYSTYPE

typedef union YYSTYPE YYSTYPE

Definition at line 706 of file parser.cc.

◆ yytype_int16

typedef short yytype_int16

Definition at line 759 of file parser.cc.

◆ yytype_int8

typedef signed char yytype_int8

Definition at line 747 of file parser.cc.

◆ yytype_uint16

typedef unsigned short yytype_uint16

Definition at line 753 of file parser.cc.

◆ yytype_uint8

typedef unsigned char yytype_uint8

Definition at line 741 of file parser.cc.

Enumeration Type Documentation

◆ yytokentype

enum yytokentype
Enumerator
T_ASSIGNMENT 
T_ASSPLUS 
T_ASSMINUS 
T_ASSMULT 
T_ASSDIV 
T_ASSMOD 
T_ASSOR 
T_ASSAND 
T_ASSXOR 
T_ASSLSHIFT 
T_ASSRSHIFT 
T_EXCLAM 
T_INCREMENT 
T_DECREMENT 
T_PLUS 
T_MINUS 
T_MULT 
T_DIV 
T_MOD 
T_OR 
T_XOR 
T_LSHIFT 
T_RSHIFT 
T_BOOL_AND 
T_BOOL_OR 
T_KW_AND 
T_KW_OR 
T_KW_XOR 
T_KW_IMPLY 
T_KW_NOT 
T_SUP 
T_INF 
T_ABS 
T_FABS 
T_FMOD 
T_FMA 
T_FMAX 
T_FMIN 
T_FDIM 
T_EXP 
T_EXP2 
T_EXPM1 
T_LN 
T_LOG 
T_LOG10 
T_LOG2 
T_LOG1P 
T_POW 
T_SQRT 
T_CBRT 
T_HYPOT 
T_SIN 
T_COS 
T_TAN 
T_ASIN 
T_ACOS 
T_ATAN 
T_ATAN2 
T_SINH 
T_COSH 
T_TANH 
T_ASINH 
T_ACOSH 
T_ATANH 
T_ERF 
T_ERFC 
T_TGAMMA 
T_LGAMMA 
T_CEIL 
T_FLOOR 
T_TRUNC 
T_ROUND 
T_FINT 
T_LDEXP 
T_ILOGB 
T_LOGB 
T_NEXTAFTER 
T_NEXTTOWARD 
T_COPYSIGN 
T_FPCLASSIFY 
T_ISFINITE 
T_ISINF 
T_ISNAN 
T_ISNORMAL 
T_SIGNBIT 
T_ISUNORDERED 
T_RANDOM 
T_RANDOM_ARCSINE 
T_RANDOM_BETA 
T_RANDOM_GAMMA 
T_RANDOM_NORMAL 
T_RANDOM_POISSON 
T_RANDOM_TRI 
T_RANDOM_WEIBULL 
T_FORALL 
T_EXISTS 
T_FOREACH 
T_SUM 
T_LT 
T_LEQ 
T_EQ 
T_NEQ 
T_GEQ 
T_GT 
T_FOR 
T_WHILE 
T_DO 
T_BREAK 
T_CONTINUE 
T_SWITCH 
T_IF 
T_ELSE 
T_CASE 
T_DEFAULT 
T_RETURN 
T_ASSERT 
T_PRIORITY 
T_TYPEDEF 
T_STRUCT 
T_CONST 
T_OLDCONST 
T_URGENT 
T_BROADCAST 
T_TRUE 
T_FALSE 
T_META 
T_SYSTEM 
T_PROCESS 
T_STATE 
T_BRANCHPOINT 
T_COMMIT 
T_INIT 
T_TRANS 
T_SELECT 
T_GUARD 
T_SYNC 
T_ASSIGN 
T_PROBABILITY 
T_BEFORE 
T_AFTER 
T_PROGRESS 
T_ARROW 
T_UNCONTROL_ARROW 
T_IO 
T_QUERY 
T_DEADLOCK 
T_EF 
T_EG 
T_AF 
T_AG 
T_LEADSTO 
T_RESULTSET 
T_EF_PLUS 
T_AG_PLUS 
T_EF_MULT 
T_AG_MULT 
T_SCENARIO 
T_CONTROL 
T_CONTROL_T 
T_SIMULATION 
T_SIMULATE 
T_CONSISTENCY 
T_SPECIFICATION 
T_IMPLEMENTATION 
T_REFINEMENT 
T_GANTT 
T_PMAX 
T_PROBA 
T_DIAMOND 
T_BOX 
T_HASH 
T_ERROR 
T_ID 
T_TYPENAME 
T_NAT 
T_FLOATING 
T_POS_NEG_MAX 
T_BOOL 
T_INT 
T_CHAN 
T_CLOCK 
T_VOID 
T_SCALAR 
T_DOUBLE 
T_NEW 
T_NEW_DECLARATION 
T_NEW_LOCAL_DECL 
T_NEW_INST 
T_NEW_SYSTEM 
T_NEW_PARAMETERS 
T_NEW_INVARIANT 
T_NEW_GUARD 
T_NEW_SYNC 
T_NEW_ASSIGN 
T_NEW_SELECT 
T_EXPONENTIALRATE 
T_OLD 
T_OLD_DECLARATION 
T_OLD_LOCAL_DECL 
T_OLD_INST 
T_OLD_PARAMETERS 
T_OLD_INVARIANT 
T_OLD_GUARD 
T_OLD_ASSIGN 
T_PROPERTY 
T_EXPRESSION 
T_EXPRESSION_LIST 
T_XTA_PROCESS 
T_INSTANCELINE 
T_MESSAGE 
T_UPDATE 
T_CONDITION 
T_MITL_AND 
T_MITL_OR 
T_MITL_NEXT 
T_DYNAMIC 
T_HYBRID 
T_SPAWN 
T_EXIT 
T_NUMOF 
T_MIN 
T_MAX 
UOPERATOR 

Definition at line 237 of file parser.cc.

Function Documentation

◆ free()

void free ( void *  )

Referenced by get_token(), if(), UTAP::Partitioner::partition(), and UTAP::Partitioner::~Partitioner().

Here is the caller graph for this function:

◆ lexer_flex()

static int lexer_flex ( )
static

Referenced by utap_lex().

Here is the caller graph for this function:

◆ malloc()

void* malloc ( YYSIZE_T  )

Referenced by if().

Here is the caller graph for this function:

◆ parseProperty() [1/3]

static int32_t parseProperty ( ParserBuilder *  aParserBuilder,
const std::string &  xpath 
)
static

Definition at line 8931 of file parser.cc.

References UTAP::S_PROPERTY, setStartToken(), syntax, SYNTAX_PROPERTY, and utap_parse().

Referenced by parseProperty().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ parseProperty() [2/3]

int32_t parseProperty ( const char *  str,
UTAP::ParserBuilder *  aParserBuilder,
const std::string &  xpath = "" 
)

Parse properties from a buffer.

The properties are reported using the given ParserBuilder and errors are reported using the ErrorHandler.

Definition at line 8968 of file parser.cc.

References parseProperty(), and YY_CURRENT_BUFFER.

Referenced by UTAP::ParserBuilder::~ParserBuilder().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ parseProperty() [3/3]

int32_t parseProperty ( FILE *  ,
UTAP::ParserBuilder *  aParserBuilder 
)

Parse properties from a file.

The properties are reported using the given ParserBuilder and errors are reported using the ErrorHandler.

Definition at line 8977 of file parser.cc.

References parseProperty(), YY_BUF_SIZE, and YY_CURRENT_BUFFER.

Here is the call graph for this function:

◆ parseXTA() [1/4]

static int32_t parseXTA ( ParserBuilder *  aParserBuilder,
bool  newxta,
xta_part_t  part,
std::string  xpath 
)
static

Definition at line 8906 of file parser.cc.

References setStartToken(), syntax, SYNTAX_GUIDING, SYNTAX_NEW, SYNTAX_OLD, and utap_parse().

Referenced by main(), parseXTA(), and UTAP::symbol().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ parseXTA() [2/4]

int32_t parseXTA ( const char *  ,
UTAP::ParserBuilder *  ,
bool  newxta,
UTAP::xta_part_t  part,
const std::string &  xpath 
)

Parse a buffer in the XTA format, reporting the system to the given implementation of the the ParserBuilder interface and reporting errors to the ErrorHandler.

If newxta is true, then the 4.x syntax is used; otherwise the 3.x syntax is used. On success, this function returns with a positive value.

Definition at line 8946 of file parser.cc.

References parseXTA(), and YY_CURRENT_BUFFER.

Here is the call graph for this function:

◆ parseXTA() [3/4]

int32_t parseXTA ( const char *  str,
ParserBuilder *  builder,
bool  newxta 
)

Definition at line 8955 of file parser.cc.

References parseXTA(), and UTAP::S_XTA.

Here is the call graph for this function:

◆ parseXTA() [4/4]

int32_t parseXTA ( FILE *  ,
UTAP::ParserBuilder *  ,
bool  newxta 
)

Parse a file in the XTA format, reporting the system to the given implementation of the the ParserBuilder interface and reporting errors to the ErrorHandler.

If newxta is true, then the 4.x syntax is used; otherwise the 3.x syntax is used. On success, this function returns with a positive value.

Definition at line 8960 of file parser.cc.

References parseXTA(), UTAP::S_XTA, YY_BUF_SIZE, and YY_CURRENT_BUFFER.

Referenced by UTAP::ParserBuilder::~ParserBuilder().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ setStartToken()

static void setStartToken ( xta_part_t  part,
bool  newxta 
)
static

Definition at line 8835 of file parser.cc.

References UTAP::S_ASSIGN, UTAP::S_CONDITION, UTAP::S_DECLARATION, UTAP::S_EXPONENTIALRATE, UTAP::S_EXPRESSION, UTAP::S_EXPRESSION_LIST, UTAP::S_GUARD, UTAP::S_INST, UTAP::S_INSTANCELINE, UTAP::S_INVARIANT, UTAP::S_LOCAL_DECL, UTAP::S_MESSAGE, UTAP::S_PARAMETERS, UTAP::S_PROBABILITY, UTAP::S_PROPERTY, UTAP::S_SELECT, UTAP::S_SYNC, UTAP::S_SYSTEM, UTAP::S_UPDATE, UTAP::S_XTA, UTAP::S_XTA_PROCESS, syntax_token, T_CONDITION, T_EXPONENTIALRATE, T_EXPRESSION, T_EXPRESSION_LIST, T_INSTANCELINE, T_MESSAGE, T_NEW, T_NEW_ASSIGN, T_NEW_DECLARATION, T_NEW_GUARD, T_NEW_INST, T_NEW_INVARIANT, T_NEW_LOCAL_DECL, T_NEW_PARAMETERS, T_NEW_SELECT, T_NEW_SYNC, T_NEW_SYSTEM, T_OLD, T_OLD_ASSIGN, T_OLD_DECLARATION, T_OLD_GUARD, T_OLD_INST, T_OLD_INVARIANT, T_OLD_LOCAL_DECL, T_OLD_PARAMETERS, T_PROBABILITY, T_PROPERTY, T_UPDATE, and T_XTA_PROCESS.

Referenced by parseProperty(), and parseXTA().

Here is the caller graph for this function:

◆ utap_error()

static void utap_error ( const char *  msg)
static

Definition at line 8829 of file parser.cc.

References UTAP::ParserBuilder::handleError(), and UTAP::ParserBuilder::setPosition().

Referenced by if().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ utap_lex()

static int utap_lex ( )
static

Definition at line 113 of file parser.cc.

References lexer_flex(), and syntax_token.

Here is the call graph for this function:

◆ utap_msg()

const char* utap_msg ( const char *  msg)

Definition at line 142 of file parser.cc.

References NB_STR.

◆ utap_parse()

int utap_parse ( void  )

Referenced by parseProperty(), and parseXTA().

Here is the caller graph for this function:

◆ yydestruct()

static void yydestruct ( const char *  yymsg,
int  yytype,
YYSTYPE *  yyvaluep,
YYLTYPE *  yylocationp 
)
static

Definition at line 4827 of file parser.cc.

References YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN, YY_IGNORE_MAYBE_UNINITIALIZED_END, YY_SYMBOL_PRINT, and YYUSE.

Referenced by yyparse().

Here is the caller graph for this function:

◆ yyparse()

int yyparse ( void  )

Definition at line 4863 of file parser.cc.

References UTAP::Constants::A_UNTIL, UTAP::Constants::A_WEAKUNTIL, UTAP::Constants::ABS_F, UTAP::Constants::ACOS_F, UTAP::Constants::ACOSH_F, UTAP::Constants::AF, UTAP::Constants::AG, UTAP::Constants::AG_R_Piotr, UTAP::Constants::AND, UTAP::Constants::ASIN_F, UTAP::Constants::ASINH_F, UTAP::Constants::ASSAND, UTAP::Constants::ASSDIV, UTAP::Constants::ASSIGN, UTAP::Constants::ASSLSHIFT, UTAP::Constants::ASSMINUS, UTAP::Constants::ASSMOD, UTAP::Constants::ASSMULT, UTAP::Constants::ASSOR, UTAP::Constants::ASSPLUS, UTAP::Constants::ASSRSHIFT, UTAP::Constants::ASSXOR, UTAP::Constants::ATAN2_F, UTAP::Constants::ATAN_F, UTAP::Constants::ATANH_F, UTAP::Constants::BIT_AND, UTAP::Constants::BIT_LSHIFT, UTAP::Constants::BIT_OR, UTAP::Constants::BIT_RSHIFT, UTAP::Constants::BIT_XOR, UTAP::Constants::BOX, CALL, UTAP::Constants::CBRT_F, UTAP::Constants::CEIL_F, UTAP::Constants::CONSISTENCY, UTAP::Constants::CONTROL, UTAP::Constants::CONTROL_TOPT, UTAP::Constants::CONTROL_TOPT_DEF1, UTAP::Constants::CONTROL_TOPT_DEF2, UTAP::Constants::COPYSIGN_F, UTAP::Constants::COS_F, UTAP::Constants::COSH_F, UTAP::Constants::DIAMOND, UTAP::Constants::DIV, UTAP::Constants::EF, UTAP::Constants::EF_CONTROL, UTAP::Constants::EF_R_Piotr, UTAP::Constants::EG, UTAP::Constants::EQ, UTAP::Constants::ERF_F, UTAP::Constants::ERFC_F, UTAP::Constants::EXP2_F, UTAP::Constants::EXP_F, UTAP::Constants::EXPM1_F, UTAP::Constants::FABS_F, UTAP::Constants::FDIM_F, UTAP::Constants::FINT_F, UTAP::Constants::FLOOR_F, UTAP::Constants::FMA_F, UTAP::Constants::FMAX_F, UTAP::Constants::FMIN_F, UTAP::Constants::FMOD_F, UTAP::Constants::FPCLASSIFY_F, UTAP::Constants::FRACTION, UTAP::Constants::GE, UTAP::Constants::GT, UTAP::Constants::HYPOT_F, UTAP::Constants::ILOGB_F, UTAP::Constants::IMPLEMENTATION, UTAP::Constants::INF_VAR, UTAP::Constants::ISFINITE_F, UTAP::Constants::ISINF_F, UTAP::Constants::ISNAN_F, UTAP::Constants::ISNORMAL_F, UTAP::Constants::ISUNORDERED_F, UTAP::Constants::LDEXP_F, UTAP::Constants::LE, UTAP::Constants::LEADSTO, UTAP::Constants::LGAMMA_F, UTAP::Constants::LIST, UTAP::Constants::LN_F, UTAP::Constants::LOG10_F, UTAP::Constants::LOG1P_F, UTAP::Constants::LOG2_F, UTAP::Constants::LOG_F, UTAP::Constants::LOGB_F, UTAP::Constants::LT, UTAP::Constants::MAX, MAXLEN, UTAP::Constants::MIN, UTAP::Constants::MINUS, UTAP::Constants::MOD, UTAP::Constants::MULT, UTAP::Constants::NEQ, UTAP::Constants::NEXTAFTER_F, UTAP::Constants::NOT, UTAP::Constants::OR, UTAP::Constants::PLUS, UTAP::Constants::PMAX, UTAP::Constants::PO_CONTROL, UTAP::Constants::POW_F, UTAP::Constants::RANDOM_ARCSINE_F, UTAP::Constants::RANDOM_BETA_F, UTAP::Constants::RANDOM_F, UTAP::Constants::RANDOM_GAMMA_F, UTAP::Constants::RANDOM_NORMAL_F, UTAP::Constants::RANDOM_POISSON_F, UTAP::Constants::RANDOM_TRI_F, UTAP::Constants::RANDOM_WEIBULL_F, UTAP::Constants::RATE, UTAP::Constants::REFINEMENT_GE, UTAP::Constants::REFINEMENT_LE, UTAP::Constants::RESTRICT, rootTransId, UTAP::Constants::ROUND_F, UTAP::Constants::SIGNBIT_F, UTAP::Constants::SIMULATION_GE, UTAP::Constants::SIMULATION_LE, UTAP::Constants::SIN_F, UTAP::Constants::SINH_F, UTAP::Constants::SPECIFICATION, UTAP::Constants::SQRT_F, UTAP::Constants::SUP_VAR, UTAP::Constants::SYNC_BANG, UTAP::Constants::SYNC_CSP, UTAP::Constants::SYNC_QUE, UTAP::Constants::SYNTAX_COMPOSITION, UTAP::Constants::TAN_F, UTAP::Constants::TANH_F, UTAP::Constants::TGAMMA_F, UTAP::Constants::TIOCOMPOSITION, UTAP::Constants::TIOCONJUNCTION, UTAP::Constants::TIOQUOTIENT, UTAP::Constants::TRUNC_F, types, UTAP::Constants::XOR, YY_, YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN, YY_IGNORE_MAYBE_UNINITIALIZED_END, YY_REDUCE_PRINT, YY_STACK_PRINT, YY_SYMBOL_PRINT, YYABORT, YYACCEPT, yyalloc(), yychar, yycheck, yydefact, yydefgoto, yydestruct(), YYDPRINTF, YYEMPTY, YYEOF, yyerror, YYERROR, YYFINAL, YYINITDEPTH, YYLAST, yylex, yylloc, YYLLOC_DEFAULT, YYLTYPE, yylval, YYMAXDEPTH, yynerrs, YYNTOKENS, yypact, yypact_value_is_default, yypgoto, YYPOPSTACK, yyr1, yyr2, YYSIZE_T, YYSTACK_ALLOC, YYSTACK_BYTES, YYSTACK_FREE, YYSTACK_RELOCATE, yystos, YYSYNTAX_ERROR, yytable, yytable_value_is_error, YYTERROR, and YYTRANSLATE.

Here is the call graph for this function:

◆ yystpcpy()

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

Definition at line 4620 of file parser.cc.

References YYSIZE_T.

Referenced by yytnamerr().

Here is the caller graph for this function:

◆ yystrlen()

static YYSIZE_T yystrlen ( const char *  yystr)
static

Definition at line 4603 of file parser.cc.

References YYSIZE_T.

Referenced by yysyntax_error(), and yytnamerr().

Here is the caller graph for this function:

◆ yysyntax_error()

static int yysyntax_error ( YYSIZE_T *  yymsg_alloc,
char **  yymsg,
yytype_int16 *  yyssp,
int  yytoken 
)
static

Definition at line 4693 of file parser.cc.

References YY_, YY_NULLPTR, YYCASE_, yycheck, YYEMPTY, YYLAST, YYNTOKENS, yypact, yypact_value_is_default, YYSIZE_T, YYSTACK_ALLOC_MAXIMUM, yystrlen(), yytable, yytable_value_is_error, YYTERROR, yytname, and yytnamerr().

Here is the call graph for this function:

◆ yytnamerr()

static YYSIZE_T yytnamerr ( char *  yyres,
const char *  yystr 
)
static

Definition at line 4642 of file parser.cc.

References append(), YYSIZE_T, yystpcpy(), and yystrlen().

Referenced by yysyntax_error().

Here is the call graph for this function:
Here is the caller graph for this function:

Variable Documentation

◆ ch

ParserBuilder* ch
static

Definition at line 105 of file parser.cc.

Referenced by if(), UTAP::SignalFlow::printChansOnEdgesForDot(), and UTAP::Partitioner::printForDot().

◆ rootTransId

char rootTransId[MAXLEN]
static

Definition at line 124 of file parser.cc.

Referenced by yyparse().

◆ syntax

syntax_t syntax
static

Definition at line 106 of file parser.cc.

Referenced by if(), parseProperty(), parseXTA(), and UTAP::symbol().

◆ syntax_token

int syntax_token = 0
static

Definition at line 107 of file parser.cc.

Referenced by setStartToken(), and utap_lex().

◆ types

int types = 0
static

Definition at line 127 of file parser.cc.

Referenced by UTAP::StatementBuilder::declFuncBegin(), UTAP::StatementBuilder::declInitialiserList(), UTAP::PrettyPrinter::declTypeDef(), UTAP::PrettyPrinter::isType(), and yyparse().

◆ utap_lloc

YYLTYPE utap_lloc

◆ utap_lval

YYSTYPE utap_lval

Referenced by if().

◆ yychar

int yychar

Definition at line 4844 of file parser.cc.

◆ yycheck

const yytype_int16 yycheck[]
static

Definition at line 2824 of file parser.cc.

Referenced by yyparse(), and yysyntax_error().

◆ yydefact

const yytype_uint16 yydefact[]
static

Definition at line 1385 of file parser.cc.

Referenced by yyparse().

◆ yydefgoto

const yytype_int16 yydefgoto[]
static
Initial value:
=
{
-1, 30, 135, 176, 269, 829, 193, 493, 420, 270,
271, 528, 529, 530, 272, 415, 890, 891, 408, 523,
537, 744, 646, 824, 942, 1005, 1051, 1093, 1094, 1121,
1164, 136, 273, 641, 274, 275, 276, 747, 956, 492,
155, 156, 310, 416, 417, 541, 749, 897, 898, 899,
429, 430, 555, 831, 278, 516, 517, 631, 311, 166,
125, 423, 424, 547, 548, 652, 158, 281, 719, 804,
138, 874, 925, 926, 928, 992, 993, 978, 1050, 1087,
1088, 1175, 1176, 1146, 1195, 1196, 1193, 168, 1209, 1205,
161, 195, 1223, 1254, 908, 979, 980, 1034, 1031, 169,
957, 1017, 825, 896, 958, 959, 1061, 960, 961, 962,
963, 1131, 964, 1200, 1166, 965, 1058, 1009, 1171, 1172,
1216, 1202, 163, 164, 396, 397, 385, 811, 806, 808,
127, 361, 722, 724, 727, 725, 128, 257, 129, 130,
131, 132, 508, 171, 172, 312, 441, 563, 564, 664,
313, 767, 841, 762, 667, 672, 569, 179, 180, 318,
320, 181, 317, 451, 760, 761, 838, 906, 907, 183,
1037, 1076, 1077, 1173, 1138, 1191, 1190, 185, 187, 188,
414, 534, 682, 348, 349, 133, 473, 584, 772, 683,
921, 711, 594, 595, 699, 700, 701, 702, 703, 704,
705, 788, 693, 589, 690, 350, 483, 484, 351, 352,
353
}

Definition at line 1544 of file parser.cc.

Referenced by yyparse().

◆ yylloc

YYLTYPE yylloc

Definition at line 4853 of file parser.cc.

◆ yylval

YYSTYPE yylval

Definition at line 4847 of file parser.cc.

◆ yynerrs

int yynerrs

Definition at line 4855 of file parser.cc.

◆ yypact

const yytype_int16 yypact[]
static

Definition at line 1251 of file parser.cc.

Referenced by yyparse(), and yysyntax_error().

◆ yypgoto

const yytype_int16 yypgoto[]
static
Initial value:
=
{
-1135, -1135, 849, 685, -124, -1135, -1135, -1135, 230, 567,
-1135, -1135, -330, -762, -1135, -1135, -1135, -62, -1135, -1135,
-1135, -1135, -1135, -1135, -1135, -1135, -1135, -1135, -244, -1135,
-1135, 406, -1135, -1135, -1135, -1135, -132, -1135, -1135, -313,
-354, 592, -135, -1135, 341, -1135, -1135, -715, -1135, -80,
-131, -1135, -670, -1135, -133, -1135, 268, -1135, 29, -102,
617, 462, -393, -1135, 243, -1135, -1135, 869, -1135, -1135,
180, -1135, -1135, -89, -1135, -1135, -146, -883, -145, -1135,
-214, -1135, -1135, -1135, -1135, -1135, -1108, -286, -1102, -1133,
-297, -1135, -1134, -322, -821, -1135, -1135, -1135, -1135, -973,
-1135, -1135, -101, -1043, -943, -1135, -1135, -1135, -487, -30,
-1135, -1135, -1135, -1135, -1135, -1135, -1135, -1135, -1135, -239,
-1135, -1135, -11, -1, -1135, -1135, -1135, -1135, -1135, -1135,
-1135, -1135, -1135, -1135, -1135, -1135, -1135, -1135, -1135, -1135,
-1135, -1135, -473, -1135, 912, -159, -1135, -1135, 270, -1135,
-1135, -1135, -1135, -1135, -1135, -1135, -1135, 373, 620, -1135,
-1135, 629, -1135, -1135, -624, 917, -1135, -1135, -32, -29,
-1135, -1135, -173, -1135, -1135, -1135, -246, -243, -1135, -1135,
-1135, -1135, -1135, -434, -1135, -1135, -332, 475, -1135, -1135,
-1135, -129, -438, -568, -1135, -1135, -1135, -1135, -1135, -1135,
-1135, -334, 173, -629, -1135, -1135, 174, -311, -1135, -1135,
313
}

Definition at line 1517 of file parser.cc.

Referenced by yyparse().

◆ yyr1

const yytype_uint16 yyr1[]
static

Definition at line 4209 of file parser.cc.

Referenced by yyparse().

◆ yyr2

const yytype_uint8 yyr2[]
static

Definition at line 4277 of file parser.cc.

Referenced by yyparse().

◆ yystos

const yytype_uint16 yystos[]
static

Definition at line 4077 of file parser.cc.

Referenced by yyparse().

◆ yytable

const yytype_int16 yytable[]
static

Definition at line 1573 of file parser.cc.

Referenced by yyparse(), and yysyntax_error().

◆ yytname

const char* const yytname[]
static

Definition at line 1114 of file parser.cc.

Referenced by yysyntax_error().

◆ yytranslate

const yytype_uint8 yytranslate[]
static

Definition at line 988 of file parser.cc.