diff options
Diffstat (limited to 'src/uscxml/plugins/datamodel/promela/parser/promela.l')
-rw-r--r-- | src/uscxml/plugins/datamodel/promela/parser/promela.l | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/uscxml/plugins/datamodel/promela/parser/promela.l b/src/uscxml/plugins/datamodel/promela/parser/promela.l index 1edc625..92f8c1f 100644 --- a/src/uscxml/plugins/datamodel/promela/parser/promela.l +++ b/src/uscxml/plugins/datamodel/promela/parser/promela.l @@ -53,6 +53,7 @@ false|skip|true { yylval->value = strdup(yytext); return PML_CONST; } printf { return PML_PRINT; } typedef { return PML_TYPEDEF; } assert { return PML_ASSERT; } +return { return PML_RETURN; } "!" { return PML_NEG; } "~" { return PML_COMPL; } @@ -103,7 +104,7 @@ assert { return PML_ASSERT; } L?\"(\\.|[^\\"])*\" { yylval->value = strdup(yytext); return(PML_STRING); } -L?'(\\.|[^\'])*\' { +L?\'(\\.|[^\'])*\' { /* Non PROMELA extension for single quoted string literals */ yylval->value = strdup(yytext); return(PML_STRING); } @@ -114,4 +115,4 @@ L?'(\\.|[^\'])*\' { [ \t\n]+ /* eat up whitespace */ -. { /*printf( "Unrecognized character: %s\n", yytext ); */ } +. { return PML_UNREC; } |