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 | 144 |
1 files changed, 72 insertions, 72 deletions
diff --git a/src/uscxml/plugins/datamodel/promela/parser/promela.tab.hpp b/src/uscxml/plugins/datamodel/promela/parser/promela.tab.hpp index 4d2aac2..b8381cf 100644 --- a/src/uscxml/plugins/datamodel/promela/parser/promela.tab.hpp +++ b/src/uscxml/plugins/datamodel/promela/parser/promela.tab.hpp @@ -54,78 +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 { - 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 + PML_VAR_ARRAY = 258, + PML_VARLIST = 259, + PML_DECL = 260, + PML_DECLLIST = 261, + PML_STMNT = 262, + PML_COLON = 263, + PML_EXPR = 264, + PML_NAMELIST = 265, + PML_ASSERT = 266, + PML_PRINT = 267, + PML_PRINTM = 268, + PML_LEN = 269, + PML_STRING = 270, + PML_TYPEDEF = 271, + PML_MTYPE = 272, + PML_INLINE = 273, + PML_RETURN = 274, + PML_LABEL = 275, + PML_OF = 276, + PML_GOTO = 277, + PML_BREAK = 278, + PML_ELSE = 279, + PML_SEMI = 280, + PML_ARROW = 281, + PML_IF = 282, + PML_FI = 283, + PML_DO = 284, + PML_OD = 285, + PML_FOR = 286, + PML_SELECT = 287, + PML_IN = 288, + PML_SEP = 289, + PML_DOTDOT = 290, + PML_HIDDEN = 291, + PML_SHOW = 292, + PML_ISLOCAL = 293, + PML_CONST = 294, + PML_TYPE = 295, + PML_XU = 296, + PML_NAME = 297, + PML_UNAME = 298, + PML_PNAME = 299, + PML_INAME = 300, + PML_CLAIM = 301, + PML_TRACE = 302, + PML_INIT = 303, + PML_LTL = 304, + PML_COMMA = 305, + PML_ASGN = 306, + PML_AND = 307, + PML_OR = 308, + PML_BITAND = 309, + PML_BITXOR = 310, + PML_BITOR = 311, + PML_NE = 312, + PML_EQ = 313, + PML_LE = 314, + PML_GE = 315, + PML_LT = 316, + PML_GT = 317, + PML_RSHIFT = 318, + PML_LSHIFT = 319, + PML_MINUS = 320, + PML_PLUS = 321, + PML_MODULO = 322, + PML_DIVIDE = 323, + PML_TIMES = 324, + PML_DECR = 325, + PML_INCR = 326, + PML_COMPL = 327, + PML_NEG = 328, + PML_DOT = 329 }; #endif |