summaryrefslogtreecommitdiffstats
path: root/src/uscxml/plugins/datamodel/promela/parser/promela.lex.yy.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'src/uscxml/plugins/datamodel/promela/parser/promela.lex.yy.cpp')
-rw-r--r--src/uscxml/plugins/datamodel/promela/parser/promela.lex.yy.cpp396
1 files changed, 232 insertions, 164 deletions
diff --git a/src/uscxml/plugins/datamodel/promela/parser/promela.lex.yy.cpp b/src/uscxml/plugins/datamodel/promela/parser/promela.lex.yy.cpp
index 122a408..f4f9f83 100644
--- a/src/uscxml/plugins/datamodel/promela/parser/promela.lex.yy.cpp
+++ b/src/uscxml/plugins/datamodel/promela/parser/promela.lex.yy.cpp
@@ -434,8 +434,8 @@ static void yy_fatal_error (yyconst char msg[] ,yyscan_t yyscanner );
yyg->yy_c_buf_p = yy_cp;
/* %% [4.0] data tables for the DFA and the user's section 1 definitions go here */
-#define YY_NUM_RULES 34
-#define YY_END_OF_BUFFER 35
+#define YY_NUM_RULES 44
+#define YY_END_OF_BUFFER 45
/* This struct is not used in this scanner,
but its presence is necessary. */
struct yy_trans_info
@@ -443,17 +443,20 @@ struct yy_trans_info
flex_int32_t yy_verify;
flex_int32_t yy_nxt;
};
-static yyconst flex_int16_t yy_accept[84] =
+static yyconst flex_int16_t yy_accept[102] =
{ 0,
- 0, 0, 35, 33, 32, 32, 4, 8, 19, 33,
- 25, 26, 6, 9, 10, 24, 7, 28, 15, 27,
- 16, 29, 20, 29, 29, 29, 29, 29, 29, 29,
- 29, 33, 21, 5, 32, 17, 22, 0, 30, 0,
- 28, 11, 13, 18, 14, 12, 29, 29, 29, 29,
- 29, 29, 29, 29, 29, 29, 29, 29, 0, 31,
- 23, 0, 30, 0, 1, 29, 29, 29, 2, 29,
- 29, 29, 29, 29, 29, 29, 29, 3, 29, 29,
- 29, 29, 0
+ 0, 0, 45, 43, 42, 42, 6, 43, 12, 23,
+ 43, 31, 32, 10, 13, 29, 14, 28, 11, 39,
+ 30, 19, 37, 20, 40, 40, 33, 34, 24, 40,
+ 40, 40, 40, 40, 40, 40, 40, 40, 35, 25,
+ 36, 7, 42, 21, 0, 38, 0, 26, 0, 41,
+ 0, 8, 9, 39, 15, 17, 22, 18, 16, 40,
+ 0, 40, 40, 40, 40, 40, 40, 40, 40, 40,
+ 40, 40, 40, 27, 0, 41, 0, 1, 40, 40,
+ 40, 2, 40, 40, 40, 40, 40, 40, 40, 40,
+ 40, 40, 3, 40, 40, 40, 4, 5, 40, 40,
+
+ 0
} ;
static yyconst flex_int32_t yy_ec[256] =
@@ -461,17 +464,17 @@ static yyconst flex_int32_t yy_ec[256] =
1, 1, 1, 1, 1, 1, 1, 1, 2, 3,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
- 1, 2, 4, 1, 1, 1, 5, 6, 7, 8,
- 9, 10, 11, 1, 12, 13, 14, 15, 15, 15,
- 15, 15, 15, 15, 15, 15, 15, 1, 1, 16,
- 17, 18, 1, 1, 19, 19, 19, 19, 19, 19,
- 19, 19, 19, 19, 19, 19, 19, 19, 19, 19,
- 19, 19, 19, 19, 19, 19, 19, 19, 19, 19,
- 1, 20, 1, 21, 19, 1, 22, 23, 19, 24,
-
- 25, 26, 27, 28, 29, 19, 30, 31, 32, 33,
- 34, 35, 19, 36, 37, 38, 39, 19, 19, 19,
- 40, 19, 41, 42, 43, 44, 1, 1, 1, 1,
+ 1, 2, 4, 5, 1, 1, 6, 7, 8, 9,
+ 10, 11, 12, 13, 14, 15, 16, 17, 17, 17,
+ 17, 17, 17, 17, 17, 17, 17, 1, 18, 19,
+ 20, 21, 1, 1, 22, 22, 22, 22, 22, 22,
+ 22, 22, 22, 22, 22, 23, 22, 22, 22, 22,
+ 22, 22, 22, 22, 22, 22, 22, 22, 22, 22,
+ 24, 25, 26, 27, 22, 1, 28, 29, 22, 30,
+
+ 31, 32, 33, 34, 35, 22, 36, 37, 38, 39,
+ 40, 41, 22, 42, 43, 44, 45, 22, 22, 22,
+ 46, 22, 47, 48, 49, 50, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
@@ -488,91 +491,106 @@ static yyconst flex_int32_t yy_ec[256] =
1, 1, 1, 1, 1
} ;
-static yyconst flex_int32_t yy_meta[45] =
+static yyconst flex_int32_t yy_meta[51] =
{ 0,
- 1, 1, 2, 1, 1, 1, 1, 1, 1, 1,
- 1, 1, 1, 1, 3, 1, 1, 1, 3, 1,
- 1, 3, 3, 3, 3, 3, 3, 3, 3, 3,
- 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,
- 1, 1, 1, 1
+ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
+ 1, 1, 1, 1, 1, 1, 2, 1, 1, 1,
+ 1, 2, 2, 1, 1, 1, 1, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 1, 1, 1, 1
} ;
-static yyconst flex_int16_t yy_base[88] =
+static yyconst flex_int16_t yy_base[106] =
{ 0,
- 0, 0, 123, 124, 43, 45, 105, 124, 115, 42,
- 124, 124, 124, 124, 124, 124, 124, 105, 34, 102,
- 35, 0, 124, 25, 96, 84, 91, 77, 27, 78,
- 80, 69, 69, 124, 58, 124, 124, 49, 124, 60,
- 95, 124, 124, 124, 124, 124, 0, 71, 74, 69,
- 75, 67, 71, 63, 68, 72, 61, 62, 55, 124,
- 124, 51, 57, 63, 0, 66, 71, 58, 0, 59,
- 57, 53, 57, 52, 54, 53, 38, 0, 48, 41,
- 48, 48, 124, 83, 65, 86, 89
+ 0, 0, 141, 142, 49, 51, 120, 50, 142, 132,
+ 48, 142, 142, 142, 126, 142, 123, 142, 142, 119,
+ 142, 38, 115, 39, 0, 129, 142, 142, 142, 26,
+ 105, 93, 100, 86, 87, 28, 86, 88, 142, 78,
+ 142, 142, 65, 142, 58, 142, 122, 142, 57, 142,
+ 66, 142, 142, 107, 142, 142, 142, 142, 142, 0,
+ 65, 79, 82, 77, 83, 75, 79, 71, 81, 75,
+ 79, 68, 69, 142, 63, 68, 76, 0, 74, 79,
+ 66, 0, 67, 61, 57, 57, 66, 61, 64, 63,
+ 48, 45, 0, 54, 48, 46, 0, 0, 50, 48,
+
+ 142, 101, 103, 75, 105
} ;
-static yyconst flex_int16_t yy_def[88] =
+static yyconst flex_int16_t yy_def[106] =
{ 0,
- 83, 1, 83, 83, 83, 83, 83, 83, 83, 84,
- 83, 83, 83, 83, 83, 83, 83, 83, 83, 83,
- 83, 85, 83, 85, 85, 85, 85, 85, 85, 85,
- 85, 86, 83, 83, 83, 83, 83, 84, 83, 87,
- 83, 83, 83, 83, 83, 83, 85, 85, 85, 85,
- 85, 85, 85, 85, 85, 85, 85, 85, 86, 83,
- 83, 84, 84, 87, 85, 85, 85, 85, 85, 85,
- 85, 85, 85, 85, 85, 85, 85, 85, 85, 85,
- 85, 85, 0, 83, 83, 83, 83
+ 101, 1, 101, 101, 101, 101, 101, 102, 101, 101,
+ 103, 101, 101, 101, 101, 101, 101, 101, 101, 101,
+ 101, 101, 101, 101, 104, 104, 101, 101, 101, 104,
+ 104, 104, 104, 104, 104, 104, 104, 104, 101, 101,
+ 101, 101, 101, 101, 102, 101, 102, 101, 103, 101,
+ 105, 101, 101, 101, 101, 101, 101, 101, 101, 104,
+ 102, 104, 104, 104, 104, 104, 104, 104, 104, 104,
+ 104, 104, 104, 101, 103, 103, 105, 104, 104, 104,
+ 104, 104, 104, 104, 104, 104, 104, 104, 104, 104,
+ 104, 104, 104, 104, 104, 104, 104, 104, 104, 104,
+
+ 0, 101, 101, 101, 101
} ;
-static yyconst flex_int16_t yy_nxt[169] =
+static yyconst flex_int16_t yy_nxt[193] =
{ 0,
4, 5, 6, 7, 8, 9, 10, 11, 12, 13,
- 14, 15, 16, 17, 18, 19, 20, 21, 22, 4,
- 23, 22, 24, 22, 22, 25, 22, 22, 26, 22,
- 27, 28, 22, 22, 22, 22, 29, 30, 31, 22,
- 32, 33, 4, 34, 35, 35, 35, 35, 39, 42,
- 43, 45, 46, 48, 55, 39, 56, 39, 49, 35,
- 35, 40, 38, 39, 50, 38, 63, 47, 40, 63,
- 40, 65, 82, 81, 80, 65, 40, 65, 78, 64,
- 79, 78, 64, 38, 38, 38, 59, 78, 59, 62,
- 62, 62, 77, 76, 75, 65, 65, 60, 74, 73,
-
- 72, 71, 70, 69, 65, 68, 67, 66, 65, 41,
- 61, 60, 58, 57, 54, 53, 52, 51, 44, 41,
- 37, 36, 83, 3, 83, 83, 83, 83, 83, 83,
- 83, 83, 83, 83, 83, 83, 83, 83, 83, 83,
- 83, 83, 83, 83, 83, 83, 83, 83, 83, 83,
- 83, 83, 83, 83, 83, 83, 83, 83, 83, 83,
- 83, 83, 83, 83, 83, 83, 83, 83
+ 14, 15, 16, 17, 18, 19, 20, 21, 22, 23,
+ 24, 25, 26, 27, 4, 28, 29, 25, 30, 25,
+ 25, 31, 25, 25, 32, 25, 33, 34, 25, 25,
+ 35, 25, 36, 37, 38, 25, 39, 40, 41, 42,
+ 43, 43, 43, 43, 46, 50, 55, 56, 58, 59,
+ 62, 70, 46, 71, 50, 63, 43, 43, 49, 46,
+ 50, 64, 51, 76, 47, 50, 60, 78, 49, 97,
+ 100, 51, 47, 76, 99, 98, 96, 51, 78, 47,
+ 77, 95, 51, 78, 93, 94, 93, 93, 92, 91,
+
+ 77, 45, 45, 49, 49, 75, 75, 90, 89, 78,
+ 78, 88, 87, 86, 85, 84, 83, 82, 78, 81,
+ 80, 79, 78, 54, 101, 74, 73, 72, 69, 68,
+ 67, 66, 65, 61, 57, 54, 53, 52, 48, 44,
+ 101, 3, 101, 101, 101, 101, 101, 101, 101, 101,
+ 101, 101, 101, 101, 101, 101, 101, 101, 101, 101,
+ 101, 101, 101, 101, 101, 101, 101, 101, 101, 101,
+ 101, 101, 101, 101, 101, 101, 101, 101, 101, 101,
+ 101, 101, 101, 101, 101, 101, 101, 101, 101, 101,
+ 101, 101
+
} ;
-static yyconst flex_int16_t yy_chk[169] =
+static yyconst flex_int16_t yy_chk[193] =
{ 0,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
- 1, 1, 1, 1, 5, 5, 6, 6, 10, 19,
- 19, 21, 21, 24, 29, 38, 29, 62, 24, 35,
- 35, 10, 40, 63, 24, 64, 40, 85, 38, 64,
- 62, 82, 81, 80, 79, 77, 63, 76, 75, 40,
- 74, 73, 64, 84, 84, 84, 86, 72, 86, 87,
- 87, 87, 71, 70, 68, 67, 66, 59, 58, 57,
-
- 56, 55, 54, 53, 52, 51, 50, 49, 48, 41,
- 33, 32, 31, 30, 28, 27, 26, 25, 20, 18,
- 9, 7, 3, 83, 83, 83, 83, 83, 83, 83,
- 83, 83, 83, 83, 83, 83, 83, 83, 83, 83,
- 83, 83, 83, 83, 83, 83, 83, 83, 83, 83,
- 83, 83, 83, 83, 83, 83, 83, 83, 83, 83,
- 83, 83, 83, 83, 83, 83, 83, 83
+ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
+ 5, 5, 6, 6, 8, 11, 22, 22, 24, 24,
+ 30, 36, 45, 36, 49, 30, 43, 43, 51, 61,
+ 75, 30, 11, 51, 8, 76, 104, 100, 77, 95,
+ 99, 49, 45, 77, 96, 95, 94, 75, 92, 61,
+ 51, 91, 76, 90, 89, 88, 87, 86, 85, 84,
+
+ 77, 102, 102, 103, 103, 105, 105, 83, 81, 80,
+ 79, 73, 72, 71, 70, 69, 68, 67, 66, 65,
+ 64, 63, 62, 54, 47, 40, 38, 37, 35, 34,
+ 33, 32, 31, 26, 23, 20, 17, 15, 10, 7,
+ 3, 101, 101, 101, 101, 101, 101, 101, 101, 101,
+ 101, 101, 101, 101, 101, 101, 101, 101, 101, 101,
+ 101, 101, 101, 101, 101, 101, 101, 101, 101, 101,
+ 101, 101, 101, 101, 101, 101, 101, 101, 101, 101,
+ 101, 101, 101, 101, 101, 101, 101, 101, 101, 101,
+ 101, 101
+
} ;
-static yyconst flex_int16_t yy_rule_linenum[34] =
+static yyconst flex_int16_t yy_rule_linenum[44] =
{ 0,
- 26, 32, 33, 35, 36, 38, 39, 40, 42, 43,
- 45, 46, 48, 49, 50, 51, 53, 54, 56, 57,
- 58, 61, 62, 64, 66, 67, 69, 71, 72, 74,
- 76, 78, 80
+ 27, 32, 33, 34, 35, 37, 38, 39, 40, 42,
+ 43, 44, 46, 47, 49, 50, 52, 53, 54, 55,
+ 57, 58, 60, 61, 62, 65, 66, 68, 69, 70,
+ 72, 73, 75, 76, 78, 79, 81, 83, 85, 86,
+ 88, 90, 92
} ;
/* The intent behind this definition is that it'll catch
@@ -592,7 +610,7 @@ static yyconst flex_int16_t yy_rule_linenum[34] =
#include "promela.tab.hpp"
#define YYSTYPE PROMELA_STYPE
-#line 596 "promela.lex.yy.cpp"
+#line 614 "promela.lex.yy.cpp"
#define INITIAL 0
@@ -890,10 +908,10 @@ YY_DECL
struct yyguts_t * yyg = (struct yyguts_t*)yyscanner;
/* %% [7.0] user's declarations go here */
-#line 24 "promela.l"
+#line 25 "promela.l"
-#line 897 "promela.lex.yy.cpp"
+#line 915 "promela.lex.yy.cpp"
yylval = yylval_param;
@@ -958,13 +976,13 @@ yy_match:
while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
{
yy_current_state = (int) yy_def[yy_current_state];
- if ( yy_current_state >= 84 )
+ if ( yy_current_state >= 102 )
yy_c = yy_meta[(unsigned int) yy_c];
}
yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
++yy_cp;
}
- while ( yy_current_state != 83 );
+ while ( yy_current_state != 101 );
yy_cp = yyg->yy_last_accepting_cpos;
yy_current_state = yyg->yy_last_accepting_state;
@@ -983,13 +1001,13 @@ do_action: /* This label is used only to access EOF actions. */
{
if ( yy_act == 0 )
fprintf( stderr, "--scanner backing up\n" );
- else if ( yy_act < 34 )
+ else if ( yy_act < 44 )
fprintf( stderr, "--accepting rule at line %ld (\"%s\")\n",
(long)yy_rule_linenum[yy_act], yytext );
- else if ( yy_act == 34 )
+ else if ( yy_act == 44 )
fprintf( stderr, "--accepting default rule (\"%s\")\n",
yytext );
- else if ( yy_act == 35 )
+ else if ( yy_act == 45 )
fprintf( stderr, "--(end of buffer or a NUL)\n" );
else
fprintf( stderr, "--EOF (start condition %d)\n", YY_START );
@@ -1007,9 +1025,8 @@ do_action: /* This label is used only to access EOF actions. */
case 1:
YY_RULE_SETUP
-#line 26 "promela.l"
+#line 27 "promela.l"
{
- //printf("TYPE: %s\n", yytext);
yylval->value = strdup(yytext);
return TYPE;
}
@@ -1026,162 +1043,213 @@ YY_RULE_SETUP
YY_BREAK
case 4:
YY_RULE_SETUP
-#line 35 "promela.l"
-{ return NEG; }
+#line 34 "promela.l"
+{ return PRINT; }
YY_BREAK
case 5:
YY_RULE_SETUP
-#line 36 "promela.l"
-{ return COMPL; }
+#line 35 "promela.l"
+{ return PRINTM; }
YY_BREAK
case 6:
YY_RULE_SETUP
-#line 38 "promela.l"
-{ return TIMES; }
+#line 37 "promela.l"
+{ return NEG; }
YY_BREAK
case 7:
YY_RULE_SETUP
-#line 39 "promela.l"
-{ return DIVIDE; }
+#line 38 "promela.l"
+{ return COMPL; }
YY_BREAK
case 8:
YY_RULE_SETUP
-#line 40 "promela.l"
-{ return MODULO; }
+#line 39 "promela.l"
+{ return INCR; }
YY_BREAK
case 9:
YY_RULE_SETUP
-#line 42 "promela.l"
-{ return PLUS; }
+#line 40 "promela.l"
+{ return DECR; }
YY_BREAK
case 10:
YY_RULE_SETUP
-#line 43 "promela.l"
-{ return MINUS; }
+#line 42 "promela.l"
+{ return TIMES; }
YY_BREAK
case 11:
YY_RULE_SETUP
-#line 45 "promela.l"
-{ return LSHIFT; }
+#line 43 "promela.l"
+{ return DIVIDE; }
YY_BREAK
case 12:
YY_RULE_SETUP
-#line 46 "promela.l"
-{ return RSHIFT; }
+#line 44 "promela.l"
+{ return MODULO; }
YY_BREAK
case 13:
YY_RULE_SETUP
-#line 48 "promela.l"
-{ return LE; }
+#line 46 "promela.l"
+{ return PLUS; }
YY_BREAK
case 14:
YY_RULE_SETUP
-#line 49 "promela.l"
-{ return GE; }
+#line 47 "promela.l"
+{ return MINUS; }
YY_BREAK
case 15:
YY_RULE_SETUP
-#line 50 "promela.l"
-{ return LT; }
+#line 49 "promela.l"
+{ return LSHIFT; }
YY_BREAK
case 16:
YY_RULE_SETUP
-#line 51 "promela.l"
-{ return GT; }
+#line 50 "promela.l"
+{ return RSHIFT; }
YY_BREAK
case 17:
YY_RULE_SETUP
-#line 53 "promela.l"
-{ return NE; }
+#line 52 "promela.l"
+{ return LE; }
YY_BREAK
case 18:
YY_RULE_SETUP
-#line 54 "promela.l"
-{ return EQ; }
+#line 53 "promela.l"
+{ return GE; }
YY_BREAK
case 19:
YY_RULE_SETUP
-#line 56 "promela.l"
-{ return BITAND; }
+#line 54 "promela.l"
+{ return LT; }
YY_BREAK
case 20:
YY_RULE_SETUP
-#line 57 "promela.l"
-{ return BITXOR; }
+#line 55 "promela.l"
+{ return GT; }
YY_BREAK
case 21:
YY_RULE_SETUP
-#line 58 "promela.l"
-{ return BITOR; }
+#line 57 "promela.l"
+{ return NE; }
YY_BREAK
case 22:
YY_RULE_SETUP
-#line 61 "promela.l"
-{ return AND; }
+#line 58 "promela.l"
+{ return EQ; }
YY_BREAK
case 23:
YY_RULE_SETUP
-#line 62 "promela.l"
-{ return OR; }
+#line 60 "promela.l"
+{ return BITAND; }
YY_BREAK
case 24:
YY_RULE_SETUP
-#line 64 "promela.l"
-{ return DOT; }
+#line 61 "promela.l"
+{ return BITXOR; }
YY_BREAK
case 25:
YY_RULE_SETUP
-#line 66 "promela.l"
-{ return LBRACKET; }
+#line 62 "promela.l"
+{ return BITOR; }
YY_BREAK
case 26:
YY_RULE_SETUP
-#line 67 "promela.l"
-{ return RBRACKET; }
+#line 65 "promela.l"
+{ return AND; }
YY_BREAK
case 27:
YY_RULE_SETUP
-#line 69 "promela.l"
-{ return ASGN; }
+#line 66 "promela.l"
+{ return OR; }
YY_BREAK
case 28:
YY_RULE_SETUP
-#line 71 "promela.l"
-{ yylval->value = strdup(yytext); return CONST; }
+#line 68 "promela.l"
+{ return DOT; }
YY_BREAK
case 29:
YY_RULE_SETUP
-#line 72 "promela.l"
-{ yylval->value = strdup(yytext); return NAME; }
+#line 69 "promela.l"
+{ return COMMA; }
YY_BREAK
case 30:
-/* rule 30 can match eol */
YY_RULE_SETUP
-#line 74 "promela.l"
-{ }
+#line 70 "promela.l"
+{ return SEMI; }
YY_BREAK
case 31:
YY_RULE_SETUP
-#line 76 "promela.l"
-/* eat up one-line comments */
+#line 72 "promela.l"
+{ return '('; }
YY_BREAK
case 32:
-/* rule 32 can match eol */
YY_RULE_SETUP
-#line 78 "promela.l"
-/* eat up whitespace */
+#line 73 "promela.l"
+{ return ')'; }
YY_BREAK
case 33:
YY_RULE_SETUP
-#line 80 "promela.l"
-{ /*printf( "Unrecognized character: %s\n", yytext ); */ }
+#line 75 "promela.l"
+{ return '['; }
YY_BREAK
case 34:
YY_RULE_SETUP
+#line 76 "promela.l"
+{ return ']'; }
+ YY_BREAK
+case 35:
+YY_RULE_SETUP
+#line 78 "promela.l"
+{ return '{'; }
+ YY_BREAK
+case 36:
+YY_RULE_SETUP
+#line 79 "promela.l"
+{ return '}'; }
+ YY_BREAK
+case 37:
+YY_RULE_SETUP
#line 81 "promela.l"
+{ return ASGN; }
+ YY_BREAK
+case 38:
+/* rule 38 can match eol */
+YY_RULE_SETUP
+#line 83 "promela.l"
+{ yylval->value = strdup(yytext); return(STRING); }
+ YY_BREAK
+case 39:
+YY_RULE_SETUP
+#line 85 "promela.l"
+{ yylval->value = strdup(yytext); return CONST; }
+ YY_BREAK
+case 40:
+YY_RULE_SETUP
+#line 86 "promela.l"
+{ yylval->value = strdup(yytext); return NAME; }
+ YY_BREAK
+case 41:
+/* rule 41 can match eol */
+YY_RULE_SETUP
+#line 88 "promela.l"
+{ }
+ YY_BREAK
+case 42:
+/* rule 42 can match eol */
+YY_RULE_SETUP
+#line 90 "promela.l"
+/* eat up whitespace */
+ YY_BREAK
+case 43:
+YY_RULE_SETUP
+#line 92 "promela.l"
+{ /*printf( "Unrecognized character: %s\n", yytext ); */ }
+ YY_BREAK
+case 44:
+YY_RULE_SETUP
+#line 93 "promela.l"
ECHO;
YY_BREAK
-#line 1185 "promela.lex.yy.cpp"
+#line 1253 "promela.lex.yy.cpp"
case YY_STATE_EOF(INITIAL):
yyterminate();
@@ -1497,7 +1565,7 @@ static int yy_get_next_buffer (yyscan_t yyscanner)
while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
{
yy_current_state = (int) yy_def[yy_current_state];
- if ( yy_current_state >= 84 )
+ if ( yy_current_state >= 102 )
yy_c = yy_meta[(unsigned int) yy_c];
}
yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
@@ -1531,11 +1599,11 @@ static int yy_get_next_buffer (yyscan_t yyscanner)
while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
{
yy_current_state = (int) yy_def[yy_current_state];
- if ( yy_current_state >= 84 )
+ if ( yy_current_state >= 102 )
yy_c = yy_meta[(unsigned int) yy_c];
}
yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
- yy_is_jam = (yy_current_state == 83);
+ yy_is_jam = (yy_current_state == 101);
return yy_is_jam ? 0 : yy_current_state;
}
@@ -2485,4 +2553,4 @@ void promela_free (void * ptr , yyscan_t yyscanner)
/* %ok-for-header */
-#line 81 "promela.l"
+#line 93 "promela.l"
generated by cgit v0.12 at 2024-07-07 16:08:20 (GMT)