diff options
Diffstat (limited to 'src/uscxml/plugins/datamodel/promela/parser/promela.tab.hpp')
-rw-r--r-- | src/uscxml/plugins/datamodel/promela/parser/promela.tab.hpp | 138 |
1 files changed, 75 insertions, 63 deletions
diff --git a/src/uscxml/plugins/datamodel/promela/parser/promela.tab.hpp b/src/uscxml/plugins/datamodel/promela/parser/promela.tab.hpp index 66c0e03..4d2aac2 100644 --- a/src/uscxml/plugins/datamodel/promela/parser/promela.tab.hpp +++ b/src/uscxml/plugins/datamodel/promela/parser/promela.tab.hpp @@ -41,7 +41,7 @@ # define PROMELA_DEBUG 0 # endif # else /* ! defined YYDEBUG */ -# define PROMELA_DEBUG 0 +# define PROMELA_DEBUG 1 # endif /* ! defined YYDEBUG */ #endif /* ! defined PROMELA_DEBUG */ #if PROMELA_DEBUG @@ -54,66 +54,78 @@ extern int promela_debug; /* Put the tokens into the symbol table, so that GDB and other debuggers know about them. */ enum promela_tokentype { - LBRACKET = 258, - RBRACKET = 259, - LEN = 260, - TYPEDEF = 261, - MTYPE = 262, - INLINE = 263, - RETURN = 264, - LABEL = 265, - OF = 266, - GOTO = 267, - BREAK = 268, - ELSE = 269, - SEMI = 270, - ARROW = 271, - IF = 272, - FI = 273, - DO = 274, - OD = 275, - FOR = 276, - SELECT = 277, - IN = 278, - SEP = 279, - DOTDOT = 280, - HIDDEN = 281, - SHOW = 282, - ISLOCAL = 283, - CONST = 284, - TYPE = 285, - XU = 286, - NAME = 287, - UNAME = 288, - PNAME = 289, - INAME = 290, - STRING = 291, - CLAIM = 292, - TRACE = 293, - INIT = 294, - LTL = 295, - ASGN = 296, - AND = 297, - OR = 298, - BITAND = 299, - BITXOR = 300, - BITOR = 301, - NE = 302, - EQ = 303, - LE = 304, - GE = 305, - LT = 306, - GT = 307, - RSHIFT = 308, - LSHIFT = 309, - MINUS = 310, - PLUS = 311, - MODULO = 312, - DIVIDE = 313, - TIMES = 314, - COMPL = 315, - NEG = 316, - DOT = 317 + VAR_ARRAY = 258, + VARLIST = 259, + DECL = 260, + DECLLIST = 261, + STMNT = 262, + COLON = 263, + EXPR = 264, + NAMELIST = 265, + ASSERT = 266, + PRINT = 267, + PRINTM = 268, + LEN = 269, + STRING = 270, + TYPEDEF = 271, + MTYPE = 272, + INLINE = 273, + RETURN = 274, + LABEL = 275, + OF = 276, + GOTO = 277, + BREAK = 278, + ELSE = 279, + SEMI = 280, + ARROW = 281, + IF = 282, + FI = 283, + DO = 284, + OD = 285, + FOR = 286, + SELECT = 287, + IN = 288, + SEP = 289, + DOTDOT = 290, + HIDDEN = 291, + SHOW = 292, + ISLOCAL = 293, + CONST = 294, + TYPE = 295, + XU = 296, + NAME = 297, + UNAME = 298, + PNAME = 299, + INAME = 300, + CLAIM = 301, + TRACE = 302, + INIT = 303, + LTL = 304, + COMMA = 305, + ASGN = 306, + AND = 307, + OR = 308, + BITAND = 309, + BITXOR = 310, + BITOR = 311, + NE = 312, + EQ = 313, + LE = 314, + GE = 315, + LT = 316, + GT = 317, + RSHIFT = 318, + LSHIFT = 319, + MINUS = 320, + PLUS = 321, + MODULO = 322, + DIVIDE = 323, + TIMES = 324, + DECR = 325, + INCR = 326, + COMPL = 327, + NEG = 328, + DOT = 329 }; #endif @@ -122,14 +134,14 @@ extern int promela_debug; typedef union PROMELA_STYPE { /* Line 2053 of yacc.c */ -#line 37 "promela.ypp" +#line 38 "promela.ypp" uscxml::PromelaParserNode* node; char* value; /* Line 2053 of yacc.c */ -#line 133 "promela.tab.hpp" +#line 145 "promela.tab.hpp" } PROMELA_STYPE; # define PROMELA_STYPE_IS_TRIVIAL 1 # define promela_stype PROMELA_STYPE /* obsolescent; will be withdrawn */ |