Skip to content

Commit ad76cd5

Browse files
committed
SMV: rename production rules in grammar
This renames some production rules in the SMV grammar to match the NuSMV manual. https://nusmv.fbk.eu/userman/v27/nusmv.pdf
1 parent fd24964 commit ad76cd5

File tree

1 file changed

+9
-4
lines changed

1 file changed

+9
-4
lines changed

src/smvlang/parser.y

Lines changed: 9 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -318,7 +318,12 @@ module_argument_list_opt: /* empty */
318318
| module_argument_list
319319
;
320320

321-
type : ARRAY_Token NUMBER_Token DOTDOT_Token NUMBER_Token OF_Token type
321+
type_specifier:
322+
simple_type_specifier
323+
| module_type_specifier
324+
;
325+
326+
simple_type_specifier: ARRAY_Token NUMBER_Token DOTDOT_Token NUMBER_Token OF_Token simple_type_specifier
322327
{
323328
init($$, ID_array);
324329
int start=atoi(stack_expr($2).id().c_str());
@@ -342,10 +347,10 @@ type : ARRAY_Token NUMBER_Token DOTDOT_Token NUMBER_Token OF_Token type
342347
stack_type($$).set(ID_from, stack_expr($1));
343348
stack_type($$).set(ID_to, stack_expr($3));
344349
}
345-
| usertype
346350
;
347351

348-
usertype : module_name
352+
module_type_specifier:
353+
module_name
349354
{
350355
init($$, "submodule");
351356
stack_expr($$).set(ID_identifier,
@@ -379,7 +384,7 @@ enum_element: STRING_Token
379384
}
380385
;
381386

382-
vardecl : variable_name ':' type ';'
387+
vardecl : variable_name ':' type_specifier ';'
383388
{
384389
const irep_idt &identifier=stack_expr($1).get(ID_identifier);
385390
smv_parse_treet::mc_vart &var=PARSER.module->vars[identifier];

0 commit comments

Comments
 (0)