4959 transition_priority:

  4959 transition_priority:

  4960   /* empty */

  4960   /* empty */

  4961   {$$ = NULL;}

  4961   {$$ = NULL;}

  4962 | '(' {cmd_goto_sfc_priority_state();} PRIORITY {cmd_pop_state();} ASSIGN integer ')'

  4962 | '(' {cmd_goto_sfc_priority_state();} PRIORITY {cmd_pop_state();} ASSIGN integer ')'

  4963 	{$$ = $6;}

  4963 	{$$ = $6;}

  4965 | '(' ASSIGN integer ')'

  4965 | '(' ASSIGN integer ')'

  4966 	{$$ = NULL; print_err_msg(locl(@1), locf(@2), "'PRIORITY' missing between '(' and ':=' in transition declaration with priority."); yynerrs++;}

  4966 	{$$ = NULL; print_err_msg(locl(@1), locf(@2), "'PRIORITY' missing between '(' and ':=' in transition declaration with priority."); yynerrs++;}

  4967 | '(' error ASSIGN integer ')'

  4967 | '(' error ASSIGN integer ')'

  4968 	{$$ = NULL; print_err_msg(locf(@2), locl(@2), "expecting 'PRIORITY' between '(' and ':=' in transition declaration with priority."); yyerrok;}

  4968 	{$$ = NULL; print_err_msg(locf(@2), locl(@2), "expecting 'PRIORITY' between '(' and ':=' in transition declaration with priority."); yyerrok;}

  4970 ;

  4970 ;

  4971 

  4971 

  4972 

  4972 

  4973 transition_condition:

  4973 transition_condition:

  4974   ':' eol_list simple_instr_list

  4974   ':' eol_list simple_instr_list