libutap
|
#include "libparser.h"
#include "utap/position.h"
#include <string.h>
#include <stddef.h>
#include "lexer.cc"
Macros | |
#define | YYBISON 1 |
#define | YYBISON_VERSION "3.0.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 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_COS 290 |
#define | T_SIN 291 |
#define | T_EXP 292 |
#define | T_LOG 293 |
#define | T_SQRT 294 |
#define | T_RANDOM 295 |
#define | T_LN 296 |
#define | T_FABS 297 |
#define | T_POW 298 |
#define | T_CEIL 299 |
#define | T_FLOOR 300 |
#define | T_FORALL 301 |
#define | T_EXISTS 302 |
#define | T_FOREACH 303 |
#define | T_SUM 304 |
#define | T_LT 305 |
#define | T_LEQ 306 |
#define | T_EQ 307 |
#define | T_NEQ 308 |
#define | T_GEQ 309 |
#define | T_GT 310 |
#define | T_FOR 311 |
#define | T_WHILE 312 |
#define | T_DO 313 |
#define | T_BREAK 314 |
#define | T_CONTINUE 315 |
#define | T_SWITCH 316 |
#define | T_IF 317 |
#define | T_ELSE 318 |
#define | T_CASE 319 |
#define | T_DEFAULT 320 |
#define | T_RETURN 321 |
#define | T_ASSERT 322 |
#define | T_PRIORITY 323 |
#define | T_TYPEDEF 324 |
#define | T_STRUCT 325 |
#define | T_CONST 326 |
#define | T_OLDCONST 327 |
#define | T_URGENT 328 |
#define | T_BROADCAST 329 |
#define | T_TRUE 330 |
#define | T_FALSE 331 |
#define | T_META 332 |
#define | T_SYSTEM 333 |
#define | T_PROCESS 334 |
#define | T_STATE 335 |
#define | T_BRANCH 336 |
#define | T_COMMIT 337 |
#define | T_INIT 338 |
#define | T_TRANS 339 |
#define | T_SELECT 340 |
#define | T_GUARD 341 |
#define | T_SYNC 342 |
#define | T_ASSIGN 343 |
#define | T_BEFORE 344 |
#define | T_AFTER 345 |
#define | T_PROGRESS 346 |
#define | T_ARROW 347 |
#define | T_UNCONTROL_ARROW 348 |
#define | T_IO 349 |
#define | T_DEADLOCK 350 |
#define | T_EF 351 |
#define | T_EG 352 |
#define | T_AF 353 |
#define | T_AG 354 |
#define | T_LEADSTO 355 |
#define | T_RESULTSET 356 |
#define | T_EF_PLUS 357 |
#define | T_AG_PLUS 358 |
#define | T_EF_MULT 359 |
#define | T_AG_MULT 360 |
#define | T_SCENARIO 361 |
#define | T_CONTROL 362 |
#define | T_CONTROL_T 363 |
#define | T_SIMULATION 364 |
#define | T_SIMULATE 365 |
#define | T_CONSISTENCY 366 |
#define | T_SPECIFICATION 367 |
#define | T_IMPLEMENTATION 368 |
#define | T_REFINEMENT 369 |
#define | T_GANTT 370 |
#define | T_PMAX 371 |
#define | T_PROBA 372 |
#define | T_DIAMOND 373 |
#define | T_BOX 374 |
#define | T_HASH 375 |
#define | T_ERROR 376 |
#define | T_ID 377 |
#define | T_TYPENAME 378 |
#define | T_NAT 379 |
#define | T_FLOATING 380 |
#define | T_POS_NEG_MAX 381 |
#define | T_BOOL 382 |
#define | T_INT 383 |
#define | T_CHAN 384 |
#define | T_CLOCK 385 |
#define | T_VOID 386 |
#define | T_SCALAR 387 |
#define | T_DOUBLE 388 |
#define | T_NEW 389 |
#define | T_NEW_DECLARATION 390 |
#define | T_NEW_LOCAL_DECL 391 |
#define | T_NEW_INST 392 |
#define | T_NEW_SYSTEM 393 |
#define | T_NEW_PARAMETERS 394 |
#define | T_NEW_INVARIANT 395 |
#define | T_NEW_GUARD 396 |
#define | T_NEW_SYNC 397 |
#define | T_NEW_ASSIGN 398 |
#define | T_NEW_SELECT 399 |
#define | T_EXPONENTIALRATE 400 |
#define | T_OLD 401 |
#define | T_OLD_DECLARATION 402 |
#define | T_OLD_LOCAL_DECL 403 |
#define | T_OLD_INST 404 |
#define | T_OLD_PARAMETERS 405 |
#define | T_OLD_INVARIANT 406 |
#define | T_OLD_GUARD 407 |
#define | T_OLD_ASSIGN 408 |
#define | T_PROPERTY 409 |
#define | T_EXPRESSION 410 |
#define | T_EXPRESSION_LIST 411 |
#define | T_XTA_PROCESS 412 |
#define | T_PROBABILITY 413 |
#define | T_INSTANCELINE 414 |
#define | T_MESSAGE 415 |
#define | T_UPDATE 416 |
#define | T_CONDITION 417 |
#define | T_MITL_AND 418 |
#define | T_MITL_OR 419 |
#define | T_MITL_NEXT 420 |
#define | T_DYNAMIC 421 |
#define | T_HYBRID 422 |
#define | T_SPAWN 423 |
#define | T_EXIT 424 |
#define | T_NUMOF 425 |
#define | T_MIN 426 |
#define | T_MAX 427 |
#define | UOPERATOR 428 |
#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 | _Noreturn YY_ATTRIBUTE ((__noreturn__)) |
#define | YYUSE(E) ((void) (E)) |
#define | YY_INITIAL_VALUE(Value) Value |
#define | YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN |
#define | YY_IGNORE_MAYBE_UNINITIALIZED_END |
#define | 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 148 |
#define | YYLAST 9202 |
#define | YYNTOKENS 195 |
#define | YYNNTS 203 |
#define | YYNRULES 564 |
#define | YYNSTATES 1197 |
#define | YYUNDEFTOK 2 |
#define | YYMAXUTOK 428 |
#define | YYTRANSLATE(YYX) ((unsigned int) (YYX) <= YYMAXUTOK ? yytranslate[YYX] : YYUNDEFTOK) |
#define | YYPACT_NINF -1073 |
#define | yypact_value_is_default(Yystate) (!!((Yystate) == (-1073))) |
#define | YYTABLE_NINF -523 |
#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 int | yytype_uint16 |
typedef short int | yytype_int16 |
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, 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 |
#define _Noreturn YY_ATTRIBUTE ((__noreturn__)) |
#define CALL | ( | first, | |
last, | |||
call | |||
) | do { ch->setPosition(first.start, last.end); try { ch->call; } catch (TypeException &te) { ch->handleError(te.what()); } } while (0) |
Referenced by yyparse().
#define NB_STR 8 |
Referenced by utap_msg().
#define T_AF 353 |
#define T_AFTER 345 |
#define T_AG 354 |
#define T_AG_MULT 360 |
#define T_AG_PLUS 358 |
#define T_ARROW 347 |
#define T_ASSAND 265 |
#define T_ASSDIV 262 |
#define T_ASSERT 322 |
#define T_ASSIGN 343 |
#define T_ASSIGNMENT 258 |
#define T_ASSLSHIFT 267 |
#define T_ASSMINUS 260 |
#define T_ASSMOD 263 |
#define T_ASSMULT 261 |
#define T_ASSOR 264 |
#define T_ASSPLUS 259 |
#define T_ASSRSHIFT 268 |
#define T_ASSXOR 266 |
#define T_BEFORE 344 |
#define T_BOOL 382 |
#define T_BOOL_AND 281 |
#define T_BOOL_OR 282 |
#define T_BOX 374 |
#define T_BRANCH 336 |
#define T_BREAK 314 |
#define T_BROADCAST 329 |
#define T_CASE 319 |
#define T_CEIL 299 |
#define T_CHAN 384 |
#define T_CLOCK 385 |
#define T_COMMIT 337 |
#define T_CONDITION 417 |
Referenced by setStartToken().
#define T_CONSISTENCY 366 |
#define T_CONST 326 |
#define T_CONTINUE 315 |
#define T_CONTROL 362 |
#define T_CONTROL_T 363 |
#define T_COS 290 |
#define T_DEADLOCK 350 |
#define T_DECREMENT 271 |
#define T_DEFAULT 320 |
#define T_DIAMOND 373 |
#define T_DIV 275 |
#define T_DO 313 |
#define T_DOUBLE 388 |
#define T_DYNAMIC 421 |
#define T_EF 351 |
#define T_EF_MULT 359 |
#define T_EF_PLUS 357 |
#define T_EG 352 |
#define T_ELSE 318 |
#define T_EQ 307 |
#define T_ERROR 376 |
#define T_EXCLAM 269 |
#define T_EXISTS 302 |
#define T_EXIT 424 |
#define T_EXP 292 |
#define T_EXPONENTIALRATE 400 |
Referenced by setStartToken().
#define T_EXPRESSION 410 |
Referenced by setStartToken().
#define T_EXPRESSION_LIST 411 |
Referenced by setStartToken().
#define T_FABS 297 |
#define T_FALSE 331 |
#define T_FLOATING 380 |
#define T_FLOOR 300 |
#define T_FOR 311 |
#define T_FORALL 301 |
#define T_FOREACH 303 |
#define T_GANTT 370 |
#define T_GEQ 309 |
#define T_GT 310 |
#define T_GUARD 341 |
#define T_HASH 375 |
#define T_HYBRID 422 |
#define T_ID 377 |
#define T_IF 317 |
#define T_IMPLEMENTATION 368 |
#define T_INCREMENT 270 |
#define T_INF 289 |
#define T_INIT 338 |
#define T_INSTANCELINE 414 |
Referenced by setStartToken().
#define T_INT 383 |
#define T_IO 349 |
#define T_KW_AND 283 |
#define T_KW_IMPLY 286 |
#define T_KW_NOT 287 |
#define T_KW_OR 284 |
#define T_KW_XOR 285 |
#define T_LEADSTO 355 |
#define T_LEQ 306 |
#define T_LN 296 |
#define T_LOG 293 |
#define T_LSHIFT 279 |
#define T_LT 305 |
#define T_MAX 427 |
#define T_MESSAGE 415 |
Referenced by setStartToken().
#define T_META 332 |
#define T_MIN 426 |
#define T_MINUS 273 |
#define T_MITL_AND 418 |
#define T_MITL_NEXT 420 |
#define T_MITL_OR 419 |
#define T_MOD 276 |
#define T_MULT 274 |
#define T_NAT 379 |
#define T_NEQ 308 |
#define T_NEW 389 |
Referenced by setStartToken().
#define T_NEW_ASSIGN 398 |
Referenced by setStartToken().
#define T_NEW_DECLARATION 390 |
Referenced by setStartToken().
#define T_NEW_GUARD 396 |
Referenced by setStartToken().
#define T_NEW_INST 392 |
Referenced by setStartToken().
#define T_NEW_INVARIANT 395 |
Referenced by setStartToken().
#define T_NEW_LOCAL_DECL 391 |
Referenced by setStartToken().
#define T_NEW_PARAMETERS 394 |
Referenced by setStartToken().
#define T_NEW_SELECT 399 |
Referenced by setStartToken().
#define T_NEW_SYNC 397 |
Referenced by setStartToken().
#define T_NEW_SYSTEM 393 |
Referenced by setStartToken().
#define T_NUMOF 425 |
#define T_OLD 401 |
Referenced by setStartToken().
#define T_OLD_ASSIGN 408 |
Referenced by setStartToken().
#define T_OLD_DECLARATION 402 |
Referenced by setStartToken().
#define T_OLD_GUARD 407 |
Referenced by setStartToken().
#define T_OLD_INST 404 |
Referenced by setStartToken().
#define T_OLD_INVARIANT 406 |
Referenced by setStartToken().
#define T_OLD_LOCAL_DECL 403 |
Referenced by setStartToken().
#define T_OLD_PARAMETERS 405 |
Referenced by setStartToken().
#define T_OLDCONST 327 |
#define T_OR 277 |
#define T_PLUS 272 |
#define T_PMAX 371 |
#define T_POS_NEG_MAX 381 |
#define T_POW 298 |
#define T_PRIORITY 323 |
#define T_PROBA 372 |
#define T_PROBABILITY 413 |
Referenced by setStartToken().
#define T_PROCESS 334 |
#define T_PROGRESS 346 |
#define T_PROPERTY 409 |
Referenced by setStartToken().
#define T_RANDOM 295 |
#define T_REFINEMENT 369 |
#define T_RESULTSET 356 |
#define T_RETURN 321 |
#define T_RSHIFT 280 |
#define T_SCALAR 387 |
#define T_SCENARIO 361 |
#define T_SELECT 340 |
#define T_SIMULATE 365 |
#define T_SIMULATION 364 |
#define T_SIN 291 |
#define T_SPAWN 423 |
#define T_SPECIFICATION 367 |
#define T_SQRT 294 |
#define T_STATE 335 |
#define T_STRUCT 325 |
#define T_SUM 304 |
#define T_SUP 288 |
#define T_SWITCH 316 |
#define T_SYNC 342 |
#define T_SYSTEM 333 |
#define T_TRANS 339 |
#define T_TRUE 330 |
#define T_TYPEDEF 324 |
#define T_TYPENAME 378 |
#define T_UNCONTROL_ARROW 348 |
#define T_UPDATE 416 |
Referenced by setStartToken().
#define T_URGENT 328 |
#define T_VOID 386 |
#define T_WHILE 312 |
#define T_XOR 278 |
#define T_XTA_PROCESS 412 |
Referenced by setStartToken().
#define UOPERATOR 428 |
#define YY_ | ( | msg | ) | utap_msg(msg) |
Referenced by yyparse(), and yysyntax_error().
#define YY_ATTRIBUTE | ( | Spec | ) | /* empty */ |
#define YY_ATTRIBUTE_PURE YY_ATTRIBUTE ((__pure__)) |
#define YY_ATTRIBUTE_UNUSED YY_ATTRIBUTE ((__unused__)) |
#define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN |
Referenced by yydestruct(), and yyparse().
#define YY_IGNORE_MAYBE_UNINITIALIZED_END |
Referenced by yydestruct(), and yyparse().
#define YY_INITIAL_VALUE | ( | Value | ) | Value |
#define YY_NULLPTR 0 |
Referenced by yysyntax_error().
#define YY_REDUCE_PRINT | ( | Rule | ) |
Referenced by yyparse().
#define YY_STACK_PRINT | ( | Bottom, | |
Top | |||
) |
Referenced by yyparse().
#define YY_SYMBOL_PRINT | ( | Title, | |
Type, | |||
Value, | |||
Location | |||
) |
Referenced by yydestruct(), and yyparse().
#define YYABORT goto yyabortlab |
Referenced by yyparse().
#define YYACCEPT goto yyacceptlab |
Referenced by yyparse().
#define YYBACKUP | ( | Token, | |
Value | |||
) |
#define YYBISON 1 |
#define YYBISON_VERSION "3.0.2" |
#define YYCASE_ | ( | N, | |
S | |||
) |
Referenced by yysyntax_error().
#define yychar utap_char |
#define YYCOPY | ( | Dst, | |
Src, | |||
Count | |||
) |
#define YYCOPY_NEEDED 1 |
#define yydebug utap_debug |
#define YYDEBUG 0 |
#define YYDPRINTF | ( | Args | ) |
Referenced by yyparse().
#define YYEMPTY (-2) |
Referenced by yyparse(), and yysyntax_error().
#define YYEOF 0 |
Referenced by yyparse().
#define YYERRCODE 256 |
#define yyerrok (yyerrstatus = 0) |
#define yyerror utap_error |
Referenced by yyparse().
#define YYERROR goto yyerrorlab |
#define YYERROR_VERBOSE 1 |
#define YYERROR_VERBOSE 1 |
#define YYFINAL 148 |
Referenced by yyparse().
#define YYFREE free |
#define YYINITDEPTH 200 |
Referenced by yyparse().
#define YYLAST 9202 |
Referenced by yyparse(), and yysyntax_error().
#define YYLLOC_DEFAULT | ( | Current, | |
Rhs, | |||
N | |||
) |
#define YYLTYPE position_t |
Referenced by yyparse().
#define YYMALLOC malloc |
#define YYMAXDEPTH 10000 |
Referenced by yyparse().
#define YYMAXUTOK 428 |
#define yynerrs utap_nerrs |
Referenced by yyparse().
#define YYNNTS 203 |
#define YYNRULES 564 |
#define YYNSTATES 1197 |
#define YYNTOKENS 195 |
Referenced by yyparse(), and yysyntax_error().
#define YYPACT_NINF -1073 |
#define yypact_value_is_default | ( | Yystate | ) | (!!((Yystate) == (-1073))) |
Referenced by yyparse(), and yysyntax_error().
#define yyparse utap_parse |
#define YYPOPSTACK | ( | N | ) | (yyvsp -= (N), yyssp -= (N), yylsp -= (N)) |
Referenced by yyparse().
#define YYPULL 1 |
#define YYPURE 0 |
#define YYPUSH 0 |
#define YYRECOVERING | ( | ) | (!!yyerrstatus) |
#define YYRHSLOC | ( | Rhs, | |
K | |||
) | ((Rhs)[K]) |
#define YYSIZE_MAXIMUM ((YYSIZE_T) -1) |
#define YYSIZE_T size_t |
Referenced by yyparse(), yystrlen(), yysyntax_error(), and yytnamerr().
#define YYSKELETON_NAME "yacc.c" |
#define YYSTACK_ALLOC_MAXIMUM YYSIZE_MAXIMUM |
Referenced by yysyntax_error().
#define YYSTACK_BYTES | ( | N | ) |
Referenced by yyparse().
#define YYSTACK_GAP_MAXIMUM (sizeof (union yyalloc) - 1) |
#define YYSTACK_RELOCATE | ( | Stack_alloc, | |
Stack | |||
) |
Referenced by yyparse().
#define YYSTYPE_IS_DECLARED 1 |
#define YYSTYPE_IS_TRIVIAL 1 |
#define YYSYNTAX_ERROR |
Referenced by yyparse().
#define YYTABLE_NINF -523 |
#define yytable_value_is_error | ( | Yytable_value | ) | 0 |
Referenced by yyparse(), and yysyntax_error().
#define YYTERROR 1 |
Referenced by yyparse(), and yysyntax_error().
#define YYTOKENTYPE |
#define YYTRANSLATE | ( | YYX | ) | ((unsigned int) (YYX) <= YYMAXUTOK ? yytranslate[YYX] : YYUNDEFTOK) |
Referenced by yyparse().
#define YYUNDEFTOK 2 |
#define YYUSE | ( | E | ) | ((void) (E)) |
Referenced by yydestruct().
typedef union YYSTYPE YYSTYPE |
typedef short int yytype_int16 |
typedef signed char yytype_int8 |
typedef unsigned short int yytype_uint16 |
typedef unsigned char yytype_uint8 |
enum yytokentype |
void free | ( | void * | ) |
Referenced by UTAP::Partitioner::partition(), and UTAP::Partitioner::~Partitioner().
|
static |
Referenced by utap_lex().
void* malloc | ( | YYSIZE_T | ) |
|
static |
References UTAP::S_PROPERTY, setStartToken(), syntax, SYNTAX_PROPERTY, and utap_parse().
Referenced by parseProperty().
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.
References parseProperty(), utap__delete_buffer(), utap__scan_string(), and YY_CURRENT_BUFFER.
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.
References parseProperty(), utap__create_buffer(), utap__delete_buffer(), utap__switch_to_buffer(), YY_BUF_SIZE, and YY_CURRENT_BUFFER.
|
static |
References setStartToken(), syntax, SYNTAX_GUIDING, SYNTAX_NEW, SYNTAX_OLD, and utap_parse().
Referenced by main(), and parseXTA().
int32_t parseXTA | ( | const char * | , |
UTAP::ParserBuilder * | , | ||
bool | newxta, | ||
UTAP::xta_part_t | part, | ||
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.
References parseXTA(), utap__delete_buffer(), utap__scan_string(), and YY_CURRENT_BUFFER.
int32_t parseXTA | ( | const char * | str, |
ParserBuilder * | builder, | ||
bool | newxta | ||
) |
References parseXTA(), and UTAP::S_XTA.
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.
References parseXTA(), UTAP::S_XTA, utap__create_buffer(), utap__delete_buffer(), utap__switch_to_buffer(), YY_BUF_SIZE, and YY_CURRENT_BUFFER.
|
static |
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().
|
static |
References UTAP::ParserBuilder::handleError(), and UTAP::ParserBuilder::setPosition().
|
static |
References lexer_flex(), and syntax_token.
const char* utap_msg | ( | const char * | msg | ) |
References NB_STR.
int utap_parse | ( | void | ) |
Referenced by parseProperty(), and parseXTA().
|
static |
References YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN, YY_IGNORE_MAYBE_UNINITIALIZED_END, YY_SYMBOL_PRINT, and YYUSE.
Referenced by yyparse().
int yyparse | ( | void | ) |
References UTAP::Constants::A_UNTIL, UTAP::Constants::A_WEAKUNTIL, UTAP::Constants::AF, UTAP::Constants::AG, UTAP::Constants::AG_R_Piotr, UTAP::Constants::AND, 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::BIT_AND, UTAP::Constants::BIT_LSHIFT, UTAP::Constants::BIT_OR, UTAP::Constants::BIT_RSHIFT, UTAP::Constants::BIT_XOR, UTAP::Constants::BOX, CALL, 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::COS_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::EXP_F, UTAP::Constants::FABS_F, UTAP::Constants::FLOOR_F, UTAP::Constants::FRACTION, UTAP::Constants::GE, UTAP::Constants::GT, UTAP::Constants::IMPLEMENTATION, UTAP::Constants::INF_VAR, UTAP::Constants::LE, UTAP::Constants::LEADSTO, UTAP::Constants::LIST, UTAP::Constants::LN_F, UTAP::Constants::LOG_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::NOT, UTAP::Constants::OR, UTAP::Constants::PLUS, UTAP::Constants::PMAX, UTAP::Constants::PO_CONTROL, UTAP::Constants::POW_F, UTAP::Constants::RANDOM_F, UTAP::Constants::RATE, UTAP::Constants::REFINEMENT_GE, UTAP::Constants::REFINEMENT_LE, UTAP::Constants::RESTRICT, rootTransId, UTAP::Constants::SIMULATION_GE, UTAP::Constants::SIMULATION_LE, UTAP::Constants::SIN_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::TIOCOMPOSITION, UTAP::Constants::TIOCONJUNCTION, UTAP::Constants::TIOQUOTIENT, 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, yycheck, yydefact, yydefgoto, yydestruct(), YYDPRINTF, YYEMPTY, YYEOF, 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.
|
static |
Referenced by yytnamerr().
|
static |
References YYSIZE_T.
Referenced by yysyntax_error(), and yytnamerr().
|
static |
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().
|
static |
References YYSIZE_T, yystpcpy(), and yystrlen().
Referenced by yysyntax_error().
|
static |
Referenced by UTAP::SignalFlow::printChansOnEdgesForDot(), and UTAP::Partitioner::printForDot().
|
static |
Referenced by parseProperty(), and parseXTA().
|
static |
Referenced by setStartToken(), and utap_lex().
|
static |
YYLTYPE utap_lloc |
YYSTYPE utap_lval |
int yychar |
|
static |
Referenced by yyparse(), and yysyntax_error().
|
static |
Referenced by yyparse().
|
static |
Referenced by yyparse().
YYLTYPE yylloc |
YYSTYPE yylval |
int yynerrs |
|
static |
Referenced by yyparse(), and yysyntax_error().
|
static |
Referenced by yyparse().
|
static |
Referenced by yyparse().
|
static |
Referenced by yyparse().
|
static |
Referenced by yyparse().
|
static |
Referenced by yyparse(), and yysyntax_error().
|
static |
Referenced by yysyntax_error().
|
static |